⊨
Mathematischer Operator 165
- Unicode
- U+22A8
- Kategorie
- Mathematik
- HTML Entity
- ⊨
- CSS
- \22A8
Das Symbol ⊨ (Doppel-Turnstile oder logisches „Wahr“) stammt aus der mathematischen Logik und der Modelltheorie. Es wird meistens verwendet, um „daraus folgt semantisch“ oder „ist ein Modell von“ auszudrücken, und zeigt an, dass eine Aussage aus gegebenen Prämissen zwingend wahr ist. Außerhalb von Formeln und mathematischen oder philosophischen Texten begegnet dir dieses spezielle Zeichen eher selten.
So tippen Sie
- Windows
- Win + . (Emoji-Panel öffnen) und Zeichenübersicht nutzen
- macOS
- Control + Command + Space, dann nach „Models“ oder „True“ suchen
- Linux
- Ctrl + Shift + U, dann 22A8 und Enter
- HTML
- ⊨ oder ⊨
In der Programmierung
In herkömmlichen Programmiersprachen wird das Zeichen kaum als Operator verwendet, ist aber essenziell für Textsatzsysteme wie LaTeX, wo du es im Mathe-Modus mit den Befehlen \models oder \vDash erzeugst.
Tags
mathematik
logik
wahr
modell
semantisch