⊯ Symbol (Mathematischer Operator): Bedeutung, Unicode & Verwendung

Das Symbol ⊯ (U+22AF) ist ein komplexer mathematischer Operator aus der formalen Logik. Es handelt sich um ein durchgestrichenes doppeltes „Turnstile“-Zeichen (doppelte vertikale und doppelte horizontale Linie) und bedeutet „erzwingt nicht“ oder im weitesten Sinne „daraus folgt nicht“. In der Mathematik und Modelltheorie zeigt dieses Zeichen an, dass eine bestimmte logische Beziehung oder Schlussfolgerung zwischen zwei Aussagen nicht gültig ist.

Seinen Ursprung hat das Zeichen in der Weiterentwicklung der Prädikatenlogik, wo präzise Abstufungen von logischen Folgerungen nötig wurden. Das einfache Turnstile (⊢) bedeutet „beweist syntaktisch“, das doppelte (⊨) steht für „ist semantisch wahr in“. Das ⊯ ist die strikte Negation des komplexen Operators ⊫. Im Unicode-Standard findest du es unter dem Codepoint U+22AF im Block „Mathematische Operatoren“ (Mathematical Operators). Sein offizieller englischer Name lautet „Negated Double Vertical Bar Double Right Turnstile“.

Im Alltag wirst du ⊯ kaum auf Social Media oder in normalen Chat-Nachrichten antreffen. Es ist ein hochspezialisiertes Werkzeug für Mathematiker, Philosophen und Informatiker. In der theoretischen Informatik und beim Programmieren von formalen Beweis-Systemen wird es genutzt, um darzustellen, dass ein Modell eine bestimmte Formel nicht zwingend erfüllt. Außerhalb der Wissenschaft taucht es höchstens gelegentlich in der experimentellen Typografie oder als dekoratives Element in Kaomojis und ASCII-Kunst auf, da seine komplexe Struktur optisch interessant wirkt.

Wenn du das ⊯-Symbol selbst schreiben willst, gibt es mehrere Wege. Am einfachsten ist es meist, das Zeichen direkt zu kopieren und einzufügen. In HTML kannst du es mit `⊯` oder `⊯` in deinen Code einbinden. Unter Windows funktioniert oft die Kombination Alt + 8879 auf dem Ziffernblock (sofern das Programm dies unterstützt). Wenn du einen Mac nutzt, kannst du die Unicode-Hex-Eingabe als Tastaturlayout aktivieren und Option + 22AF tippen. In LaTeX, dem Standard-Textsatzsystem für Mathematik, erzeugst du es (mit Zusatzpaketen wie `amssymb`) über den Befehl `\nVDash`.

Das ⊯ steht in einer ganzen Familie von logischen Operatoren und lässt sich leicht verwechseln. Eng verwandt ist das einfache, durchgestrichene Turnstile ⊬ (U+22AC), das „beweist nicht“ bedeutet. Auch das ⊭ (U+22AD) für „ist nicht wahr“ sieht sehr ähnlich aus, nutzt aber nur eine einfache vertikale Linie. Der direkte Gegenspieler von ⊯ ist das nicht-durchgestrichene ⊫ (U+22AB), welches besagt, dass die logische Beziehung tatsächlich gilt.