⊩
Mathematischer Operator 166
- Unicode
- U+22A9
- Kategorie
- Mathematik
- HTML Entity
- ⊩
- CSS
- \22A9
Das Symbol ⊩ (Unicode-Name: FORCES) wird in der mathematischen Logik verwendet und bedeutet „erzwingt“. Es besteht aus einem doppelten vertikalen Strich mit einem einfachen waagerechten Balken nach rechts und kommt vor allem in der Mengenlehre (z. B. bei der Forcing-Methode) zum Einsatz. Im Alltag oder in sozialen Medien spielt dieses hochspezialisierte Zeichen praktisch keine Rolle, ist aber in der akademischen Literatur unverzichtbar.
So tippen Sie
- Windows
- Alt + 8873 (im Ziffernblock) oder Win + . (dann unter Symbolen suchen)
- macOS
- Control + Command + Space (dann nach 'forces' suchen)
- Linux
- Ctrl + Shift + U, dann 22A9 und Enter
- HTML
- ⊩ oder ⊩
In der Programmierung
In LaTeX wird dieses Zeichen mit dem Befehl `\Vdash` generiert, um logische Relationen in mathematischen Formeln und informatischen Beweisen exakt zu setzen.
Tags
mathematik
logik
erzwingt
beweis
operator