⊤

Down Tack

Unicode
U+22A4
Category
Math
HTML Entity
⊤
CSS
\22A4
The ⊤ (Down Tack) symbol is a mathematical operator that visually resembles a capital "T". In formal logic and boolean algebra, it frequently represents the "true" value or a logical tautology. It is also widely used in lattice theory to denote the top or greatest element of a partially ordered set, making it a staple in technical documentation and mathematical proofs.

How to Type

Windows
In Word: type 22A4, then press Alt + X. Other apps have no standard Windows shortcut for it — copy it from this page
macOS
Control+Command+Space then search "down tack"
Linux
Ctrl+Shift+U then 22A4 and Enter
HTML
⊤ or ⊤

In Programming

In programming languages and type theory, the ⊤ symbol often represents the "top" type (a universal supertype) or a logical "true" state. LaTeX users can render this symbol using the \top command.

Read full meaning article

Tags

LaTeX top T symbol logic \top boolean algebra boolean true down tack formal logic greatest element lattice theory logic logical true mathematics tautology top top element true truth value verum

Related Symbols

± Plus Minus Sign × Multiplication Sign ÷ Division Sign ≠ Not Equal To ≈ Approximately Equal To ∞ Infinity √ Square Root ∑ Summation ∫ Integral π Pi ≤ Less Than or Equal To ≥ Greater Than or Equal To