⊤
Mathematischer Operator 161
- Unicode
- U+22A4
- Kategorie
- Mathematik
- HTML Entity
- ⊤
- CSS
- \22A4
Das Symbol ⊤ (Down Tack oder Verum) wird in der mathematischen Logik verwendet, um den Wahrheitswert „wahr“ oder eine absolute Tautologie darzustellen. In der Verbandstheorie markiert es als „Top-Element“ den größten Wert einer algebraischen Struktur. Während es in der alltäglichen Kommunikation kaum vorkommt, ist es in formalen Wissenschaften und der theoretischen Informatik ein unverzichtbares Zeichen.
So tippen Sie
- Windows
- Alt + 8868 (Ziffernblock) oder 22A4, dann Alt+C in Word
- macOS
- Control + Command + Space, dann nach „Down Tack“ oder „Top“ suchen
- Linux
- Ctrl + Shift + U, dann 22a4 und Leertaste
- HTML
- ⊤ oder ⊤
In der Programmierung
In LaTeX wird das Symbol mit dem Befehl \top erzeugt. In der theoretischen Informatik und Typentheorie repräsentiert es oft den allgemeinsten „Top“-Typ, von dem alle anderen Typen abgeleitet sind, oder den erfolgreichen Abschluss einer logischen Operation.
Tags
mathematik
logik
wahr
top
tautologie