Mathematischer Operator 143

Unicode
U+2292
Kategorie
Mathematik
HTML Entity
⊒
CSS
\2292
Das Symbol ⊒ (U+2292) steht in der Mathematik für „Quadratisches Original von oder gleich“ und ist das eckige Gegenstück zum runden Obermengen-Zeichen (⊇). Du findest es vor allem in der Mengenlehre, Logik und theoretischen Informatik, wo es meist eine Halbordnung oder eine spezifische Übermengen-Beziehung ausdrückt. Außerhalb von wissenschaftlichen Texten und komplexen Formeln taucht dieses spezialisierte Zeichen im digitalen Alltag kaum auf.

So tippen Sie

Windows
Alt + 8850 (auf dem Ziffernblock)
macOS
Control + Command + Space, dann nach „square original“ suchen
Linux
Ctrl + Shift + U, dann 2292 und Space
HTML
⊒ oder ⊒

In der Programmierung

In der Textsatz-Software LaTeX erzeugst du dieses Zeichen im Mathematikmodus mit dem Befehl \sqsupseteq. In der theoretischen Informatik dient es oft dazu, Ordnungsrelationen und Informationsgehalte in der Bereichstheorie (Domain Theory) darzustellen.

Tags

mathematik ordnung quadrat obermenge gleich relation operator

Verwandte Symbole