Das Symbol ∌ (U+220C): Bedeutung, Unicode und Verwendung des Mengenlehre-Zeichens

Das mathematische Symbol ∌ (U+220C) steht in der Mengenlehre für „enthält nicht als Element“. Es ist das durchgestrichene Gegenstück zum Symbol ∋ („enthält als Element“) und wird verwendet, um auszudrücken, dass eine bestimmte Menge ein spezifisches Objekt nicht beinhaltet. Wenn du also schreibst A ∌ b, bedeutet das schlicht: Das Element b ist nicht in der Menge A zu finden.

Der Ursprung dieses Zeichens liegt in der klassischen Mengenlehre, die Ende des 19. Jahrhunderts maßgeblich von Georg Cantor geprägt wurde. Das Grundsymbol ∈ (Element von) leitet sich vom griechischen Buchstaben Epsilon ab und steht für das Wort „esti“ (es ist). Das Symbol ∌ dreht diese Logik einfach um: Der Bogen von rechts nach links ändert die Leserichtung („Menge enthält Element“ statt „Element ist in Menge“), und der durchgehende Schrägstrich ist die universelle mathematische Verneinung.

Im Unicode-Standard findest du das Zeichen ∌ unter dem Codepunkt U+220C im Block „Mathematische Operatoren“ (Mathematical Operators). Sein offizieller englischer Name lautet „DOES NOT CONTAIN AS MEMBER“.

In der Praxis begegnet dir ∌ fast ausschließlich in der Mathematik und theoretischen Informatik. Während in Schulbüchern meist die Schreibweise b ∉ A („b ist kein Element von A“) bevorzugt wird, nutzen Mathematiker ∌, wenn der Fokus im Satz auf der Menge selbst liegt. In gängigen Programmiersprachen wie Python oder Java gibt es dieses Zeichen nicht als nativen Operator; hier greifst du stattdessen auf Befehle wie „not in“ oder „!contains()“ zurück. In sozialen Netzwerken oder Foren taucht ∌ höchstens als kreativer Baustein für abstrakte Kaomojis (japanische Text-Emoticons) auf, da die geschwungenen Linien an Gesichter oder Schnurrbärte erinnern können.

Das Tippen von ∌ auf einer Standardtastatur erfordert einen kleinen Umweg. Am PC und Mac kopierst du das Symbol am einfachsten direkt aus einer Suchmaschine oder einem Lexikon wie EmojiAtlas. In Microsoft Word kannst du den Code 220C eintippen und sofort danach die Tastenkombination [Alt] + [C] (oder [Alt] + [X]) drücken, um ihn in das Zeichen umzuwandeln. Auf dem Mac öffnest du mit [Ctrl] + [Cmd] + [Leertaste] die Zeichenübersicht und suchst nach dem englischen Begriff „contains“. In HTML-Dokumenten bindest du das Symbol unkompliziert mit dem Code ∌ oder der Entität ∌ ein.

Verwandte Symbole helfen dir, die mathematische Familie besser zu verstehen. Das Zeichen ∈ (U+2208) bedeutet „ist Element von“ und ∉ (U+2209) steht für „ist kein Element von“. Das direkte Gegenstück ohne Durchstreichung ist ∋ (U+220B), was „enthält als Element“ bedeutet. Zusammen bilden sie das grundlegende Vokabular, um Beziehungen zwischen Gruppen und ihren Mitgliedern exakt zu beschreiben.