HTML Entity for Right Tack (⊢)
What You'll Learn
How to display the Right Tack (⊢) in HTML using the named entity, hexadecimal, decimal, and CSS escape methods. This symbol is U+22A2 (RIGHT TACK) in the Mathematical Operators block (U+2200–U+22FF)—the turnstile used in logic and proof theory to mean “proves” or logical entailment.
Render it with ⊢ (named), ⊢, ⊢, or CSS \22A2. Do not confuse ⊢ with U+22A3 (⊣, left tack / ⊣) or U+22A9 (⊩, forces).
⚡ Quick Reference — Right Tack
U+22A2Mathematical Operators
⊢Hexadecimal reference
⊢Decimal reference
⊢Most readable option
Name Value
──────────── ──────────
Unicode U+22A2
Hex code ⊢
HTML code ⊢
Named entity ⊢
CSS code \22A2
Meaning Right tack (turnstile / proves)
Related U+22A3 = left tack (⊣ / ⊣)
U+22A9 = forces (⊩)Complete HTML Example
A simple example showing the Right Tack (⊢) using the named entity, hexadecimal code, decimal HTML code, and a CSS content escape:
<!DOCTYPE html>
<html>
<head>
<style>
#point:after{
content: "\22A2";
}
</style>
</head>
<body>
<p>Symbol (hex): ⊢</p>
<p>Symbol (decimal): ⊢</p>
<p>Symbol (named): ⊢</p>
<p id="point">Symbol (CSS): </p>
</body>
</html>🌐 Browser Support
The Right Tack (⊢) is universally supported in all modern browsers when the font includes Mathematical Operators glyphs:
👀 Live Preview
See the Right Tack (⊢) rendered live in different contexts:
🧠 How It Works
Hexadecimal Code
⊢ uses the Unicode hexadecimal value 22A2 for the right tack. The x prefix indicates hexadecimal format.
Decimal HTML Code
⊢ uses the decimal Unicode value 8866 to display the same character.
Named Entity
⊢ is the semantic named entity — the easiest to read in source HTML and the most self-descriptive option.
CSS Entity
\22A2 is used in CSS stylesheets in the content property of pseudo-elements like ::after.
Same visual result
All four methods produce ⊢. Unicode U+22A2 is in the Mathematical Operators block. Previous: Right Squiggle Arrow.
Use Cases
The Right Tack (⊢) is commonly used in:
Denote “proves” (e.g. Γ ⊢ φ) or logical entailment in formal systems.
Represent semantic consequence or satisfaction relations in logic.
Typeset proof theory, sequent calculus, or logic definitions in HTML.
Display correct logic notation in online courses and interactive content.
Document formal systems, type theory, or logical frameworks that use ⊢.
Support in web-based equation and logic editors.
💡 Best Practices
Do
- Use
⊢for readable source markup - Add
aria-labelor surrounding text for accessibility - Distinguish ⊢ (proves) from ⊣ (does not prove)
- Verify your font supports Mathematical Operators (U+22A2)
- Keep one entity style per project for consistency
Don’t
- Confuse ⊢ (right tack / turnstile) with ⊣ (left tack)
- Use CSS
\22A2inside HTML text nodes - Assume all fonts render logic symbols identically
- Mix entity styles randomly in one file
- Use the symbol without explaining its logical meaning on first use
Key Takeaways
Four HTML references plus CSS all render ⊢
⊢ ⊢ ⊢For CSS, use \22A2 in the content property
Unicode U+22A2 — RIGHT TACK
Prefer ⊢ for readability—it’s the named HTML entity
Previous: Right Squiggle Arrow Next: Right Tack Below
❓ Frequently Asked Questions
⊢ (hex), ⊢ (decimal), ⊢ (named), or \22A2 in CSS content. All four methods render ⊢ correctly.U+22A2 (RIGHT TACK). Mathematical Operators block (U+2200–U+22FF). Hex 22A2, decimal 8866. Used in logic and proof theory as the turnstile.⊢, ⊢, or ⊢) go in markup. The CSS escape \22A2 is used in stylesheets, typically on ::before or ::after. Both produce ⊢.⊢ is the named HTML entity for U+22A2. You can also use ⊢ (decimal) or ⊢ (hex) and \22A2 in CSS.Explore More HTML Entities!
Discover 1500+ HTML character references — arrows, symbols, math operators, and more.
About the author
8 people found this page helpful