⊥
Math Operator 162
- Unicode
- U+22A5
- Category
- Math
- HTML Entity
- ⊥
- CSS
- \22A5
The ⊥ symbol, officially known in Unicode as the "Up Tack," is most widely recognized in mathematics as the perpendicular sign, indicating that two lines intersect at a 90-degree angle. In logic and lattice theory, it serves as the "bottom" element, representing absolute falsity or the lowest value in a structured set. While primarily used in academic papers and technical documentation, it occasionally pops up in text-based emoticons to represent a nose or a tiny table.
How to Type
- Windows
- Alt+8869 or type 22A5 then press Alt+X
- macOS
- Control+Command+Space then search "perpendicular" or "up tack"
- Linux
- Ctrl+Shift+U then 22A5
- HTML
- ⊥
In Programming
In LaTeX, this symbol is generated using \perp for geometry or \bot for logic to represent the boolean "false" state. It also appears in type theory to denote an undefined or bottom type.
Tags
90 degree angle
LaTeX perp
\perp
boolean false
bottom
bottom element
false
falsity
falsum
formal logic
geometry symbol
lattice bottom
logic
logical false
mathematics
perpendicular
perpendicular lines
perpendicular sign
right angle symbol
text emoticon nose
up tack