U+22AF · Math symbol
HTML entity
⊯
LaTeX
\nVDash
Negated Double Vertical Bar Double Right Turnstile Symbol ⊯
⊯ is negated double vertical bar double right turnstile, U+22AF. Unicode records it as a compatibility form of ⊯. It was added in Unicode 1.1, and Unicode files it under Math symbol.
Codes & technical data
| Unicode | U+22AF | |
|---|---|---|
| HTML hex | ⊯ | |
| HTML decimal | ⊯ | |
| CSS | \22AF | |
| JavaScript | \u{22AF} | |
| Python | \U000022AF | |
| Java / C# | \u22AF | |
| Rust | \u{22af} | |
| Swift | \u{22AF} | |
| PHP | \u{22AF} | |
| URL encoded | %E2%8A%AF | |
| UTF-8 bytes | E2 8A AF | |
| UTF-16 bytes | 22AF | |
| Base64 | 4oqv | |
| Decimal | 8879 | |
| HTML entity | ⊯ | |
| LaTeX | \nVDash | |
| Decomposes to | ⊯ | |
| Category | Math symbol (Sm) | |
| Introduced | Unicode 1.1 | |
Will ⊯ survive being pasted?
- Normalisation. Yes. ⊯ is unchanged by NFKC, so it survives normalising systems intact.
- Legacy encodings. ⊯ is Unicode-only — it has no Latin-1 equivalent, so a system stuck on an 8-bit encoding cannot represent it.
- Size. 3 bytes in UTF-8. Character-limited fields — SMS, bios, some form validators — usually count bytes, not characters.
Other turnstile characters
Unicode names 7 characters ending in “turnstile”. They differ by direction, weight or decoration rather than by meaning.
Nearby in Mathematical Operators
The operators mathematics and programming share — set theory, logic, calculus, comparison. Almost every character here has a LaTeX command, which is usually the fastest way to name the one you mean.
How to type ⊯
| Windows | Type 22AF then press Alt+X |
|---|---|
| macOS | Press Ctrl+Cmd+Space, then search for “negated double vertical bar double right turnstile” |
| Linux | Press Ctrl+Shift+U, type 22af, press Enter |
| HTML | ⊯ |
About Unicode’s Math symbol category
Unicode classifies this as a mathematical symbol, which means software that lays out formulas treats it as an operator or relation and gives it spacing accordingly, rather than setting it tight against its neighbours like a letter.
Frequently asked questions
- How do I type the ⊯ negated double vertical bar double right turnstile symbol?
- On Windows, type 22AF and press Alt+X. On Linux press Ctrl+Shift+U then 22af. On any system the quickest route is the copy button on this page.
- What is the code for ⊯?
- Negated Double Vertical Bar Double Right Turnstile is U+22AF, written in HTML as ⊯ and in LaTeX as \nVDash. In UTF-8 it takes 3 bytes. The table above lists every escape format.
- What kind of character is ⊯?
- Negated Double Vertical Bar Double Right Turnstile is filed under Math symbol in the Mathematical Operators block, and was introduced in Unicode 1.1. Unicode classifies this as a mathematical symbol, which means software that lays out formulas treats it as an operator or relation and gives it spacing accordingly, rather than setting it tight against its neighbours like a letter.