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 |
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.