U+22A2 "⊢" Right Tack Unicode Character
Unicode Version 17.0
⊢
U+22A2 "⊢" Right Tack is a mathematical symbol known as the turnstile or assertion sign, primarily used in logic and formal systems to denote syntactic entailment or provability, indicating that a formula on the right can be derived from a set of premises on the left. It also appears in type theory to represent judgments, such as a typing context, and in certain programming language grammars as a separator. Its design resembles a short vertical line attached to the left end of a longer horizontal line, and it is distinct from the similar but reversed "⊣" Left Tack.
General Properties
| Code Point | U+22A2 |
| Version Added | 1.1 |
| Name | Right Tack |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⊣" U+22A3 Left Tack |
Encodings
| HTML Decimal Encoding | ⊢ |
| HTML Hex Encoding | ⊢ |
| UTF-8 Encoding | 0xE2 0x8A 0xA2 |
| UTF-16 Encoding | 0x22A2 |
| UTF-32 Encoding | 0x000022A2 |
| C/C++/Java Escape | \u22a2 |
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 |