⊫
Mathematischer Operator 168
- Unicode
- U+22AB
- Kategorie
- Mathematik
- HTML Entity
- ⊫
- CSS
- \22AB
Das Symbol ⊫ (Doppeltes rechtes Drehkreuz mit doppeltem Strich) stammt aus der mathematischen Logik und Modelltheorie. Es wird verwendet, um komplexe semantische Folgerungen oder die Erfüllbarkeit in formalen Systemen darzustellen. Außerhalb von akademischen Texten, Beweisskizzen und der Mengenlehre wirst du dieses hochspezialisierte Zeichen im Alltag kaum antreffen.
So tippen Sie
- Windows
- Alt+8875
- macOS
- Control+Command+Space, dann nach '22ab' suchen
- Linux
- Ctrl+Shift+U gefolgt von 22ab
- HTML
- ⊫ oder ⊫
In der Programmierung
In Textsatzsystemen wie LaTeX wird das Symbol meist mit dem Befehl \VDash eingefügt. In der formalen Verifikation und Beweistheorie drückt es aus, dass eine bestimmte mathematische Struktur eine Aussage erfüllt oder »erzwingt«.
Tags
mathematik
logik
doppelt
turnstile
semantik