⊯
Negated Double Vertical Bar Double Right Turnstile Symbol (⊯)
Copy the Negated Double Vertical Bar Double 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?
⊯ (Negated Double Vertical Bar Double Right Turnstile, U+22AF) belongs to the Unicode Mathematical Operators block. It is the negated form of ⊫ (double vertical bar double right turnstile): a slash through a relation symbol means the relation does not hold.
Codes and properties
| Character | ⊯ |
|---|---|
| Unicode name | NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE |
| Code point | U+22AF |
| Decimal | 8879 |
| Unicode block | Mathematical Operators |
| HTML entity | ⊯ · ⊯ |
| CSS | \22AF |
| JavaScript / JSON | \u22AF |
| Python | \u22AF or \N{NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE} |
| UTF-8 bytes | E2 8A AF |
| LaTeX | \nVDash |
| Decomposition | ⊫ (U+22AB) + ̸ (U+0338) |
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
22AFthen press Alt+X. In any app, Win+. opens the symbol panel. - Mac: switch to the Unicode Hex Input keyboard, hold Option and type
22AF; or press Ctrl+Cmd+Space and search “negated double vertical bar double right turnstile”. - Linux (GTK/IBus): press Ctrl+Shift+U, type
22af, then Space. - HTML:
⊯renders as ⊯. - LaTeX:
\nVDashin math mode (amssymb package for some symbols).
Frequently asked questions
How do I type ⊯ on Windows?
In Microsoft Word type 22AF 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 \nVDash in math mode.