Alles über das ⊑ Symbol (Quadratische Teilmenge)

Das Symbol ⊑ (Quadratische Teilmenge oder gleich) ist ein mathematischer Operator, der hauptsächlich in der Mengenlehre, der theoretischen Informatik und der Logik verwendet wird. Es drückt aus, dass ein Element oder eine Menge einer anderen untergeordnet, gleichwertig oder in ihr enthalten ist. Im Unicode-Standard trägt es den englischen Namen "Square Image of or Equal To" und hat den Codepoint U+2291.

Ursprünglich stammt dieses Zeichen aus der abstrakten Mathematik. Während das klassische Teilmengen-Symbol (⊆) runde Bögen hat, nutzt man die eckige Variante (⊑) oft, um eine spezielle Art der Hierarchie oder Ordnungsrelation zu betonen. In der sogenannten Bereichstheorie (Domain Theory) steht es beispielsweise für eine Näherungsrelation – also wenn Information A weniger oder gleich viel Wissen enthält wie Information B.

In der Informatik und beim Design von Programmiersprachen begegnet dir das ⊑ oft in der Typentheorie. Es zeigt an, dass ein Datentyp ein Subtyp eines anderen ist (oder mit ihm identisch). Im Alltag oder auf Social Media taucht dieses spezifische Zeichen dagegen fast nie auf. Wenn du es dort siehst, dann meistens in komplexen Kaomojis (japanischen Text-Smileys), wo die eckigen Linien kreativ als Gesichtszüge zweckentfremdet werden, oder in Nischen-Memes für Mathe-Nerds.

Das Zeichen gehört zum Unicode-Block "Mathematische Operatoren" (Mathematical Operators). Wenn du das ⊑ selbst tippen möchtest, gibt es verschiedene Wege: Unter Windows kannst du es am einfachsten über die Windows-Zeichentabelle (Suchbegriff: 2291) oder über das Emoji-Panel ([Windows-Taste] + [.]) im Reiter Symbole in deinen Text einfügen. Auf dem Mac öffnest du mit [Ctrl] + [Cmd] + [Leertaste] die Zeichenübersicht und suchst bei den mathematischen Symbolen danach. In HTML schreibst du einfach ⊑ oder ⊑. Wenn du wissenschaftliche Texte mit LaTeX verfasst, lautet der entsprechende Befehl \sqsubseteq.

Es gibt einige verwandte Symbole, die du leicht damit verwechseln könntest. Das bekannteste ist das normale Teilmengen-Zeichen ⊆ (U+2286), das universell für Standard-Mengen verwendet wird. Das reine ⊏ (U+228F) steht für eine echte quadratische Teilmenge (also exklusive dem "oder gleich"). Drehst du das Zeichen um, erhältst du ⊒ (U+2292), was "quadratische Obermenge oder gleich" bedeutet.