U+22A5 "⊥" Up Tack Unicode Character

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.