⋣
Mathematischer Operator 224
- 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 formalen Logik zum Einsatz. Es stellt eine negierte Relation dar, oft übersetzt mit „ergibt nicht“ oder „ist nicht ableitbar“, und zeigt an, dass eine bestimmte logische Schlussfolgerung ungültig ist. 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 ungültige Ableitungen formal darzustellen.
Tags
mathematik
nicht quadrat obermenge
ordnung
negation
operator