Mathematischer Operator 142

Unicode
U+2291
Kategorie
Mathematik
HTML Entity
⊑
CSS
\2291
Das Symbol ⊑ (Quadratische Teilmenge oder gleich) ist ein mathematischer Operator, der vorwiegend in der Mengenlehre und theoretischen Informatik auftaucht. Du triffst es meistens an, wenn partielle Ordnungen (Domain Theory) oder Untertyp-Beziehungen beschrieben werden. Außerhalb von Fachliteratur und komplexen Formeln wird dieses spezielle Zeichen im Alltag praktisch nicht verwendet.

So tippen Sie

Windows
Alt + 8849
macOS
Control+Command+Space dann nach 'square image' suchen
Linux
Ctrl+Shift+U dann 2291
HTML
⊑ oder ⊑

In der Programmierung

In der theoretischen Informatik und Typentheorie zeigt ⊑ Subtyping oder den Informationsgehalt in partiellen Ordnungen an. In mathematischen Dokumenten erzeugst du das Symbol in LaTeX mit dem Befehl \sqsubseteq.

Tags

mathematik ordnung quadrat teilmenge gleich relation operator

Verwandte Symbole