Alles über das Symbol ⊧ (Models / Mathematischer Operator)

Das Symbol ⊧ (Unicode: U+22A7), im Englischen offiziell als „Models“ bezeichnet, ist ein mathematischer Operator aus der formalen Logik und Modelltheorie. Es drückt aus, dass eine bestimmte Struktur ein Modell für eine Aussage ist, oder simpel gesagt: Die linke Seite macht die rechte Seite wahr. In der Mathematik liest man A ⊧ B oft als „A erfüllt B“.

Ursprünglich stammt das Zeichen aus der Entwicklung der modernen Logik im 20. Jahrhundert. Es gehört zur Familie der „Turnstile“-Symbole (Drehkreuze), die von Pionieren wie Gottlob Frege geprägt wurden. Während Frege noch extrem komplexe Begriffsschriften nutzte, hat sich ⊧ über die Jahrzehnte als eleganter Standard etabliert, um semantische Beziehungen in der Informatik, Philosophie und Mathematik darzustellen.

Im Unicode-Standard findest du das Zeichen unter dem Code Point U+22A7. Es ist Teil des Blocks „Mathematische Operatoren“ (Mathematical Operators), der die wichtigsten Formelzeichen von U+2200 bis U+22FF bündelt. Wenn du es in HTML einbinden möchtest, kannst du die Entität ⊧ oder den Dezimalcode ⊧ verwenden.

Im Alltag wirst du ⊧ eher selten antreffen. Es wird fast ausschließlich in akademischen Texten, der theoretischen Informatik und der formalen Semantik verwendet. Auf Plattformen wie TikTok, WhatsApp oder Instagram taucht es so gut wie nie in seiner eigentlichen Bedeutung auf. Gelegentlich nutzen kreative Köpfe es jedoch als rein visuelles Element in Kaomojis, ASCII-Kunstwerken oder als stylisches Trennzeichen in Bio-Texten. Die klare, geometrische Form – ein vertikaler Strich mit zwei waagerechten Linien – wirkt minimalistisch und bricht Textblöcke optisch gut auf.

Da das Symbol ⊧ nicht auf Standardtastaturen zu finden ist, fragst du dich vielleicht, wie du es tippen kannst. Auf dem Mac öffnest du am besten die Zeichenübersicht mit der Tastenkombination „Ctrl + Cmd + Leertaste“ und suchst nach dem Unicode-Namen „Models“. Unter Windows kannst du in Programmen wie Word den Hex-Code „22A7“ eintippen und direkt danach „Alt + C“ (oder je nach Version „Alt + X“) drücken. Wenn du wissenschaftlich in LaTeX schreibst, ist der Befehl \models dein bester Freund. Fürs Smartphone gilt: Es gibt keine versteckte Taste dafür – einfach von einer Enzyklopädie wie EmojiAtlas kopieren und einfügen ist der schnellste Weg.

Es gibt einige verwandte Symbole, die leicht mit ⊧ verwechselt werden können. Das einfache Drehkreuz ⊢ (U+22A2) hat nur eine einzige horizontale Linie und steht für syntaktische Beweisbarkeit. Noch ähnlicher ist das doppelte Drehkreuz ⊨ (U+22A8), das einen doppelten vertikalen Strich besitzt und für logische Folgerungen steht. Achte also genau auf die Anzahl und Ausrichtung der Striche, wenn du das nächste Mal einen mathematischen Text entzifferst!