HTML Entity for Negated Double Vertical Bar Double Right (⊯)
What You'll Learn
How to display the Negated Double Vertical Bar Double Right symbol (⊯) in HTML using named, hexadecimal, decimal, and CSS escape methods. This character is U+22AF (NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE) in the Mathematical Operators block (U+2200–U+22FF)—a turnstile-style relation used in modal logic and formal proof theory.
Render it with the named entity ⊯, ⊯, ⊯, or CSS escape \22AF. The HTML entity name nVDash is the standard shorthand for this long Unicode character name.
⚡ Quick Reference — nVDash
U+22AFMathematical Operators
⊯Hexadecimal reference
⊯Decimal reference
⊯Most readable in logic markup
Name Value
──────────── ──────────
Unicode U+22AF
Hex code ⊯
HTML code ⊯
Named entity ⊯
CSS code \22AF
Meaning Negated double vertical bar double right turnstile
Related U+22A8 = forces (⊨, ⊩)
U+22AD = not provable (⊭)Complete HTML Example
This example demonstrates ⊯ using hexadecimal code, decimal HTML code, the named entity, and a CSS content escape:
<!DOCTYPE html>
<html>
<head>
<style>
#point::after{
content: "\22AF";
}
</style>
</head>
<body>
<p>nVDash using Hexadecimal: ⊯</p>
<p>nVDash using HTML Code: ⊯</p>
<p>nVDash using Named Entity: ⊯</p>
<p id="point">nVDash using CSS Entity: </p>
</body>
</html>🌐 Browser Support
U+22AF is widely supported wherever Unicode Mathematical Operators render correctly:
👀 Live Preview
See ⊯ in modal logic and proof-theory contexts:
🧠 How It Works
Named Entity
⊯ is the HTML named entity for U+22AF—the most readable choice when writing modal logic and proof-theory markup.
Hexadecimal Code
⊯ uses the Unicode hexadecimal value 22AF. The x prefix indicates hexadecimal format.
Decimal HTML Code
⊯ uses the decimal Unicode value 8879 to display the same character.
CSS Entity
\22AF is used in CSS stylesheets, particularly in the content property of pseudo-elements like ::before and ::after.
Same visual result
All four methods produce: ⊯. Unicode U+22AF in Mathematical Operators. Related turnstiles: ⊨ (⊩), ⊭ (not provable).
Use Cases
The ⊯ symbol (⊯) is commonly used in:
Kripke semantics and accessibility relations in web-based logic notes.
Sequent calculus and formal derivability notation.
Logic textbooks, papers, and lecture slides published as HTML.
Formal methods courses and interactive logic tutorials.
Unicode charts and HTML entity documentation for turnstile symbols.
Philosophy of logic and formal semantics explainers on the web.
💡 Best Practices
Do
- Use
⊯for readable logic markup - Pair ⊯ with plain-language description on first use
- Use fonts that cover Mathematical Operators (Cambria Math, etc.)
- Add
aria-labelfor standalone turnstile symbols - Serve pages with UTF-8 (
<meta charset="utf-8">)
Don’t
- Confuse ⊯ with ⊭ (not provable) or ⊨ (forces)
- Use padded Unicode notation like U+022AF—the correct value is
U+22AF - Put CSS escape
\22AFin HTML text nodes - Assume HTML entities perform logical evaluation
- Rely on the glyph alone without accessible description
Key Takeaways
Three HTML references plus CSS all render ⊯
⊯ ⊯ ⊯For CSS stylesheets, use the escape in the content property
\22AFUnicode U+22AF — NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
Mathematical Operators block (U+2200–U+22FF)
⊯ is the preferred named entity for readable source markup
❓ Frequently Asked Questions
⊯ (named), ⊯ (hex), ⊯ (decimal), or \22AF in CSS content. All produce ⊯.U+22AF (NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE). Mathematical Operators block (U+2200–U+22FF). Hex 22AF, decimal 8879. Named entity: ⊯.⊯, ⊯, or ⊯) go directly in markup. The CSS escape \22AF is used in stylesheets, typically in the content property of pseudo-elements. Same visual result, different layers of the stack.⊯ is the named HTML entity for U+22AF and is the most readable option in source markup.Explore More HTML Entities!
Discover 1500+ HTML character references — logic operators, math symbols, turnstiles, and more.
About the author
8 people found this page helpful