⊧
Mathematischer Operator 164
- Unicode
- U+22A7
- Kategorie
- Mathematik
- HTML Entity
- ⊧
- CSS
- \22A7
Das Symbol ⊧ (U+22A7) stammt aus der mathematischen Logik und bedeutet „ist ein Modell von“ oder „erfüllt“. Du nutzt es, um eine semantische Folgerung auszudrücken – also wenn eine Aussage unter bestimmten logischen Voraussetzungen zwingend wahr ist. Während das Zeichen in alltäglichen Texten oder auf Social Media praktisch keine Rolle spielt, ist es in mathematischen Beweisen und der theoretischen Informatik unverzichtbar.
So tippen Sie
- Windows
- Win+. und in der Symbol-Kategorie suchen
- macOS
- Control+Command+Space, dann nach 'models' suchen
- Linux
- Ctrl+Shift+U, dann 22A7 und Enter
- HTML
- ⊧ oder ⊧
In der Programmierung
Im aktiven Quellcode von Programmiersprachen wird das Symbol kaum verwendet, taucht aber in der technischen Dokumentation und bei der formalen Verifikation von Software auf. In LaTeX-Dokumenten erzeugst du das Zeichen mit dem Befehl \models.
Tags
mathematik
logik
modell
erfuellt
semantik