Mathematischer Operator 126

Unicode
U+2281
Kategorie
Mathematik
HTML Entity
⊁
CSS
\2281
Das Symbol ⊁ (folgt nicht auf) ist ein mathematischer Operator, der vor allem in der Ordnungstheorie verwendet wird. Es drückt aus, dass ein Element in einer festgelegten Reihenfolge nicht auf ein anderes Element folgt. Das Zeichen ist die durchgestrichene, also verneinte Form des „folgt auf“-Symbols (≻) und wird typischerweise in fortgeschrittenen mathematischen oder logischen Gleichungen genutzt.

So tippen Sie

Windows
Alt + 8833
macOS
Control + Command + Leertaste, dann nach "does not succeed" suchen
Linux
Strg + Umschalt + U, dann 2281 und Leertaste
HTML
⊁ oder ⊁

In der Programmierung

In Textsatzsystemen wie LaTeX wird das Zeichen mit dem Befehl \nsucc erzeugt, um verneinte Ordnungsrelationen in mathematischen Formeln und Beweisen sauber darzustellen.

Tags

mathematik ordnung nicht nachfolgend negation relation

Verwandte Symbole