Eckig größer, aber nicht gleich
Zeichen und Codes zum Kopieren
-
⋥
Zeichen
-
U+22E5
Unicode
-
⋥
HTML Code
-
\22E5
CSS Code
-
\u22E5
JavaScript Code
-
\u{22E5}
PHP / Ruby Code
Beschreibung
Das Zeichen ⋥ ist das eckige Größer-gleich-Zeichen, dessen unterer Strich durchgestrichen ist.
Es gehört zum Grundbestand der mathematischen Zeichen im Zeichensatz und ist das Gegenstück zum Zeichen ⋤. Gelesen wird »a ⋥ b« als »a liegt in der Ordnung über b, ist aber nicht gleich b«. Gebraucht wird es in der Informatik für echte Näherungen und in der Sprachtheorie für echte Verlängerungen.
Vom eckigen Größer-gleich-Zeichen ⊒ unterscheidet es der ausgeschlossene Gleichheitsfall, vom Zeichen ⋣ die Stelle des Strichs.