The ⊥ (Up Tack / Perpendicular) Symbol Explained
The ⊥ (Up Tack) symbol is a mathematical operator most commonly used in geometry to represent perpendicular lines. In logic and computer science, it stands for a false statement, contradiction, or the "bottom" element in a system. Beyond its strict academic definitions, this simple upside-down "T" shape frequently pops up in internet text faces (kaomoji) to represent a nose or a flat, unamused mouth.
In the Unicode Standard, the ⊥ symbol lives at code point U+22A5 within the Mathematical Operators block. Officially named "Up Tack," its mathematical origins date back to early geometry, where it visually demonstrates two lines meeting at a perfect 90-degree angle. Over time, logicians adopted the shape to represent "falsum" or a contradiction, contrasting with the "top" symbol (⊤) which represents absolute truth.
How you read the ⊥ symbol depends entirely on where you see it. In a geometry textbook, "AB ⊥ CD" means line segment AB is perpendicular to line segment CD. In formal logic and type theory, it indicates the "bottom type"—a computation that never successfully completes or a statement that is inherently false. On social media and messaging apps, the Up Tack drops its academic rigor. Creative keyboard users frequently rely on ⊥ to build classic kaomoji, using it as a blank, unbothered mouth or a tiny button nose in text faces like ( ￣⊥￣).
Inserting the ⊥ symbol requires a few quick shortcuts depending on your device. On Windows, you can use the Character Map or type 22A5 followed by Alt+X in Microsoft Word. Mac users can open the Character Viewer (Control + Command + Space) and search for "Up Tack" or "perpendicular." In HTML, you can display it using the entity code ⊥ or ⊥. For casual chatting, copy-pasting the symbol directly from a search result or symbol library remains the easiest method.
The Up Tack has a few geometric relatives in the Unicode standard. Its direct opposite is the Down Tack (⊤, U+22A4), which points downward and represents "top" or truth in logic. It also shares a visual simplicity with the Right Tack (⊢, U+22A2) and Left Tack (⊣, U+22A3), which are heavily used in formal logic to denote mathematical proofs. Finally, while it looks like an upside-down uppercase "T", the ⊥ symbol is distinct from standard alphabetic characters and guarantees proper spacing when used in mathematical equations.