Double Vertical Bar Double Right Turnstile Symbol
⊫ (U+22AB) is the double vertical bar double right turnstile symbol used in formal, symbolic writing.
U+22AB
The symbol ⊫ is a specialized mathematical character. It’s useful when you need a clear “turnstile” style operator in text, fonts, or diagrams. Below are copy options and practical ways to use it.
Double Vertical Bar Double Right Turnstile Symbol Meaning
⊫ is Unicode character U+22AB, named “DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE.” As a turnstile-style symbol, it visually resembles an operator used to express relations in formal notation (often in contexts where proofs, entailment-like statements, or structural relationships are written). Because this symbol is niche, it’s most commonly used directly as a typographic element in mathematical and logic documents rather than as a general-purpose punctuation mark. If you’re typesetting with Unicode or designing math text, it helps to rely on the exact code point so it renders consistently across platforms.
Common uses
- •Use in math or logic notes as a turnstile-style operator within equations or proof-style text.
- •Include in technical documentation where a specific symbolic relation needs to be represented precisely.
- •Add to diagram labels or flow/constraint descriptions that require formal math typography.
- •Paste into LaTeX/Unicode-capable documents to keep consistent symbol rendering (Unicode U+22AB).
- •Use in educational materials or worksheets that require a specific logical operator glyph.
Examples
⊫ Double Vertical Bar Double Right Turnstile
- ⊫Γ ⊢ φ and Γ ⊫ ψ
- ⊫From A ⊫ B, conclude the desired property
- ⊫Use ⊫ in the proof sketch for the implication step
- ⊫Check the rule written with ⊫ between the two expressions
- ⊫The statement is marked as derivable using ⊫
Variations
Ready to copy
Technical codes
| Unicode | U+22AB | |
| HTML Entity | ⊫ | |
| HTML Code | ⊫ | |
| CSS | \22AB |
FAQ
What does the Double Vertical Bar Double Right Turnstile symbol mean?
⊫ is Unicode character U+22AB, named “DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE.” As a turnstile-style symbol, it visually resembles an operator used to express relations in formal notation (often in contexts where proofs, entailment-like statements, or structural relationships are written). Because this symbol is niche, it’s most commonly used directly as a typographic element in mathematical and logic documents rather than as a general-purpose punctuation mark. If you’re typesetting with Unicode or designing math text, it helps to rely on the exact code point so it renders consistently across platforms.
What Unicode character is ⊫?
⊫ is the Unicode character U+22AB, named “DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE.”
How can I copy ⊫ into my document?
Copy the symbol directly from this page. You can also use the HTML entity ⊫ or the code point U+22AB depending on your tool.
Will ⊫ look the same on all devices?
Most modern systems render Unicode math symbols well, but appearance can vary by font. Using a Unicode-capable math font in your document can improve consistency.
Is ⊫ commonly used outside math and logic?
It’s primarily used in formal or mathematical writing because it’s a specialized glyph rather than general punctuation.