Mathematischer Operator 229

Unicode
U+22E8
Kategorie
Mathematik
HTML Entity
⋨
CSS
\22E8
Das Symbol ⋨ (Vorhergehend, aber nicht äquivalent zu) stammt aus der mathematischen Ordnungstheorie. Es kombiniert das Präzedenz-Zeichen mit einer durchgestrichenen Äquivalenz und drückt aus, dass ein Element einem anderen strikt vorausgeht. Du findest dieses spezielle Zeichen fast ausschließlich in komplexen Formeln und wissenschaftlichen Publikationen.

So tippen Sie

Windows
Alt+8936
macOS
Control+Command+Space, dann nach '22e8' suchen
Linux
Strg+Umschalt+U, dann 22e8 eingeben
HTML
⋨

In der Programmierung

In Textsatzsystemen wie LaTeX erzeugst du dieses Symbol meist mit speziellen Befehlen aus AMS-Paketen (wie \precnsim), um strikte Ordnungsrelationen in Beweisen darzustellen. In alltäglichen Programmiersprachen erfüllt dieses Zeichen keine direkte syntaktische Funktion.

Tags

mathematik vorangehend nicht aehnlich ordnung negation relation

Verwandte Symbole