⊭
Mathematischer Operator 170
- Unicode
- U+22AD
- Kategorie
- Mathematik
- HTML Entity
- ⊭
- CSS
- \22AD
Das Symbol ⊭ (Nicht wahr / Ist kein Modell für) stammt aus der mathematischen Logik und der theoretischen Informatik. Es ist die verneinte Form des Modellsymbols (⊨) und drückt aus, dass eine bestimmte Formel in einem Modell nicht gilt oder von diesem nicht erfüllt wird. Außerhalb von komplexen mathematischen Gleichungen und akademischen Texten wirst du dieses Zeichen kaum antreffen.
So tippen Sie
- Windows
- Alt + 8877 (auf dem Ziffernblock)
- macOS
- Control + Command + Leertaste, dann nach 'not true' suchen
- Linux
- Strg + Shift + U, dann 22AD eingeben und Enter drücken
- HTML
- ⊭ oder ⊭
In der Programmierung
In der alltäglichen Programmierung kommt das Zeichen kaum vor, wird aber in Textsatzsystemen wie LaTeX mit dem Befehl \nvDash verwendet, um logische Nicht-Erfüllbarkeit in wissenschaftlichen Papieren darzustellen.
Tags
mathematik
logik
nicht wahr
negation
modell