U+22A3 "⊣" Left Tack Unicode Character
Unicode Version 17.0
⊣
U+22A3 "⊣" Left Tack is a mathematical symbol that typically denotes the "proves" or "entails" relation in logic, specifically representing logical consequence where the symbol points to the right, indicating that the statement on its left side implies or proves the statement on its right side, and it is the mirror image of the "right tack" or "turnstile" symbol (⊢).
General Properties
| Code Point | U+22A3 |
| Version Added | 1.1 |
| Name | Left Tack |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⊢" U+22A2 Right Tack |
Encodings
| HTML Decimal Encoding | ⊣ |
| HTML Hex Encoding | ⊣ |
| UTF-8 Encoding | 0xE2 0x8A 0xA3 |
| UTF-16 Encoding | 0x22A3 |
| UTF-32 Encoding | 0x000022A3 |
| C/C++/Java Escape | \u22a3 |
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 |