⊓
Mathematischer Operator 144
- Unicode
- U+2293
- Kategorie
- Mathematik
- HTML Entity
- ⊓
- CSS
- \2293
Das Symbol ⊓ (Quadratischer Durchschnitt oder „Square Cap“) ist ein mathematischer Operator aus der Gitter- und Mengenlehre. Es wird in der Regel verwendet, um das Infimum (auch „Meet“ genannt) zweier Elemente darzustellen. Du findest es fast ausschließlich in akademischen Texten, der formalen Logik oder Typentheorie – oder als Baustein für kreative Text-Kaomojis und Ascii-Art.
So tippen Sie
- Windows
- Win + . (Symbol-Menü öffnen und nach Mathe-Symbolen suchen)
- macOS
- Control + Command + Space, dann nach 'Square Cap' suchen
- Linux
- Ctrl + Shift + U, dann 2293 und Enter
- HTML
- ⊓ oder ⊓
In der Programmierung
In LaTeX-Dokumenten erzeugst du dieses Symbol einfach mit dem Befehl \sqcap. In modernen Beweisassistenten oder formalen Programmiersprachen wie Agda wird es gelegentlich als benutzerdefinierter Operator für das logische Infimum genutzt.
Tags
mathematik
gitter
infimum
quadrat
operator