U+2AE2 "⫢" Vertical Bar Triple Right Turnstile Unicode Character
Unicode Version 17.0
⫢
U+2AE2 "⫢" Vertical Bar Triple Right Turnstile is a mathematical symbol used primarily in formal logic and type theory to denote a specific kind of entailment or derivability relation that is stronger than the ordinary turnstile, often indicating a forced or necessary truth within a given system. It resembles a vertical bar with three horizontal strokes pointing to the right, and it appears in contexts where multiple conditions or premises are explicitly tied to a single conclusion, such as in sequent calculus or structural proof theory. This character helps to clarify complex logical relationships by visually encoding the number of dependencies or the nature of the derivation involved.
General Properties
| Code Point | U+2AE2 |
| Version Added | 3.2 |
| Name | Vertical Bar Triple Right Turnstile |
| Block | Supplemental Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
Encodings
| HTML Decimal Encoding | ⫢ |
| HTML Hex Encoding | ⫢ |
| UTF-8 Encoding | 0xE2 0xAB 0xA2 |
| UTF-16 Encoding | 0x2AE2 |
| UTF-32 Encoding | 0x00002AE2 |
| C/C++/Java Escape | \u2ae2 |
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 |