HTML Entity for Double Vertical Bar Double Right Turnstile (⊫)

Beginner
⏱️ 5 min read
📚 Updated: Jun 2026
🎯 1 Code Example
Unicode U+22AB
HTML entity for Double Vertical Bar Double Right Turnstile (U+22AB) tutorial illustration

What You'll Learn

How to display the Double Vertical Bar Double Right Turnstile (⊫) in HTML using hexadecimal, decimal, the named entity ⊫, and CSS escape methods. This character is U+22AB (DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE) in the Mathematical Operators block (U+2200–U+22FF)—used in logic, proof theory, and sequent calculus.

Render it with ⊫, ⊫, ⊫, or CSS escape \22AB. For the standard turnstile use ⊢ (⊢, U+22A2); do not confuse ⊫ with ⊢ (case matters). See also assertion and math entities.

⚡ Quick Reference — Double Vertical Bar Double Right Turnstile

Unicode U+22AB

Mathematical Operators block

Hex Code ⊫

Hexadecimal reference

HTML Code ⊫

Decimal reference

Named Entity ⊫

HTML5 named entity for U+22AB

Reference Table
Name           Value
────────────   ──────────
Unicode        U+22AB
Hex code       ⊫
HTML code      ⊫
Named entity   ⊫
CSS code       \22AB
Related        U+22A2 = Turnstile (⊢); U+22A8 = True (⊨)
1

Complete HTML Example

This example demonstrates the Double Vertical Bar Double Right Turnstile (⊫) using hexadecimal code, decimal HTML code, the named entity ⊫, and a CSS content escape:

html
<!DOCTYPE html>
<html>
<head>
 <style>
  #point:after{
   content: "\22AB";
  }
 </style>
</head>
<body>
<p>Double Vertical Bar Double Right Turnstile using Hexadecimal: &#x22AB;</p>
<p>Double Vertical Bar Double Right Turnstile using HTML Code: &#8875;</p>
<p>Double Vertical Bar Double Right Turnstile using HTML Entity: &VDash;</p>
<p id="point">Double Vertical Bar Double Right Turnstile using CSS Entity: </p>
</body>
</html>
Try it Yourself

🌐 Browser Support

U+22AB is widely supported in modern browsers when rendered with a font that includes Mathematical Operators:

Chrome 1+
Firefox 1+
Safari 1+
Edge 12+
Opera 4+
Android 4.4+
iOS Safari 1+

👀 Live Preview

See the Double Vertical Bar Double Right Turnstile (⊫) in mathematical notation:

Large glyph ⊫
Sequent notation Γ ⊫ φ
vs turnstile ⊫   ⊢
Named entity &VDash; → ⊫
All HTML refs &#x22AB; &#8875; &VDash;
CSS escape \22AB

🧠 How It Works

1

Hexadecimal Code

&#x22AB; uses the Unicode hexadecimal value 22AB to display the Double Vertical Bar Double Right Turnstile. The x prefix indicates hexadecimal format.

HTML markup
2

Decimal HTML Code

&#8875; uses the decimal Unicode value 8875 to display the same character.

HTML markup
3

Named HTML Entity

&VDash; is the HTML5 named entity for U+22AB. It is easy to read in source and resolves to the same character (⊫).

HTML markup
4

CSS Entity

\22AB is used in CSS stylesheets, particularly in the content property of pseudo-elements like ::before and ::after.

CSS stylesheet
=

Same visual result

All four methods produce: ⊫. Unicode U+22AB. Standard turnstile: &vdash; (⊢). Do not confuse &VDash; with &vdash;.

✅

Use Cases

The Double Vertical Bar Double Right Turnstile (⊫) commonly appears in:

⊢ Mathematical logic

Derivability and entailment in formal logic and proof systems.

📐 Proof theory

Sequent calculus rules and proof structures in papers and textbooks.

🔒 Formal verification

Formal methods, program verification, and specification documents.

λ Type theory

Type systems, judgment forms, and typing rules in type theory.

🎓 Education

Logic, proof theory, and formal methods in e-learning materials.

📄 Research

CS, logic, and philosophy papers using turnstile notation.

💡 Best Practices

Do

  • Use &VDash; for readable markup, or &#x22AB; / &#8875;
  • Use math fonts (Cambria Math, STIX Two Math) for reliable rendering
  • Distinguish &VDash; (⊫) from &vdash; (⊢, single turnstile)
  • Add aria-label or nearby text for accessibility in logic notation
  • Use \22AB only inside CSS content

Don’t

  • Confuse &VDash; with &vdash; (different Unicode characters)
  • Confuse ⊫ with ⊦ (assertion) or ⊨ (validity)
  • Put CSS escape \22AB in HTML text nodes
  • Forget UTF-8 (<meta charset="utf-8">) on math pages
  • Assume every font includes Mathematical Operators

Key Takeaways

1

Named entity available: &VDash;

&#x22AB; &#8875;
2

For CSS stylesheets, use the escape in the content property

\22AB
3

Unicode U+22AB DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE

4

Turnstile ⊢: U+22A2 via &vdash; or &#x22A2;

5

Four methods, one glyph — widely supported in modern browsers

❓ Frequently Asked Questions

Use &#x22AB; (hex), &#8875; (decimal), &VDash; (named entity), or \22AB in CSS content. All produce ⊫.
U+22AB (DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE). Mathematical Operators block (U+2200–U+22FF). Hex 22AB, decimal 8875. Used in logic and proof theory.
In mathematical logic, proof theory, sequent calculus, formal verification, type theory docs, academic papers, and educational content on logic and formal systems.
HTML references (&#8875;, &#x22AB;, or &VDash;) go in markup. The CSS escape \22AB is used in stylesheets, typically in the content property of pseudo-elements.
&VDash; is easier to read in source than &#8875; or &#x22AB;, but all produce ⊫. The named entity is part of the HTML5 entity set for mathematical operators.

Explore More HTML Entities!

Discover 1500+ HTML character references — math symbols, letterlike glyphs, and more.

All HTML Entities →

About the author

Mari Selvan M P
Mari Selvan M P 🔗

Developer, cloud engineer, and technical writer

  • Experience 12 years building web and cloud systems
  • Focus Full Stack Development, AWS, and Developer Education

I write practical tutorials so students and working developers can learn by doing—from databases and APIs to deployment on AWS.

AWS Certified Developer – Associate (Credly)

8 people found this page helpful

Double Union (⋓) Double Vertical Line