U+2AE5 "⫥" Double Vertical Bar Double Left Turnstile Unicode Character
Unicode Version 17.0
⫥
U+2AE5 "⫥" Double Vertical Bar Double Left Turnstile is a mathematical symbol used primarily in formal logic and type theory to denote a specific kind of semantic entailment or derivability relation. It visually resembles a double vertical bar with two horizontal lines extending to the left, suggesting a bidirectional or double-sided turnstile that indicates a stronger or more symmetric logical connection than a single turnstile. This character is part of the Supplemental Mathematical Operators block, aiding in precise notation for advanced logical systems and computer science applications such as lambda calculus or category theory.
General Properties
| Code Point | U+2AE5 |
| Version Added | 3.2 |
| Name | Double Vertical Bar Double Left Turnstile |
| Block | Supplemental Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⊫" U+22AB Double Vertical Bar Double Right Turnstile |
Encodings
| HTML Decimal Encoding | ⫥ |
| HTML Hex Encoding | ⫥ |
| UTF-8 Encoding | 0xE2 0xAB 0xA5 |
| UTF-16 Encoding | 0x2AE5 |
| UTF-32 Encoding | 0x00002AE5 |
| C/C++/Java Escape | \u2ae5 |
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 |