HTML Entity for Negated Double Vertical Bar Double Right (⊯)
Beginner
5 min read
Updated: Sep 2026
1 example
Unicode U+22AF
Definition
What Is the Negated Double Vertical Bar Double Right Entity?
Negated Double Vertical Bar Double Right (⊯) is the turnstile-style relation at Unicode U+22AF. HTML5 provides ⊯ — the short name for this long character. Used in modal logic and proof theory.
Remember
Character ⊯
Unicode U+22AF
Named entity ⊯
Hex entity ⊯
Decimal ⊯
CSS escape \22AF
Named, hex, decimal, CSS, and a typed character all produce the same glyph: ⊯.
Using Named Entity: ⊯
Using Hex Code: ⊯
Using HTML Code: ⊯
Using CSS Entity: ⊯
Formula: Γ ⊯ φ
How It Works
1. Named:⊯ is the clearest HTML form and renders ⊯.
2. Hex:U+22AF → ⊯ in HTML. Same result as the named entity.
3. Decimal: same code point as 8879 → ⊯. Same result as hex and named.
4. CSS: use \22AF in content (not an HTML entity). #point::after appends that ⊯ after the paragraph text.
Pitfalls & Tips
Common mistakes when working with this turnstile symbol.
Prefer
Use ⊯
The named form is clearer than numeric references and is defined in HTML5.
Case
Watch the capital V
The entity is ⊯ (capital V). Wrong casing may fail.
vs ⊬
Not every turnstile
Other negated turnstiles exist (e.g. ⊬). Use U+22AF when you need this specific glyph.
CSS vs HTML
Do not mix escapes
\22AF belongs in CSS. ⊯ / ⊯ / ⊯ belong in HTML.
Encoding
Declare UTF-8
If you type ⊯ directly, keep <meta charset="UTF-8"> so the file is not misread.
Semicolon
End references
Always finish with ; — write ⊯, not &nVDash.
Compatibility
Browser Support
Negated Double Vertical Bar Double Right (U+22AF) and its entity forms (⊯, ⊯, ⊯, CSS \\22AF) are supported in all mainstream browsers with a Unicode-capable font.
✓ Universal support
nVDash (⊯)
Encode with named, hex, decimal, or CSS escape — or type ⊯ directly in UTF-8 HTML.
100%Browser coverage
Google ChromeSupported
Yes
Microsoft EdgeSupported
Yes
Mozilla FirefoxSupported
Yes
Apple SafariSupported
Yes
OperaSupported
Yes
Internet ExplorerIE 9+
Yes*
U+22AF / ⊯Full support
Bottom line: Prefer ⊯ in math HTML. Use \\22AF only inside CSS content.
Remember
Key Takeaways
Unicode: this symbol is U+22AF (decimal 8879).
HTML: prefer ⊯.
CSS: use \22AF inside content for generated text.
Name tip: remember nVDash instead of the full Unicode title.
One line:U+22AF → prefer ⊯ (also ⊯ / CSS \22AF).
Frequently Asked Questions
Use ⊯ (named), ⊯ (hex), ⊯ (decimal), or the CSS escape \22AF in the content property. All render ⊯. Prefer ⊯ in math HTML.
U+22AF (NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE). Hex 22AF, decimal 8879. It belongs to the Mathematical Operators block.
Yes. HTML5 defines ⊯ for ⊯.
Use it in modal logic and formal proof theory when writing a negated double vertical bar double right turnstile relation.
HTML entities (⊯, ⊯, or ⊯) go in markup. The CSS escape \22AF is used in stylesheets (usually in the content property of ::before/::after). Both render ⊯.
nVDash is the short HTML entity name for this long Unicode character. Prefer ⊯ over memorizing ⊯.
🤔
Did you know?
Negated Double Vertical Bar Double Right is Unicode U+22AF (decimal 8879) — in Mathematical Operators. HTML5 provides ⊯. It is a negated turnstile-style relation used in modal logic and proof theory. Related: NAND (⊼), subset relations such as ⊈ (⊈).
