⋣
Weder quadratisches Urbild noch gleich
- Unicode
- U+22E3
- Kategorie
- Mathematik
- HTML Entity
- ⋣
- CSS
- \22E3
Das Symbol ⋣ gehört zur Unicode-Kategorie der mathematischen Operatoren und kommt vor allem in der Ordnungstheorie zum Einsatz. Es stellt eine negierte Relation dar, gelesen als „ist kein quadratisches Original von oder gleich“, und verneint damit die eckige Obermengen-Beziehung ⊒ zwischen zwei Elementen. Außerhalb von mathematischen Texten, der theoretischen Informatik oder spezialisierten LaTeX-Dokumenten wirst du diesem spezifischen Zeichen im digitalen Alltag kaum begegnen.
So tippen Sie
- Windows
- Alt + 8931 (auf dem Ziffernblock) oder Win + . (Punkt) für das Windows-Symbolmenü
- macOS
- Control + Command + Space drücken und in der Zeichenübersicht nach mathematischen Operatoren suchen
- Linux
- Ctrl + Shift + U, dann 22E3 eingeben und Leertaste oder Enter drücken
- HTML
- ⋣
In der Programmierung
In gängigen Programmiersprachen hat ⋣ keine native Ausführungsfunktion. Es wird primär in mathematischer Software, Systemen zur automatischen Beweisführung und in Schriftsatzsystemen wie LaTeX verwendet, um verneinte Ordnungsrelationen formal darzustellen.
Tags
mathematik
nicht quadrat obermenge
ordnung
negation
operator