U+2AE3 "⫣" Double Vertical Bar Left Turnstile Unicode Character
Unicode Version 17.0
U+2AE3 "⫣" Double Vertical Bar Left Turnstile is a typographical symbol primarily used in formal logic and mathematics to denote a specific kind of logical or metalogical relation. It typically represents the assertion that a proposition on its right is a logical consequence or theorem derivable under a set of assumptions or a formal system, with the double vertical bar emphasizing a stronger or non-classical type of entailment, such as in relevance logic or substructural logics. Unlike the more common single turnstile (⊢), this double-bar variant can indicate a modified deduction or a relation within proof theory that resists certain structural rules. Its appearance features two parallel vertical strokes intersecting a horizontal arm extending to the left, distinguishing it visually from similar symbols like the right turnstile or double vertical bar with other orientations.
General Properties
Encodings
| HTML Decimal Encoding |
⫣ |
| HTML Hex Encoding |
⫣ |
| UTF-8 Encoding |
0xE2 0xAB 0xA3 |
| UTF-16 Encoding |
0x2AE3 |
| UTF-32 Encoding |
0x00002AE3 |
| C/C++/Java Escape |
\u2ae3 |
Unicode Properties