⊋ Symbol: Die echte Obermenge in der Mathematik und darüber hinaus

Das Symbol ⊋ (Unicode-Name: SUPERSET OF WITH NOT EQUAL TO) steht in der Mathematik für eine „echte Obermenge“. Wenn du in der Mengenlehre den Ausdruck A ⊋ B siehst, bedeutet das: Die Menge A enthält alle Elemente der Menge B, aber A ist größer und nicht identisch mit B. Es gibt also mindestens ein Element in A, das nicht in B vorkommt.

Seinen Ursprung hat das Zeichen in der mathematischen Mengenlehre, die Ende des 19. Jahrhunderts von Georg Cantor begründet wurde. Im Unicode-Standard findest du das Symbol unter dem Codepoint U+228B im Block „Mathematische Operatoren“. Optisch setzt es sich aus dem Standard-Obermengen-Symbol (⊃) und einem durchgestrichenen Gleichheitszeichen zusammen. Das macht seine logische Bedeutung unmissverständlich klar: Es handelt sich um eine Obermenge, aber die beiden Mengen sind nicht gleich.

Hauptsächlich begegnet dir ⊋ in der Mathematik, theoretischen Informatik und Logik. In der reinen Typografie und im wissenschaftlichen Formelsatz (zum Beispiel mit LaTeX) wird das Symbol durch den Befehl `\supsetneq` erzeugt. Während moderne Programmiersprachen für Mengenoperationen im Code meist auf ausgeschriebene Funktionen ausweichen (wie `issuperset()` in Python), bleibt das mathematische Symbol in Algorithmen-Beschreibungen und Skripten unverzichtbar. Auf Social Media oder in normalen Chat-Nachrichten taucht es so gut wie nie auf – es sei denn, du diskutierst mit deinen Kommilitonen über die nächste Mathe-Vorlesung.

Wie tippst du ⊋ auf deiner Tastatur? Da es keine dedizierte Standardtaste dafür gibt, nutzt du am besten Tastenkombinationen, Unicode-Befehle oder klassisches Copy-and-Paste. Unter Windows kannst du in Textverarbeitungsprogrammen wie Microsoft Word den Code `228B` eintippen und direkt danach die Tastenkombination `Alt` + `C` (oder `Alt` + `X`) drücken. Auf dem Mac verwendest du die Zeichenübersicht (`Ctrl` + `Cmd` + `Leertaste`) und suchst nach „Obermenge“. Alternativ funktioniert in HTML-Dokumenten die Entität `&supsne;`.

Es lohnt sich, ⊋ von seinen direkten Verwandten abzugrenzen. Das einfache Symbol ⊃ bedeutet lediglich „Obermenge“ und lässt die Möglichkeit offen, dass beide Mengen identisch sind (genau wie ⊇, „Obermenge oder gleich“). Das exakte Spiegelbild von ⊋ ist das Symbol ⊊ (U+228A). Dieses Zeichen steht für die „echte Teilmenge“ – es beschreibt also genau die umgekehrte Beziehung. Durch diese feinen Nuancen kannst du komplexe mathematische Verhältnisse äußerst präzise ausdrücken.