⊯
Mathematischer Operator 172
- Unicode
- U+22AF
- Kategorie
- Mathematik
- HTML Entity
- ⊯
- CSS
- \22AF
Das Symbol ⊯ (negiertes Doppel-Turnstile) stammt aus der formalen Logik und Mathematik. Es drückt aus, dass eine bestimmte semantische Folgerung nicht gilt oder eine Struktur kein gültiges Modell für eine Formel ist. Im Alltag oder auf Social Media taucht es praktisch nie auf, ist aber für das präzise Schreiben komplexer mathematischer Beweise unerlässlich.
So tippen Sie
- Windows
- Alt + 8879 (Ziffernblock)
- macOS
- Control + Command + Space, dann nach „Turnstile“ suchen
- Linux
- Strg + Shift + U, dann 22AF tippen und Enter drücken
- HTML
- ⊯ oder ⊯
In der Programmierung
In der allgemeinen Programmierung wird ⊯ kaum direkt verwendet, da es sich nicht auf der Standardtastatur befindet. Es kommt hauptsächlich in Textsatzsystemen wie LaTeX (mit dem Befehl `\nVDash`) zum Einsatz, um logische Aussagen in wissenschaftlichen Dokumenten sauber zu setzen.
Tags
mathematik
logik
nicht gueltig
negation
semantik