Alles über das Unicode-Zeichen ≭ (Nicht äquivalent zu)
Das Unicode-Zeichen ≭ (Nicht äquivalent zu) ist ein mathematischer Operator, der ausdrückt, dass zwei Werte, Mengen oder logische Aussagen nicht gleichwertig sind. Es besteht aus dem Äquivalenzzeichen (≡), das durch einen diagonalen Strich durchgestrichen ist, und wird vor allem in der höheren Mathematik, Logik und beim Programmieren verwendet, um Ungleichheit in einer spezifischen Äquivalenzrelation darzustellen.
Das Symbol ≭ hat den Unicode-Codepunkt U+226D und gehört zum Block „Mathematische Operatoren“ (Mathematical Operators). Wie viele andere durchgestrichene mathematische Symbole folgt es der internationalen Konvention, dass ein Schrägstrich das Gegenteil der ursprünglichen Bedeutung erzeugt. Während das Standard-Äquivalenzzeichen (≡) oft für modulare Arithmetik oder logische Identität genutzt wird, zeigt ≭ an, dass diese besondere, oft selbst definierte Beziehung hier explizit nicht greift.
Im Alltag wirst du ≭ selten auf Social Media oder in normalen Textnachrichten sehen – es ist ein echtes Fachzeichen. In der Mathematik und Informatik ist es dafür umso wichtiger. Mathematiker nutzen es in der Geometrie oder Mengenlehre, wenn zwei Objekte zwar ähnlich aussehen, aber streng genommen nicht unter dieselbe Äquivalenzklasse fallen. Programmierer treffen eher selten auf das exakte Unicode-Zeichen im Quellcode, da dort meist Tastatur-Kombinationen wie `!==` oder `!=` getippt werden. In wissenschaftlichen Texten, die mit LaTeX gesetzt sind (dort als `\not\equiv` geschrieben), sorgt ≭ jedoch für einen sauberen, professionellen Formelsatz.
Wenn du das Zeichen ≭ selbst in ein Dokument einfügen möchtest, gibt es verschiedene Wege. Unter Windows tippst du in Textverarbeitungsprogrammen wie Word einfach `226D` und drückst danach `Alt` + `C` (oder `Alt` + `X`). Auf dem Mac findest du es am schnellsten über die Zeichenübersicht (`Ctrl` + `Cmd` + `Leertaste`), wenn du nach „equivalent“ oder im Bereich der mathematischen Symbole suchst. Für Webseiten oder HTML-Dokumente kannst du den Code `≭` oder die HTML-Entität `≢` verwenden. Ansonsten hilft natürlich immer das klassische Copy-and-Paste.
Es ist leicht, ≭ mit anderen mathematischen Operatoren zu verwechseln. Der direkteste Verwandte ist das einfache Ungleichheitszeichen ≠ (U+2260), das lediglich aussagt, dass zwei Zahlenwerte nicht identisch sind (wie 2 ≠ 3). Das ≭ ist fachlich spezifischer, da „Äquivalenz“ oft mehr oder andere Bedingungen erfordert als reine Gleichheit. Ein weiteres ähnliches Symbol ist ≄ (Nicht asymptotisch gleich, U+2244), das in der mathematischen Analysis vorkommt. Wenn du also in einer Formel betonen willst, dass zwei Konzepte definitiv nicht in dieselbe logische Kategorie gehören, hast du mit ≭ das perfekte Zeichen parat.