⊪
Mathematischer Operator 167
- Unicode
- U+22AA
- Kategorie
- Mathematik
- HTML Entity
- ⊪
- CSS
- \22AA
Das Symbol ⊪ (Dreifaches Turnstile oder „Triple Vertical Bar Right Turnstile“) stammt aus dem Unicode-Block für mathematische Operatoren. In der mathematischen Logik und Mengenlehre nutzt man es als spezielles Zeichen für logische Ableitungen, semantische Folgerungen oder das sogenannte „Forcing“. Wenn du dich nicht gerade mit formaler Beweisführung beschäftigst, wirst du diesem abstrakten Zeichen im digitalen Alltag kaum begegnen.
So tippen Sie
- Windows
- Alt+8874 (auf dem Ziffernblock)
- macOS
- Control+Command+Space, dann nach „Turnstile“ suchen
- Linux
- Strg+Shift+U, dann 22AA und Enter
- HTML
- ⊪ oder ⊪
In der Programmierung
In LaTeX erzeugst du das Symbol mit dem Befehl \Vvdash. In der Informatik und formalen Logik markiert es komplexe semantische Entailments (Folgerungen) in verschiedenen Beweissystemen.
Tags
mathematik
logik
dreifach
turnstile
beweis