Das Symbol ⊥ (Up Tack): Bedeutung, Herkunft und Nutzung

Das Symbol ⊥ (Up Tack, U+22A5) ist ein mathematisches Zeichen, das vor allem für „senkrecht zu“ (Orthogonalität) oder in der Logik als Zeichen für einen Widerspruch („Falsum“) steht. Optisch erinnert es an ein auf dem Kopf stehendes T und signalisiert in der Geometrie ganz einfach, dass zwei Linien in einem exakten 90-Grad-Winkel aufeinandertreffen.

Historisch hat sich das Symbol aus dem praktischen Bedarf der Geometrie entwickelt. Mathematiker suchten nach einer schnellen, visuellen Methode, um rechte Winkel zu notieren, anstatt jedes Mal den vollen Satz „ist orthogonal zu“ ausschreiben zu müssen. In der formalen Logik und Mengenlehre bekam ⊥ später eine zweite Karriere: Hier markiert es den absoluten Tiefpunkt („Bottom“), einen logischen Widerspruch oder schlichtweg eine falsche Aussage.

Im Unicode-Standard findest du ⊥ im Block „Mathematische Operatoren“ (Mathematical Operators). Der offizielle Codepoint lautet U+22A5. Obwohl es im deutschsprachigen Raum oft einfach als „Senkrecht-Zeichen“ oder „Orthogonal-Zeichen“ bezeichnet wird, lautet der weltweit standardisierte englische Name „Up Tack“.

In der Praxis begegnet dir ⊥ in verschiedenen Fachbereichen. In der Geometrie schreibst du beispielsweise „g ⊥ h“, um zu zeigen, dass die Gerade g exakt senkrecht auf der Geraden h steht. In der Informatik und theoretischen Logik, besonders im Kontext von Typsystemen und funktionalen Programmiersprachen, nutzt du das Zeichen oft als sogenannten „Bottom-Typ“. Dieser steht abstrakt für einen Berechnungsfehler, einen Absturz, eine Endlosschleife oder den booleschen Wert „Falsch“. Auf Social Media oder in normalen Textnachrichten taucht das Zeichen in seiner mathematischen Form kaum auf. Manchmal wird es jedoch kreativ zweckentfremdet, etwa als grafisches Element, Tisch oder als Nase in komplexen textbasierten Kaomojis.

Wenn du ⊥ auf deiner Tastatur eingeben möchtest, gibt es je nach Plattform unterschiedliche Methoden. Unter Windows hältst du die Alt-Taste gedrückt und tippst 8869 auf dem Ziffernblock ein. Am Mac gibt es kein standardmäßiges Tastaturkürzel, weshalb du am besten die integrierte Zeichenübersicht (Ctrl + Cmd + Leertaste) öffnest und nach „Up Tack“ suchst. Webentwickler greifen auf die HTML-Entität ⊥ (für Perpendicular) oder den Dezimalcode ⊥ zurück. In der Textsatz-Software LaTeX erzeugst du das Symbol je nach gewünschtem Kontext mit dem Befehl \bot (Logik) oder \perp (Geometrie).

Das Zeichen hat auch direkte Verwandte im Unicode-Universum. Das optische und inhaltliche Gegenteil ist ⊤ (Down Tack, U+22A4), das in der Logik für „Wahr“ (Verum) oder das höchste Element („Top“) steht. Auch ⊢ (Right Tack, U+22A2) und ⊣ (Left Tack, U+22A3) gehören zur selben typografischen Familie und werden vor allem für logische Ableitungen und Beweise eingesetzt.