⊓
Quadratischer Durchschnitt
- 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
- In Word: 2293 eingeben, dann Alt + C drücken. In anderen Programmen hat Windows kein Standardkürzel dafür – einfach von dieser Seite kopieren
- 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