Das Symbol ⊅: Bedeutung, Herkunft und Nutzung (Keine Obermenge)
Das Symbol ⊅ (Unicode U+2285) steht in der Mathematik für „ist keine Obermenge von“. Es wird in der abstrakten Mengenlehre verwendet, um präzise auszudrücken, dass eine bestimmte Menge nicht alle Elemente einer anderen Menge enthält. Optisch besteht dieses Zeichen aus dem klassischen Obermengen-Symbol (⊃), das mit einem Schrägstrich durchgestrichen ist – der universellen mathematischen Schreibweise für eine Verneinung.
Die Ursprünge dieses Zeichens liegen in der Entwicklung der modernen Mengenlehre, die im späten 19. Jahrhundert von Mathematikern wie Georg Cantor begründet wurde. Um Beziehungen zwischen Gruppen von Objekten (Mengen) darzustellen, brauchte man eine klare und weltweit verständliche Notation. Während das auf der Seite liegende U für „ist enthalten in“ oder „enthält“ eingeführt wurde, etablierte sich der einfache Schrägstrich schnell als intuitives visuelles Mittel, um genau diese Aussage umzukehren.
Im Unicode-Standard findest du das Zeichen unter dem offiziellen Namen „NOT A SUPERSET OF“. Es liegt auf dem Codepoint U+2285 und gehört zum Block „Mathematische Operatoren“ (U+2200 bis U+22FF), der die wichtigsten Symbole für formale Logik und Algebra bündelt.
In der Praxis begegnet dir ⊅ vor allem in universitären Skripten, Fachbüchern zur Mathematik oder in den theoretischen Grundlagen der Informatik. Wenn du beispielsweise den Ausdruck A ⊅ B siehst, bedeutet das ganz konkret: Die Menge A ist keine Obermenge von B. Es muss also mindestens ein Element in Menge B geben, das in Menge A fehlt. In der alltäglichen Typografie oder auf Social Media spielt das Symbol eine sehr untergeordnete Rolle. Gelegentlich taucht es in Nischenforen auf oder wird wegen seiner ungewöhnlichen Form von kreativen Köpfen als Designelement in Kaomojis (japanischen Text-Emoticons) zweckentfremdet. In der Programmierung tippst du das Symbol fast nie direkt. Stattdessen nutzt du logische Negationen in Kombination mit eingebauten Mengen-Funktionen, zum Beispiel `!A.issuperset(B)` in gängigen Sprachen.
Um das Zeichen ⊅ auf deinem eigenen Gerät zu tippen, hast du verschiedene Möglichkeiten. Unter Windows kannst du in Textverarbeitungsprogrammen wie Word die Zeichenfolge `2285` eintippen und direkt danach die Tastenkombination `Alt + C` (in manchen Systemen `Alt + X`) drücken, um sie in das Symbol umzuwandeln. Auf dem Mac nutzt du das Unicode-Hex-Eingabelayout und tippst `Option + 2285`. Baust du eine Website, bindest du das Symbol im HTML-Code einfach mit `⊅` oder der Hex-Variante `⊅` ein. Verfasst du mathematische Texte in LaTeX, erzeugst du das Zeichen bequem mit dem Befehl `\nsupset` (meist in Kombination mit dem Paket `amssymb`).
Das Symbol steht nicht allein, sondern ist Teil einer ganzen Familie von Mengen-Zeichen. Eng verwandt sind das einfache Obermengen-Symbol ⊃ (U+2283) und sein Gegenstück, das Teilmengen-Zeichen ⊂ (U+2282). Willst du ausdrücken, dass eine Gruppe *keine* Teilmenge einer anderen ist, greifst du zum gespiegelten Bruder von ⊅: dem Zeichen ⊄ (U+2284). So behältst du in der Welt der Mengenlehre immer den perfekten Überblick.