⊤
Down Tack Symbol (⊤)
Copy the Down Tack symbol ⊤ to your clipboard, and see its Unicode code point, HTML entity, LaTeX command and how to type it on any device.
What does ⊤ mean?
⊤ (top) denotes truth or the top element of a lattice. Its official Unicode name is DOWN TACK.
Codes and properties
| Character | ⊤ |
|---|---|
| Unicode name | DOWN TACK |
| Code point | U+22A4 |
| Decimal | 8868 |
| Unicode block | Mathematical Operators |
| HTML entity | ⊤ · ⊤ |
| CSS | \22A4 |
| JavaScript / JSON | \u22A4 |
| Python | \u22A4 or \N{DOWN TACK} |
| UTF-8 bytes | E2 8A A4 |
| LaTeX | \top |
How to type ⊤
- Copy & paste: press the Copy button above, then paste ⊤ anywhere — Word, Google Docs, email, chat or code.
- Windows (Word, WordPad, Outlook): type
22A4then press Alt+X. In any app, Win+. opens the symbol panel. - Mac: switch to the Unicode Hex Input keyboard, hold Option and type
22A4; or press Ctrl+Cmd+Space and search “down tack”. - Linux (GTK/IBus): press Ctrl+Shift+U, type
22a4, then Space. - HTML:
⊤renders as ⊤. - LaTeX:
\topin math mode (amssymb package for some symbols).
Frequently asked questions
How do I type ⊤ on Windows?
In Microsoft Word type 22A4 and press Alt+X. In any app press Win+. to open the symbol panel, or copy ⊤ from this page.
What is the HTML code for ⊤?
Use ⊤ (hex) or ⊤ (decimal).
What is the LaTeX command for ⊤?
Use \top in math mode.