Triple Vertical Bar Right Turnstile Symbol (⊪)
Copy the Triple Vertical Bar Right Turnstile symbol ⊪ to your clipboard, and see its Unicode code point, HTML entity, LaTeX command and how to type it on any device.
What does ⊪ mean?
⊪ (Triple Vertical Bar Right Turnstile, U+22AA) belongs to the Unicode Mathematical Operators block. It belongs to the family of tack and turnstile symbols used in mathematical logic and proof theory.
Codes and properties
| Character | ⊪ |
|---|---|
| Unicode name | TRIPLE VERTICAL BAR RIGHT TURNSTILE |
| Code point | U+22AA |
| Decimal | 8874 |
| Unicode block | Mathematical Operators |
| HTML entity | ⊪ · ⊪ |
| CSS | \22AA |
| JavaScript / JSON | \u22AA |
| Python | \u22AA or \N{TRIPLE VERTICAL BAR RIGHT TURNSTILE} |
| UTF-8 bytes | E2 8A AA |
| LaTeX | \Vvdash |
How to type ⊪
- Copy & paste: press the Copy button above, then paste ⊪ anywhere — Word, Google Docs, email, chat or code.
- Windows (Word, WordPad, Outlook): type
22AAthen press Alt+X. In any app, Win+. opens the symbol panel. - Mac (any symbol): switch to the Unicode Hex Input keyboard, hold Option and type
22AA; or press Ctrl+Cmd+Space and search “triple vertical bar right turnstile”. - Linux (GTK/IBus): press Ctrl+Shift+U, type
22aa, then Space. - HTML:
⊪renders as ⊪. - LaTeX:
\Vvdashin math mode (amssymb package for some symbols).
Frequently asked questions
How do I type ⊪ on Windows?
In Microsoft Word type 22AA and press Alt+X. In any app press Win+. to open the symbol panel, or copy ⊪ from this page.
How do I type ⊪ on a Mac?
Open the Character Viewer with Ctrl+Cmd+Space and search “triple vertical bar right turnstile”, or switch to Unicode Hex Input and hold Option while typing 22AA.
What is the HTML code for ⊪?
Use ⊪ (hex) or ⊪ (decimal).
What is the LaTeX command for ⊪?
Use \Vvdash in math mode.
Related symbols
Keep exploring
Reference: Unicode code chart: Mathematical Operators (U+2200–U+22FF)