U+22A5 "⊥" Up Tack Unicode Character
Unicode Version 17.0
⊥
U+22A5 "⊥" Up Tack is a mathematical symbol that represents perpendicularity in geometry, as in the expression "a ⊥ b" meaning line a is perpendicular to line b. It is also widely used in logic and lattice theory to denote the bottom element, contradiction, or logical falsehood, often called "falsum" or "bottom." The symbol appears in set theory, type theory, and computer science to indicate the least element in a partially ordered set or a type with no inhabitants, and it is visually distinct from the similar-looking "T" (top) symbol, U+22A4, which it often complements.
General Properties
| Code Point | U+22A5 |
| Version Added | 1.1 |
| Name | Up Tack |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
Encodings
| HTML Decimal Encoding | ⊥ |
| HTML Hex Encoding | ⊥ |
| UTF-8 Encoding | 0xE2 0x8A 0xA5 |
| UTF-16 Encoding | 0x22A5 |
| UTF-32 Encoding | 0x000022A5 |
| C/C++/Java Escape | \u22a5 |