Double Vertical Bar Double Left Turnstile Symbol
⫥ is the “double vertical bar double left turnstile” symbol with Unicode U+2AE5.
U+2AE5
⫥ is a Unicode math symbol in the “Math” category. It’s commonly encountered in specialized typography, especially in mathematical or logical contexts. This page helps you copy it reliably across platforms.
Double Vertical Bar Double Left Turnstile Symbol Meaning
⫥ is called “DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE” (Unicode U+2AE5). As a turnstile-style operator, it visually suggests a relation or entailment-like notation, often used in formal logic, proof systems, or other areas of mathematical typography. The symbol is primarily used when authors need a distinctive turnstile glyph beyond simpler vertical-bar turnstiles. Because exact meaning can depend on the surrounding notation, it’s best treated as a typographic operator: include it where your document or equation style specifies the “double” vertical bar and “double left turnstile” form.
Common uses
- •Writing formal logic or proof notes where a specific turnstile glyph is required
- •Typesetting equations in math-heavy documents and avoiding missing-symbol substitutions
- •Labeling inference or entailment steps in educational materials
- •Designing technical posters or slides that use consistent mathematical symbols
- •Creating or editing Unicode-based symbol sets for documentation and UI text
Examples
⫥ Double Vertical Bar Double Left Turnstile
- ⫥Let Γ ⫥ Δ denote the specified relation in this notation.
- ⫥We write A ⫥ B in the proof outline for the next step.
- ⫥The rule uses ⫥ to indicate a double-bar left turnstile operator.
- ⫥In the stylesheet, ⫥ is used for this particular entailment form.
- ⫥Substitute ⫥ wherever your reference notation calls for it.
Variations
Ready to copy
Technical codes
| Unicode | U+2AE5 | |
| HTML Entity | ⫥ | |
| HTML Code | ⫥ | |
| CSS | \2AE5 |
FAQ
What does the Double Vertical Bar Double Left Turnstile symbol mean?
⫥ is called “DOUBLE VERTICAL BAR DOUBLE LEFT TURNSTILE” (Unicode U+2AE5). As a turnstile-style operator, it visually suggests a relation or entailment-like notation, often used in formal logic, proof systems, or other areas of mathematical typography. The symbol is primarily used when authors need a distinctive turnstile glyph beyond simpler vertical-bar turnstiles. Because exact meaning can depend on the surrounding notation, it’s best treated as a typographic operator: include it where your document or equation style specifies the “double” vertical bar and “double left turnstile” form.
What is the Unicode code point for ⫥?
⫥ is Unicode U+2AE5.
How can I copy ⫥ as HTML?
Use the HTML entity: ⫥.
What CSS escape can I use for ⫥?
In CSS, you can use the escape: \\2AE5.
Does ⫥ have one universal meaning in math?
Not always. It’s best understood as a specific turnstile-style operator; the exact meaning depends on the surrounding notation or rules in your source.