U+27D9 "⟙" Large down Tack Unicode Character
Unicode Version 17.0
⟙
U+27D9 "⟙" Large down Tack is a rarely used mathematical and logical symbol that represents the end of a proof or specific binary relations. It resembles an inverted uppercase "T" with a slightly oversized horizontal bar, pointing downward to indicate termination or a defined downward logical direction. While not common in standard prose, it appears in formal logic notation to denote a reversed turns tile relation or as a decoration in specialized technical contexts, maintaining a distinct visual role in the Unicode repertoire of arrows and relation symbols.
General Properties
| Code Point | U+27D9 |
| Version Added | 3.2 |
| Name | Large down Tack |
| Block | Miscellaneous Mathematical Symbols-A |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
Encodings
| HTML Decimal Encoding | ⟙ |
| HTML Hex Encoding | ⟙ |
| UTF-8 Encoding | 0xE2 0x9F 0x99 |
| UTF-16 Encoding | 0x27D9 |
| UTF-32 Encoding | 0x000027D9 |
| C/C++/Java Escape | \u27d9 |
Unicode Properties
| NFC Quick Check | Yes |
| NFD Quick Check | Yes |
| NFKC Quick Check | Yes |
| NFKD Quick Check | Yes |
| Numeric Type | None |
| Numeric Value | NaN |
| Line Break | Alphabetic |
| Script | Common |
| Script Extensions | Common |
| Indic Syllabic Category | Other |
| Pattern Syntax | Yes |
| Math | Yes |
| Vertical Orientation | Rotated |
| Grapheme Base | Yes |
| Grapheme Cluster Break | Other |
| Word Break | Other |
| Sentence Break | Other |