⋨

Geht voraus, aber nicht äquivalent

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
In Word: 22E8 eingeben, dann Alt + C drücken. In anderen Programmen hat Windows kein Standardkürzel dafür – einfach von dieser Seite kopieren
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