Double Vertical Bar Left Turnstile Symbol
⫣ is the Double Vertical Bar Left Turnstile symbol (Unicode U+2AE3).
U+2AE3
The symbol ⫣ is a mathematical operator glyph with a specific Unicode identity. It’s useful when you need a precise “turnstile” style mark in technical notation. Below you’ll find its meaning, copy options, and practical examples.
Double Vertical Bar Left Turnstile Symbol Meaning
⫣ is the Unicode character named “DOUBLE VERTICAL BAR LEFT TURNSTILE” (U+2AE3). In practice, it appears in mathematical or logic contexts where a turnstile-like relation is needed, often alongside other operators to express derivations, entailment, or structured statements. The double vertical bars suggest a variant or stronger/paired form compared to simpler turnstile symbols. Because it has a dedicated Unicode code point, it’s a good choice when you want consistency across fonts, documents, and code—especially in typesetting systems that support Unicode math symbols.
Common uses
- •Math and logic writing to denote a turnstile-style relation
- •Typesetting in documents that require the exact Unicode character U+2AE3
- •Designer-created mathematical diagrams where a precise glyph is needed
- •Programming technical text (e.g., specs or documentation) that must preserve symbol identity
- •Social or educational posts about formal systems using correct Unicode symbols
Examples
⫣ Double Vertical Bar Left Turnstile
- ⫣A ⫣ B means the statement is accepted under the stated conditions.
- ⫣Γ ⫣ φ is listed in the formal system’s ruleset.
- ⫣We mark the boundary of a derivation with ⫣ in the notation.
- ⫣In the proof schema, the left turnstile variant is written as ⫣.
- ⫣The exercise asks students to replace the symbol with ⫣.
Variations
Ready to copy
Technical codes
| Unicode | U+2AE3 | |
| HTML Entity | ⫣ | |
| HTML Code | ⫣ | |
| CSS | \2AE3 |
FAQ
What does the Double Vertical Bar Left Turnstile symbol mean?
⫣ is the Unicode character named “DOUBLE VERTICAL BAR LEFT TURNSTILE” (U+2AE3). In practice, it appears in mathematical or logic contexts where a turnstile-like relation is needed, often alongside other operators to express derivations, entailment, or structured statements. The double vertical bars suggest a variant or stronger/paired form compared to simpler turnstile symbols. Because it has a dedicated Unicode code point, it’s a good choice when you want consistency across fonts, documents, and code—especially in typesetting systems that support Unicode math symbols.
What is the Unicode code point for ⫣?
⫣ is Unicode U+2AE3 (named “DOUBLE VERTICAL BAR LEFT TURNSTILE”).
How can I copy ⫣ into HTML?
Use the HTML entity: ⫣
What escape sequences can I use in code?
CSS escape: \\2AE3 and JavaScript escape: \\u{2AE3}.
Is ⫣ the same as a standard turnstile symbol?
No. ⫣ specifically includes “double vertical bars” and has its own distinct Unicode character identity.