Alles über das Symbol ≽ (Folgt auf oder ist gleich)

Das Symbol ≽ (Unicode: U+227D) steht in der Mathematik für „folgt auf oder ist gleich“ (englisch: „succeeds or equal to“). Es ist ein logischer Operator, der häufig in der Ordnungstheorie und den Wirtschaftswissenschaften verwendet wird, um eine schwache Präferenz auszudrücken – also wenn eine Option mindestens genauso gut oder bevorzugt ist wie eine andere. Visuell erinnert es an ein geschwungenes Größer-als-Zeichen mit einem horizontalen Unterstrich.

Als Teil des Unicode-Blocks „Mathematische Operatoren“ (Mathematical Operators) hat das Zeichen ≽ den Code-Point U+227D. Die geschwungene Form (oft als „curly“ bezeichnet) wurde in der formalen Logik und Mengenlehre eingeführt, um bestimmte abstrakte Ordnungsrelationen optisch klar von dem standardmäßigen Größer-als-Zeichen (>) abzugrenzen. In HTML kannst du es mit der Entität ≽ oder ⪰ in den Code von Webseiten einbinden.

In der Mathematik und Spieltheorie triffst du ≽ meistens an, wenn es um Präferenzen geht. Wenn du also die Wahl zwischen Pizza und Burger hast und Pizza leicht bevorzugst oder beides gleich gut findest, könnte man das mathematisch als „Pizza ≽ Burger“ ausdrücken. In der Programmierung wird dieses spezifische Unicode-Zeichen seltener direkt im Quellcode als Operator genutzt, sondern eher in der Dokumentation oder in mathematischen Software-Umgebungen wie LaTeX (dort wird es als \succeq eingegeben). Auf Social Media taucht ≽ manchmal fernab der Mathematik in kreativen Textgesichtern (Kaomojis) auf, um geschwungene Münder, Schnurrhaare oder Wangen darzustellen, da es optisch weicher wirkt als spitze Klammern.

Wie tippst du das Symbol ≽ auf deiner Tastatur? Da es keine Standardtaste dafür gibt, nutzt du am besten Tastenkombinationen oder die Zwischenablage. Unter Windows kannst du den Alt-Code verwenden, indem du die linke Alt-Taste gedrückt hältst und auf dem Ziffernblock 8829 (die dezimale Form des Code-Points) eingibst – das funktioniert allerdings nicht in jedem Programm. Zuverlässiger ist es, unter Windows die Zeichentabelle zu öffnen oder auf dem Mac die Zeichenübersicht (Control + Command + Leertaste) aufzurufen und nach „succeeds“ zu suchen. Auf dem Smartphone kopierst du das Zeichen am einfachsten aus dem Internet und richtest dir in den Tastatureinstellungen einen kurzen Text-Shortcut ein.

Es gibt einige verwandte Zeichen, die leicht mit ≽ verwechselt werden können. Das direkte Gegenstück ist ≼ (Geht voran oder ist gleich / Precedes or equal to, U+227C), welches die exakt umgekehrte Relation ausdrückt. Ohne den unteren Strich wird das Zeichen zu ≻ (Folgt auf / Succeeds, U+227B), was eine strikte Präferenz bedeutet – also „strikt besser als“, ohne die Möglichkeit der Gleichheit. Und natürlich existiert das klassische ≥ (Größer als oder gleich, U+2265), das für reine Zahlenwerte und algebraische Gleichungen genutzt wird.