U+22A4 Down Tack
U+22A4 was added to Unicode in version 1.1 (1993). It belongs to the block
This character is a Math Symbol and is commonly used, that is, in no specific script. The character is also known as top.
The glyph is not a composition. It has a Neutral East Asian Width. In bidirectional context it acts as Other Neutral and is not mirrored. The glyph can, under circumstances, be confused with 1 other glyphs. In text U+22A4 behaves as Alphabetic regarding line breaks. It has type Other for sentence and Other for word breaks. The Grapheme Cluster Break is Any.
The Wikipedia has the following information about this codepoint:
The tee (⊤, op in LaTeX) also called down tack (as opposed to the up tack) or verum is a symbol used to represent:
- The top element in lattice theory.
- The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true. By definition, every tautology is logically equivalent to the verum.
- The top type in type theory.
- Mixed radix encoding in the APL programming language.
A similar-looking superscript T may be used to mean the transpose of a matrix.
Representations
System | Representation |
---|---|
Nº | 8868 |
UTF-8 | E2 8A A4 |
UTF-16 | 22 A4 |
UTF-32 | 00 00 22 A4 |
URL-Quoted | %E2%8A%A4 |
HTML hex reference | ⊤ |
Wrong windows-1252 Mojibake | ⊤ |
HTML named entity | ⊤ |
HTML named entity | ⊤ |
alias | top |
LATEX | \top |
Adobe Glyph List | tackdown |
Related Characters
Confusables
Elsewhere
Complete Record
Property | Value |
---|---|
1.1 (1993) | |
DOWN TACK | |
— | |
Mathematical Operators | |
Math Symbol | |
Common | |
Other Neutral | |
Not Reordered | |
None | |
|
|
✘ | |
|
|
|
|
✘ | |
|
|
|
|
|
|
|
|
|
|
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
Any | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
0 | |
0 | |
0 | |
✘ | |
None | |
— | |
NA | |
Other | |
— | |
✘ | |
✘ | |
✔ | |
✘ | |
Yes | |
Yes | |
|
|
Yes | |
|
|
Yes | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
Other | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
Other | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
None | |
Neutral | |
Not Applicable | |
— | |
No_Joining_Group | |
Non Joining | |
Alphabetic | |
None | |
not a number | |
|
|
R |