⊤
Down Tack
Embed This Widget
Add the script tag and a data attribute to embed this widget.
Embed via iframe for maximum compatibility.
<iframe src="https://symbolfyi.com/iframe/entity/down-tack/" width="420" height="400" frameborder="0" style="border:0;border-radius:10px;max-width:100%" loading="lazy"></iframe>Paste this URL in WordPress, Medium, or any oEmbed-compatible platform.
https://symbolfyi.com/entity/down-tack/Add a dynamic SVG badge to your README or docs.
[](https://symbolfyi.com/entity/down-tack/)Use the native HTML custom element.
22A4 · Mathematical Operators · Zyyy
About Down Tack
Logical symbol (U+22A4) from the Mathematical Operators block representing verum (logical true) or the top element in a lattice. Also known as the tee symbol, used in type theory and database operations.
On this page
Encodings
| Unicode | U+22A4 | |
| HTML Decimal | ⊤ | |
| HTML Hex | ⊤ | |
| CSS | \22A4 | |
| JavaScript | \u{22A4} | |
| Python | \u22a4 | |
| Java | \u22A4 | |
| UTF-8 | e2 8a a4 | |
| UTF-16 | 22 a4 | |
| URL Encoded | %E2%8A%A4 |
Unicode Properties
Block
Mathematical Operators
Script
Zyyy
Category
Math Symbol (Sm)
Bidirectional
ON
Similar Symbols
Compare
Related Symbols
Frequently Asked Questions
What is the ⊤ Down Tack symbol?
⊤ is the Down Tack symbol, encoded at Unicode 22A4.
What is the Unicode codepoint of Down Tack?
The Down Tack symbol (⊤) has codepoint 22A4.
How do I type or copy Down Tack?
Copy ⊤ directly, or use the HTML entity, CSS, JavaScript, and Python encodings shown on this page.