Mathematischer Operator 162

Unicode
U+22A5
Kategorie
Mathematik
HTML Entity
⊥
CSS
\22A5
Das Symbol ⊥ (Up-Tack oder orthogonales Zeichen) wird in der Geometrie hauptsächlich verwendet, um zu zeigen, dass zwei Linien oder Vektoren exakt senkrecht zueinander stehen. In der formalen Logik und theoretischen Informatik repräsentiert es oft den Wahrheitswert „falsch“ oder einen sogenannten „Bottom“-Zustand für undefinierte Werte. Abseits der Wissenschaft taucht es gelegentlich in japanischen Kaomojis auf, wo es durch seine markante Form an eine flache Nase oder einen kleinen Tisch erinnert.

So tippen Sie

Windows
Alt + 8869
macOS
Control+Command+Space, dann nach „up tack“ oder „perp“ suchen
Linux
Strg+Shift+U, dann 22A5
HTML
⊥

In der Programmierung

In LaTeX erzeugst du dieses Zeichen je nach Kontext mit dem Befehl \perp (für Geometrie) oder \bot (für Logik). In der theoretischen Informatik steht es für den „Bottom-Typ“ (einen fehlerhaften oder nicht terminierenden Zustand), wird in modernem Code aber meist durch Schlüsselwörter wie null, nil oder false abgebildet.

Tags

mathematik logik senkrecht falsch widerspruch

Verwandte Symbole