HTML Entity for Double Vertical Bar Double Right Turnstile (⊫)
Beginner
5 min read
Updated: Sep 2026
1 example
Unicode U+22AB
Definition
What Is Double Vertical Bar Double Right Turnstile?
Double vertical bar double right turnstile (⊫) is the Unicode character at U+22AB in the Mathematical Operators block. Official name: DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE. It is used in logic and proof theory for turnstile / entailment notation.
Remember
Character ⊫
Unicode U+22AB
Named entity ⊫
Hex entity ⊫
Decimal ⊫
CSS escape \22AB
Not the same ⊨ (⊨) · ⊩ (⊩) · ⊢ (⊢)
Prefer ⊫ in HTML markup (capital V and D). You can also type ⊫ in UTF-8, or use numeric forms when needed.
The turnstile rendered alone and compared with related logic symbols.
ExampleΓ ⊫ φ
Large glyph⊫
Compared⊫ ⊨ ⊩ ⊢ ⊪
With entitiesNamed: ⊫ | Hex: ⊫ | Decimal: ⊫
Code
Complete HTML Example
One page that shows this turnstile with named, hex, decimal, CSS escape, and a typed character. Use View Output or open the live editor.
Named + Hex + Decimal + CSS + Typed
Five ways to produce ⊫, plus a comparison with related turnstiles.
html
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<title>Double Vertical Bar Double Right Turnstile (⊫) in HTML</title>
<style>
#point::after {
content: "\22AB";
}
</style>
</head>
<body>
<p>Turnstile using Named Entity: ⊫</p>
<p>Turnstile using Hex Code: ⊫</p>
<p>Turnstile using HTML Code: ⊫</p>
<p id="point">Turnstile using CSS Entity: </p>
<p>Typed directly: ⊫</p>
<p>Compared: ⊫ vs ⊨ vs ⊩ vs ⊢</p>
</body>
</html>
Turnstile using Named Entity: ⊫
Turnstile using Hex Code: ⊫
Turnstile using HTML Code: ⊫
Turnstile using CSS Entity: ⊫
Typed directly: ⊫
Compared: ⊫ vs ⊨ vs ⊩ vs ⊢
How It Works
1. Named:⊫ is the HTML5 name for U+22AB → ⊫. Best default in markup (capital V and D).
2. Hex:U+22AB → ⊫ in HTML. Same glyph as the named form.
3. Decimal: same code point as 8875 → ⊫. Same result as hex and named.
4. CSS: use \22AB in content (not an HTML entity). #point::after appends that ⊫ after the paragraph text.
5. Typed / compared: paste ⊫ in UTF-8, or contrast ⊫ with ⊨, ⊩, and ⊢.
⊨ is true / double turnstile (U+22A8). Close name, different glyph.
⊩
Not ⊩
⊩ is forces (U+22A9). Only the d is lowercase — easy to mistype.
⊪
Not the triple form
U+22AA is triple vertical bar right turnstile (⊪) — another related operator.
CSS vs HTML
Do not mix escapes
\22AB belongs in CSS strings. ⊫ / ⊫ / ⊫ belong in HTML.
Fonts
Math font coverage
Some fonts omit less-common Mathematical Operators. Prefer a math-capable font for reliable display of ⊫.
Semicolon
End named entities
Always finish with ; — write ⊫, not &VDash.
Compatibility
Browser Support
Double vertical bar double right turnstile (U+22AB) and its entity forms (⊫, ⊫, ⊫, CSS \\22AB) are supported in all mainstream browsers. Visible glyphs depend on math / operator font coverage.
✓ Universal support
Double Vertical Bar Double Right Turnstile (⊫)
Encode with named, hex, decimal, CSS escape, or type the character — same code point everywhere encoding is supported.
100%Browser coverage
Google ChromeSupported
Yes
Microsoft EdgeSupported
Yes
Mozilla FirefoxSupported
Yes
Apple SafariSupported
Yes
OperaSupported
Yes
Internet ExplorerAll versions
Yes
U+22AB / entitiesFull support
Bottom line: Prefer ⊫ in HTML. Use ⊫ / ⊫ when numeric form is required, and \\22AB only inside CSS content.
Remember
Key Takeaways
Unicode: this turnstile is U+22AB (decimal 8875) — glyph ⊫.
HTML: prefer ⊫ — also ⊫ / ⊫ / type ⊫.
CSS: use \22AB inside content for generated text.
Meaning:⊫ ≠ ⊨, ⊩, or ⊢ — case matters.
Use ⊫ (named), ⊫ (hex), ⊫ (decimal), type ⊫ directly in UTF-8, or the CSS escape \22AB in content. Prefer ⊫ in normal HTML.
U+22AB (DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE). Hex 22AB, decimal 8875. It belongs to the Mathematical Operators block (U+2200–U+22FF).
Yes. Use ⊫ (capital V and D). Numeric forms ⊫ and ⊫ also work. Do not confuse with ⊨, ⊩, or ⊢ — those are different turnstiles.
Use it in logic or proof-theory text when you need the double-vertical-bar double-right turnstile ⊫. Prefer ⊢ for ordinary ⊢, ⊨ for ⊨, and ⊩ for ⊩.
HTML entities (⊫, ⊫, or ⊫) go in markup. The CSS escape \22AB goes in stylesheet strings (usually content on ::before/::after).
No. ⊫ is ⊫ (U+22AB). ⊨ is ⊨ (U+22A8). ⊩ is ⊩ (U+22A9). ⊢ is ⊢ (U+22A2). Entity names are case-sensitive.
🤔
Did you know?
Double vertical bar double right turnstile is Unicode U+22AB (decimal 8875) — glyph ⊫ in the Mathematical Operators block. HTML5 names it ⊫ (capital VD). Closely related (case-sensitive): ⊨ (⊨), ⊩ (⊩), and ⊢ (⊢).
