⊢
Turnstile Symbol (⊢)
Copy the 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?
⊢ (turnstile) means “proves” or “entails syntactically” in logic: Γ ⊢ φ. Its official Unicode name is RIGHT TACK.
Codes and properties
| Character | ⊢ |
|---|---|
| Unicode name | RIGHT TACK |
| Code point | U+22A2 |
| Decimal | 8866 |
| Unicode block | Mathematical Operators |
| HTML entity | ⊢ · ⊢ |
| CSS | \22A2 |
| JavaScript / JSON | \u22A2 |
| Python | \u22A2 or \N{RIGHT TACK} |
| UTF-8 bytes | E2 8A A2 |
| LaTeX | \vdash |
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
22A2then press Alt+X. In any app, Win+. opens the symbol panel. - Mac: switch to the Unicode Hex Input keyboard, hold Option and type
22A2; or press Ctrl+Cmd+Space and search “right tack”. - Linux (GTK/IBus): press Ctrl+Shift+U, type
22a2, then Space. - HTML:
⊢renders as ⊢. - LaTeX:
\vdashin math mode (amssymb package for some symbols).
Frequently asked questions
How do I type ⊢ on Windows?
In Microsoft Word type 22A2 and press Alt+X. In any app press Win+. to open the symbol panel, or copy ⊢ from this page.
What is the HTML code for ⊢?
Use ⊢ (hex) or ⊢ (decimal).
What is the LaTeX command for ⊢?
Use \vdash in math mode.