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 | |
| Alt Code | Alt + 8875 | |
| Decimal | 8875 |
How to type Double Vertical Bar Double Right Turnstile Symbol (⊫)
On Windows
Hold Alt and type 8875 on the numeric keypad. In Word, type 22AB then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 22AB. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 22ab, then press Enter or Space.
Anywhere
Copy ⊫ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
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.