⊨
Double Turnstile Symbol (⊨)
Copy the Double 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?
⊨ (double turnstile) means “models” or “semantically entails” in logic. Its official Unicode name is TRUE.
Codes and properties
| Character | ⊨ |
|---|---|
| Unicode name | TRUE |
| Code point | U+22A8 |
| Decimal | 8872 |
| Unicode block | Mathematical Operators |
| HTML entity | ⊨ · ⊨ |
| CSS | \22A8 |
| JavaScript / JSON | \u22A8 |
| Python | \u22A8 or \N{TRUE} |
| UTF-8 bytes | E2 8A A8 |
| 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
22A8then press Alt+X. In any app, Win+. opens the symbol panel. - Mac: switch to the Unicode Hex Input keyboard, hold Option and type
22A8; or press Ctrl+Cmd+Space and search “true”. - Linux (GTK/IBus): press Ctrl+Shift+U, type
22a8, 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 22A8 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.