Alles über das Symbol ⊫ (Double Vertical Bar Double Right Turnstile)
Das Symbol ⊫ (U+22AB), offiziell als "Double Vertical Bar Double Right Turnstile" bekannt, ist ein hochspezialisierter mathematischer und logischer Operator. In der formalen Logik und Mathematik nutzen Fachleute es, um komplexe semantische Beziehungen darzustellen, wie etwa eine starke Form der logischen Folgerung oder Erfüllbarkeit. Das Zeichen besteht aus zwei vertikalen und zwei horizontalen Linien und gehört zum offiziellen Unicode-Block der mathematischen Operatoren.
Dieses recht spezielle Zeichen hat seinen Ursprung in der mathematischen Logik. Es ist eine direkte Erweiterung des bekannten "Turnstile"-Symbols (⊢), das der deutsche Mathematiker und Logiker Gottlob Frege im 19. Jahrhundert in seinem Werk zur Begriffsschrift einführte. Während das einfache Turnstile für die rein syntaktische Ableitbarkeit steht, repräsentieren Varianten mit doppelten Linien oft tiefere semantische Wahrheiten oder sogenannte Forcing-Relationen. Das ⊫ taucht vor allem in fortgeschrittenen Bereichen der Modelltheorie und der theoretischen Informatik auf. Im normalen Alltag, in Chats oder auf Social Media wirst du es kaum finden, es sei denn, jemand nutzt es kreativ als Baustein in Text-Gesichtern (Kaomojis) oder als rein dekoratives Profil-Element.
Das Zeichen ⊫ besitzt den Unicode-Codepunkt U+22AB und befindet sich im Block "Mathematische Operatoren" (Mathematical Operators). Dieser Block stellt die wichtigsten Symbole für wissenschaftliche und technische Texte auf Computern weltweit bereit. Wenn du eine eigene Webseite programmierst, kannst du das Symbol ganz einfach mit den HTML-Codes ⊫ oder ⊫ in deinen Text einfügen.
Da es sich um ein Symbol für die Wissenschaft handelt, gibt es dafür keine eigene Taste auf deiner Standardtastatur. So kannst du das ⊫ trotzdem in deine Texte und Dokumente einfügen:
Unter Windows: Halte die Alt-Taste gedrückt und tippe nacheinander das Pluszeichen und 22AB auf deinem Ziffernblock (dies erfordert oft eine vorherige Anpassung in der Registry). Alternativ hilft dir die vorinstallierte Windows-Zeichentabelle.
Auf dem Mac: Öffne die Zeichenübersicht mit der Tastenkombination Ctrl + Cmd + Leertaste. Suche dort gezielt nach dem englischen Begriff "Turnstile" oder gib direkt den Unicode 22AB ein, um das Zeichen zu finden.
In Programmier- und Textsatzumgebungen wie LaTeX ist das Symbol stark verbreitet, da Wissenschaftler es oft für Publikationen brauchen. Du kannst es dort problemlos mit dem Befehl \\VDash (mit großem V und großem D) aus dem amssymb-Paket erzeugen.
Copy & Paste: Die schnellste und unkomplizierteste Methode für Chat-Nachrichten, Programmierkommentare oder Forenbeiträge ist es, das Zeichen direkt von dieser Seite zu markieren und zu kopieren: ⊫.
Das ⊫ ist Teil einer großen Familie von Turnstile-Operatoren, die sich optisch und inhaltlich leicht unterscheiden. Das einfache ⊢ (Right Tack, U+22A2) steht für "ist beweisbar". Das ⊨ (Double Right Turnstile, U+22A8) bedeutet in der formalen Logik "impliziert semantisch" oder "ist ein Modell von". Das ⊩ (Forces, U+22A9) kommt klassischerweise in der Mengenlehre zum Einsatz. Der wichtigste Unterschied für dich: Je mehr horizontale oder vertikale Striche das Symbol aufweist, desto spezifischer ist seine exakte Bedeutung innerhalb eines bestimmten mathematischen Axiomensystems.