Down Tack
Part of Math Symbols
Down Tack has no standard Windows Alt code. Copy the character directly, or use its HTML entity or Unicode value instead.
- Alt code
- None
- HTML entity
- ⊤
- Unicode
- U+22A4
About this symbol
⊤, the down tack, stands for “true”, or top, in logic, the partner of ⊥, false. Computer scientists also use it for the top type, the type that every value belongs to.
Unicode facts
- Official name
- DOWN TACK
- Also called
- Top
- Type
- Maths symbol
- Unicode block
- Mathematical Operators
- Unicode group
- Miscellaneous mathematical symbols
- Added in
- Unicode 1.1 (1993)
Click the symbol or any value at the top of the page to copy it. See the full Math Symbols chart for related characters.