Symbol ≢ (Nicht identisch): Bedeutung, Tastatur & Unicode
Das Symbol ≢ (U+2262), auch bekannt als "Nicht identisch mit", ist ein mathematischer Operator, der ausdrückt, dass zwei Werte, Gleichungen oder Objekte nicht völlig übereinstimmen. Es besteht aus drei parallelen horizontalen Linien, die durch einen diagonalen Schrägstrich durchgestrichen sind. In der Mathematik zeigt es an, dass keine strikte Identität oder Kongruenz zwischen zwei Elementen besteht.
In Unicode findest du das Symbol im Block "Mathematische Operatoren" (Mathematical Operators) unter dem Codepunkt U+2262. Sein offizieller englischer Unicode-Name lautet "NOT IDENTICAL TO". Das Zeichen wurde bereits 1993 mit der Unicode-Version 1.1 eingeführt und gehört seitdem zum Standardrepertoire für den digitalen Formelsatz. Typografisch gesehen folgt es der etablierten Logik der Mathematik: Das Durchstreichen eines Symbols negiert dessen Bedeutung. Aus "identisch" (≡) wird durch den Strich "nicht identisch" (≢).
In der Mathematik und Logik verwendest du ≢, um deutlich zu machen, dass zwei Ausdrücke nicht für alle Werte gleich sind. Wenn du beispielsweise schreibst, dass eine Funktion f(x) ≢ 0 ist, bedeutet das, dass sie nicht die Nullfunktion ist. Sie ist also nicht für jeden erdenklichen Wert von x gleich null, auch wenn sie an bestimmten Stellen null sein kann. In der Geometrie zeigt es zudem an, dass zwei Figuren nicht deckungsgleich (inkongruent) sind.
In der Programmierung taucht das exakte Symbol ≢ seltener im direkten Quellcode auf. Moderne Programmiersprachen verwenden stattdessen logische Konstrukte wie `!==` oder `!=`, um mangelnde Identität oder Typ-Ungleichheit zu prüfen. In sozialen Medien, Foren oder auf Plattformen wie Reddit nutzen vor allem Studierende oder Mathe-Enthusiasten das Zeichen, um in fachlichen Diskussionen präzise zu bleiben. Abseits davon wird es hin und wieder in Text-Kaomojis (Ascii-Art) zweckentfremdet, da der durchgestrichene Dreifachstrich ein interessantes visuelles Element abgibt.
Wie tippst du ≢ auf deinen Geräten? Da es nicht auf Standardtastaturen abgedruckt ist, erfordert es kleine Tricks. Unter Windows kannst du in Textprogrammen wie Word "2262" tippen und direkt danach Alt + C drücken. Auf dem Mac öffnest du mit Ctrl + Cmd + Leertaste die Zeichenübersicht und suchst nach dem Begriff "nicht identisch". Auf dem Smartphone (iOS und Android) hilft am besten Copy-Paste aus dem Netz, oder du richtest dir in den Tastatureinstellungen eine Textersetzung (z. B. für die Eingabe "!!nichtid") ein. Im Webdesign bindest du es per HTML mit `≢` oder dem Entity `≢` ein.
Eng verwandt ist das Symbol mit dem Identitätszeichen ≡ (U+2261), seiner positiven Ausgangsform ohne Strich. Ein weiterer naher Verwandter ist das einfache Ungleichheitszeichen ≠ (U+2260), das lediglich das Standard-Gleichheitszeichen = durchstreicht. Während ≠ ausdrückt, dass zwei Werte schlichtweg unterschiedlich sind, legt ≢ den Fokus tiefer: Es betont, dass die Elemente in ihrer Struktur, ihrer Definition oder ihrem Datentyp nicht völlig wesensgleich sind.