HTML Entity for Triple Vertical Bar Right Turnstile (⊪)

Beginner
⏱️ 5 min read
📚 Updated: Jun 2026
🎯 1 Code Example
Unicode U+22AA

What You'll Learn

How to display the Triple Vertical Bar Right Turnstile (⊪) in HTML using named, hexadecimal, decimal, and CSS entity methods. This character is U+22AA (TRIPLE VERTICAL BAR RIGHT TURNSTILE) in the Mathematical Operators block (U+2200–U+22FF)—a specialized logic and formal-notation symbol.

Render it with ⊪, ⊪, ⊪, or CSS escape \22AA. Do not confuse ⊪ with U+22A9 (⊩, double vertical bar right turnstile / ⊫) or U+22A8 (⊨, true / ⊨).

⚡ Quick Reference — Triple Vertical Bar Right Turnstile

Unicode U+22AA

Mathematical Operators block

Hex Code ⊪

Hexadecimal reference

HTML Code ⊪

Decimal reference

Named Entity ⊪

Most readable option

Reference Table
Name           Value
────────────   ──────────
Unicode        U+22AA
Hex code       ⊪
HTML code      ⊪
Named entity   ⊪
CSS code       \22AA
Block          Mathematical Operators (U+2200–U+22FF)
Official name  TRIPLE VERTICAL BAR RIGHT TURNSTILE
Related        U+22A9 = double bar (⊫), U+22A8 = true (⊨)
1

Complete HTML Example

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

html
<!DOCTYPE html>
<html>
<head>
 <style>
  #point:after{
   content: "\22AA";
  }
 </style>
</head>
<body>
<p>Using Named Entity: &Vvdash;</p>
<p>Using Hexadecimal: &#x22AA;</p>
<p>Using HTML Code: &#8874;</p>
<p id="point">Using CSS Entity: </p>
</body>
</html>
Try it Yourself

🌐 Browser Support

U+22AA is supported in modern browsers; use a font with Mathematical Operators coverage for consistent glyphs:

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

👀 Live Preview

See the Triple Vertical Bar Right Turnstile (⊪) in logic and formal notation:

Formal logic Γ ⊪ φ (Γ forces φ)
Large glyph
vs related turnstiles ⊨ &vDash; true   ⊩ &VDash; double   ⊪ &Vvdash; triple
Named entity &Vvdash; → ⊪
Monospace refs &Vvdash; &#x22AA; &#8874; \22AA

🧠 How It Works

1

Named Entity

&Vvdash; is the HTML named entity for the Triple Vertical Bar Right Turnstile (⊪) — the most readable option in source code.

HTML markup
2

Hexadecimal Code

&#x22AA; uses the Unicode hexadecimal value 22AA to display the Triple Vertical Bar Right Turnstile symbol.

HTML markup
3

Decimal HTML Code

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

HTML markup
4

CSS Entity

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

CSS stylesheet
=

Same visual result

All four methods produce . Unicode U+22AA. Not double turnstile ⊩ or true ⊨. Previous: Triple Tilde. Next: True.

Use Cases

The Triple Vertical Bar Right Turnstile (⊪) commonly appears in:

⚙ Logic Symbols

Formal logic expressions and proof-theory notation.

📐 Mathematics

Specialized mathematical documents and equations.

📚 Academic

Research papers and scholarly publications.

📝 Formal Logic

Sequent calculus, proof systems, and logical reasoning.

🎓 Education

Logic and mathematics tutorials in HTML.

🔤 Reference

Unicode and HTML entity guides for logic operators.

💡 Best Practices

Do

  • Prefer &Vvdash; for readable HTML source
  • Use fonts that cover Mathematical Operators (U+2200–U+22FF)
  • For complex proofs, consider MathML, MathJax, or KaTeX
  • Distinguish ⊪ from double turnstile ⊩ and true ⊨
  • Pick one entity style per project for consistency

Don’t

  • Confuse ⊪ (triple) with ⊩ (double vertical bar right turnstile)
  • Confuse ⊪ with ⊨ (true / &vDash;)
  • Use three vertical bars (|||) when ⊪ is intended
  • Put CSS escape \22AA directly in HTML text nodes
  • Forget UTF-8 (<meta charset="utf-8">) in your document

Key Takeaways

1

Four ways to render ⊪ in HTML

&#x22AA; &#8874; &Vvdash;
2

For CSS stylesheets, use the escape in the content property

\22AA
3

Unicode U+22AA — Triple Vertical Bar Right Turnstile

4

Prefer &Vvdash; for readability in HTML source

5

Mathematical Operators block (U+2200–U+22FF)

❓ Frequently Asked Questions

Use &Vvdash; (named), &#x22AA; (hex), &#8874; (decimal), or \22AA in CSS content. All produce ⊪.
U+22AA (TRIPLE VERTICAL BAR RIGHT TURNSTILE). Mathematical Operators block (U+2200–U+22FF). Hex 22AA, decimal 8874. A specialized logic and formal-notation symbol.
For logic symbols, formal logic, mathematical notation, academic content, logical expressions, and proof-theory documentation in HTML.
The named entity &Vvdash; is the most readable option when writing HTML by hand. Numeric codes (&#8874; or &#x22AA;) are equally valid. All render ⊪.
Yes. &Vvdash; is part of the HTML standard and is widely supported across modern browsers. It is the preferred method for displaying ⊪ in HTML documents.

Explore More HTML Entities!

Discover 1500+ HTML character references — math operators, logic symbols, punctuation, 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.

8 people found this page helpful