Das ⊉ Symbol (Weder Obermenge noch gleich) – Bedeutung & Nutzung
Das Symbol ⊉ (Unicode U+2289) steht in der Mathematik für „ist weder eine Obermenge von noch gleich“. Mathematiker nutzen es vor allem in der Mengenlehre, um auszudrücken, dass eine Menge nicht alle Elemente einer anderen Menge enthält und auch nicht mit ihr identisch ist. Wenn du also zeigen willst, dass Menge A die Menge B nicht vollständig umfasst, greifst du zu genau diesem Zeichen.
Die formale Mengenlehre entstand im späten 19. Jahrhundert, maßgeblich vorangetrieben von Georg Cantor. Um Beziehungen zwischen verschiedenen Gruppen von Objekten (Mengen) darzustellen, brauchten Wissenschaftler eine neue Zeichensprache. Das reguläre Obermengen-Symbol ⊇ (U+2287) zeigt, dass eine Menge eine andere einschließt oder ihr exakt entspricht. Ein durchgestrichenes Zeichen wie das ⊉ etablierte sich als einfache, logische Methode, um genau diese mathematische Aussage zu negieren – ganz ähnlich wie beim bekannten Ungleich-Zeichen (≠).
Im Unicode-Standard liegt das Zeichen ⊉ auf dem Code Point U+2289. Es gehört zum Unicode-Block „Mathematische Operatoren“ (Mathematical Operators), der die wichtigsten Symbole für formale Logik und Algebra bündelt. Sein offizieller englischer Name lautet „Neither A Superset Of Nor Equal To“.
In der Mathematik und Wissenschaft ist das ⊉ absolut zu Hause. Du triffst es in universitären Skripten, Forschungsarbeiten und Lehrbüchern an. In klassischen Programmiersprachen taucht das Symbol hingegen kaum auf, da Entwickler dort Tastatur-freundliche Text-Alternativen bevorzugen. In der mathematischen Textsatz-Sprache LaTeX gehört es aber zum Standard-Repertoire und du erzeugst es mit dem Befehl `\nsupseteq`. Auf Social Media oder in Chat-Apps siehst du das ⊉ fast nie im mathematischen Kontext. Manchmal zweckentfremden User es kreativ als Teil komplexer Kaomojis (japanische Text-Emoticons), um zugekniffene Augen, markante Augenbrauen oder abstrakte Gesichtsausdrücke zu tippen.
So tippst du das ⊉ auf deinen Geräten: Am Mac öffnest du die Zeichenübersicht mit der Tastenkombination Control + Cmd + Leertaste und suchst nach dem Begriff „Superset“. Unter Windows hältst du die Alt-Taste gedrückt und tippst 8841 auf dem Ziffernblock ein (beachte, dass manche Windows-Systeme dafür angepasste Einstellungen für Unicode-Eingaben benötigen). Entwickelst du Webseiten, bindest du das Zeichen über HTML mit dem Code `⊉` oder dem benannten Entity `⊉` ein. Der schnellste Weg für den Alltag bleibt meistens simples Copy & Paste.
Wenn du das ⊉ nutzt, interessieren dich sicher auch seine mathematischen Geschwister. Das einfache Obermengen-Zeichen ⊃ (U+2283) drückt aus, dass eine Menge eine andere komplett enthält. Das durchgestrichene ⊅ (U+2285) steht pauschal für „ist keine Obermenge von“. Das genaue Spiegelbild zum ⊉ ist das Zeichen ⊈ (U+2288). Es bedeutet „ist weder eine Teilmenge von noch gleich“. Gemeinsam bilden all diese Operatoren das grundlegende Vokabular, mit dem du logische Mengenverhältnisse präzise beschreibst.