⊤

Math Operator 161

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
Alt+8868 on numeric keypad, or type 22A4 followed by Alt+X in Microsoft Word
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