Windows
2 options- In Word / Outlook: type 22A4 then press Alt + X.
- Anywhere: press Win + . to open the emoji & symbol picker, then search.
Down Tack Symbol
A symbol from the Math Symbols collection. Click the symbol or the button below to copy.
- Symbol
- ⊤
- Unicode
- U+22A4
- HTML entity
- ⊤
- Category
- Math Symbols
Export
Download Down Tack as a vector SVG or a raster PNG.
Preview
transparent background
Color applies to monochrome symbols; multicolor emoji keep their own colors. SVG uses the system font stack — open in any vector editor and convert to outlines if needed. PNGs have a transparent background.
69 of 96 in the math symbols collection
About the down tack symbol
In logic and mathematics, the down tack symbol denotes the logical constant true or a top element in a lattice or order theory, representing the greatest element of a partially ordered set. It appears in formal proofs, type theory, and computer science, where it contrasts with the up tack (⊥) used for false or bottom.
How to type Down Tack
Native keyboard shortcuts for each operating system — derived from the codepoint, so the steps below are always accurate.
macOS
2 options- Enable “Unicode Hex Input” in System Settings → Keyboard, then hold Option and type 22A4.
- Or: Control + Command + Space opens the Character Viewer — search by name.
Linux
1 step- Press Ctrl + Shift + U, type 22A4, then press Enter or Space.
Copy in every format
Every form of this character — for HTML, CSS, JavaScript, URLs and more. Click any value to copy.
Related math symbols
Other math symbols you can copy and paste — explore similar Unicode characters from the same family.
- +Plus SignCopy the plus sign symbol→
- −Minus SignCopy the minus sign symbol→
- ×Multiplication SignCopy the multiplication sign symbol→
- ÷Division SignCopy the division sign symbol→
- ±Plus-Minus SignCopy the plus-minus sign symbol→
- ∓Minus-Or-Plus SignCopy the minus-or-plus sign symbol→
- =Equals SignCopy the equals sign symbol→
- ≠Not Equal ToCopy the not equal to symbol→
- ≈Almost Equal ToCopy the almost equal to symbol→
- ≡Identical ToCopy the identical to symbol→
- ≤Less-Than Or Equal ToCopy the less-than or equal to symbol→
- ≥Greater-Than Or Equal ToCopy the greater-than or equal to symbol→
More math symbols
Explore related collections
Browse other symbol families that pair well with math symbols.