Das ≿ Symbol: Bedeutung, Unicode und Anwendung von "Nachfolgend oder äquivalent"
Das Symbol ≿ (Unicode: U+227F) bedeutet in der Mathematik „nachfolgend oder äquivalent zu“. Es setzt sich aus dem geschwungenen Größer-als-Zeichen (≻) und einer Tilde (~) zusammen. Oft wird es in der Ordnungstheorie oder Wirtschaftswissenschaft verwendet, um auszudrücken, dass eine Option einer anderen vorgezogen wird oder zumindest gleichwertig ist („schwache Präferenz“).
Die Ursprünge dieses Zeichens liegen in der formalen Logik und der Mengenlehre. Während das klassische Größer-als-Zeichen (>) für strikte Zahlenwerte steht, nutzt man die geschwungene Variante (≻) für abstraktere Ordnungen. Die hinzugefügte Tilde signalisiert eine Äquivalenz. In der Entscheidungstheorie drückt ≿ beispielsweise aus: „Ich finde Option A besser als Option B, oder beide sind mir exakt gleich lieb.“ Es hilft also, komplexe Rangfolgen präzise aufzuschreiben, ohne sich auf starre Zahlenwerte festlegen zu müssen.
Im Unicode-Standard findest du das Symbol ≿ unter dem offiziellen englischen Namen „SUCCEEDS OR EQUIVALENT TO“. Der Code Point lautet U+227F. Es gehört zum Unicode-Block „Mathematische Operatoren“ (Mathematical Operators), der die wichtigsten Zeichen für algebraische, logische und mengentheoretische Gleichungen bereithält. Außerhalb von Fachdokumenten, Programmierumgebungen oder wissenschaftlichen Papers auf Plattformen wie Twitter oder Reddit sieht man es eher selten, es sei denn, Mathe-Nerds diskutieren über komplexe Entscheidungstheorien.
Da das Zeichen auf keiner Standardtastatur zu finden ist, kannst du Shortcuts nutzen, um es zu tippen. Unter Windows gibst du in Programmen wie Microsoft Word den Code 227F ein und drückst danach Alt + C (oder Alt + X). Auf dem Mac nutzt du die Unicode-Hex-Eingabe und tippst Wahltaste (Option) + 227F. Im Webdesign fügst du das Symbol mit dem HTML-Code ≿ ein. Wenn du wissenschaftliche Texte in LaTeX schreibst, erzeugst du das Zeichen ganz einfach mit dem Befehl \succsim.
Das ≿ Symbol steht natürlich nicht allein im mathematischen Universum. Sein direktes Gegenteil ist das Zeichen ≾ (U+227E, vorangehend oder äquivalent zu). Es ist auch eng verwandt mit dem strikten ≻ (U+227B, nachfolgend), dem klassischen ≥ (U+2265, größer oder gleich) und dem Zeichen ≽ (U+227D, nachfolgend oder gleich). Der feine, aber wichtige Unterschied in der Typografie und Bedeutung: Während der gerade Strich unter einem Zeichen für eine absolute mathematische Gleichheit steht, drückt die Wellenlinie (Tilde) in ≿ eine flexiblere Gleichwertigkeit in einem bestimmten Kontext aus.