Das Symbol ⊓ (SQUARE CAP): Bedeutung, Ursprung und Nutzung

Das Symbol ⊓ (Unicode-Name: SQUARE CAP, auf Deutsch oft als eckiger Durchschnitt oder „Meet“-Operator bezeichnet) ist ein mathematisches Zeichen, das vor allem in der Verbandstheorie genutzt wird. Es stellt das Infimum zweier Elemente dar, also deren größte untere Schranke. Optisch erinnert es an ein eckiges, umgedrehtes U und dient als Pendant zur klassischen runden Schnittmenge (∩).

In der Welt von Unicode findest du ⊓ unter dem Codepoint U+2293 im Block „Mathematische Operatoren“. Die Einführung dieses eckigen Zeichens war ein logischer Schritt, um algebraische Operationen in spezifischen Strukturen wie Verbänden oder der formalen Konzeptanalyse klar von der normalen Mengenlehre abzugrenzen. So wussten Mathematiker direkt auf den ersten Blick, in welchem theoretischen Raum sie sich bewegen.

In der Mathematik und theoretischen Informatik triffst du ⊓ relativ häufig an. Dort steht der Ausdruck „a ⊓ b“ für das sogenannte „Meet“. Wenn du dich mit Typsystemen in modernen Programmiersprachen beschäftigst, wird das Symbol oft genutzt, um Intersection-Types (Schnitt-Typen) theoretisch zu beschreiben. Abseits von Vorlesungssälen und Fachpapieren führt das Zeichen eher ein Nischendasein. Auf Social-Media-Plattformen oder in Textnachrichten taucht es gelegentlich als kreatives Gestaltungselement auf – etwa als minimalistischer Torbogen, ein kleiner Tisch oder als Baustein in komplexen Kaomojis (japanischen Text-Emojis).

Du möchtest das Symbol selbst eintippen? Da es auf Standardtastaturen fehlt, musst du kleine Umwege gehen. Auf einem Mac öffnest du mit [Ctrl] + [Cmd] + [Leerzeichen] die Zeichenübersicht und suchst nach „Square Cap“. Unter Windows nutzt du am einfachsten die vorinstallierte Zeichentabelle. In Textverarbeitungsprogrammen wie Microsoft Word kannst du die Zahlenfolge 2293 tippen und sofort [Alt] + [C] (oder [Alt] + [X]) drücken, um sie in das Zeichen umzuwandeln. Schreibst du wissenschaftliche Texte in LaTeX, erzeugst du das Zeichen ganz unkompliziert mit dem Befehl \sqcap. Für Webentwickler bieten sich die HTML-Entitäten ⊓ oder ⊓ an.

Es gibt einige Symbole, die leicht mit ⊓ verwechselt werden können. Das offensichtlichste Gegenstück ist ⊔ (Square Cup, U+2294), welches das offene Ende nach oben richtet und für das Supremum (Join) steht. Optisch eng verwandt ist das runde Durchschnittszeichen ∩ (U+2229), das in der klassischen Mengenlehre zu Hause ist. Auch der griechische Großbuchstabe Pi (Π) sieht auf den ersten Blick verblüffend ähnlich aus, repräsentiert in der Mathematik aber das Produktzeichen und hat in den meisten Schriftarten leicht überstehende Querbalken am oberen Rand.