Triple Vertical Bar Right Turnstile Symbol
⊪ is the “triple vertical bar right turnstile” symbol used as a distinctive math/logic mark.
U+22AA
⊪ (U+22AA) is a specialized symbol name: triple vertical bar right turnstile. It’s most commonly seen in technical notation where a “turnstile” style delimiter is needed. This page helps you copy it reliably using multiple code formats.
Triple Vertical Bar Right Turnstile Symbol Meaning
The “turnstile” family of symbols often appears in formal logic and mathematical typography as a delimiter or relational-style marker between expressions. ⊪ specifically is named “TRIPLE VERTICAL BAR RIGHT TURNSTILE,” combining three vertical bars with a right-facing turnstile. In practice, it’s used when a designer or author needs a distinct glyph that visually signals a structured relationship or proof/derivation boundary. Because it’s a Unicode math character, it’s best for fonts and contexts that support U+22AA; otherwise, consider fallback formatting or a related symbol with broader support.
Common uses
- •Labeling a logic or proof transition in math notes or textbooks
- •Designing diagram notation for formal systems and rule-based structures
- •Marking a delimiter in structured equations where a turnstile is required
- •Creating typographic templates for technical writing and documentation
- •Using in math-themed UI text/icons to indicate “judgment” or “derivation boundary”
Examples
⊪ Triple Vertical Bar Right Turnstile
- ⊪A ⊪ B
- ⊪Γ ⊪ Δ
- ⊪Premise ⊪ Conclusion
- ⊪Set1 ⊪ Set2 in a derivation step
- ⊪Rules: R1 ⊪ R2
Variations
Ready to copy
Technical codes
| Unicode | U+22AA | |
| HTML Entity | ⊪ | |
| HTML Code | ⊪ | |
| CSS | \22AA | |
| Alt Code | Alt + 8874 | |
| Decimal | 8874 |
How to type Triple Vertical Bar Right Turnstile Symbol (⊪)
On Windows
Hold Alt and type 8874 on the numeric keypad. In Word, type 22AA then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 22AA. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 22aa, 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 Triple Vertical Bar Right Turnstile symbol mean?
The “turnstile” family of symbols often appears in formal logic and mathematical typography as a delimiter or relational-style marker between expressions. ⊪ specifically is named “TRIPLE VERTICAL BAR RIGHT TURNSTILE,” combining three vertical bars with a right-facing turnstile. In practice, it’s used when a designer or author needs a distinct glyph that visually signals a structured relationship or proof/derivation boundary. Because it’s a Unicode math character, it’s best for fonts and contexts that support U+22AA; otherwise, consider fallback formatting or a related symbol with broader support.
What Unicode character is ⊪?
⊪ is Unicode U+22AA, named “TRIPLE VERTICAL BAR RIGHT TURNSTILE.”
How can I copy ⊪ into HTML?
Use the HTML entity: ⊪.
What CSS or JavaScript escapes can I use?
CSS escape: \\22AA. JavaScript (Unicode code point escape): \\u{22AA}.
Will ⊪ display correctly in all fonts?
It depends on font support for U+22AA. If it doesn’t render, try a Unicode-capable math font or a related turnstile-style symbol.