HTML Entity for Left Tack (⊣)
What You'll Learn
How to display the Left Tack (⊣) in HTML using the named entity, hexadecimal, decimal, and CSS escape methods. This symbol is U+22A3 (LEFT TACK) in the Mathematical Operators block (U+2200–U+22FF)—the reverse turnstile used in logic and proof theory to mean “does not prove” or as a relation symbol.
Render it with ⊣ (named), ⊣, ⊣, or CSS \22A3. Do not confuse ⊣ with U+22A2 (⊢, right tack / proves / ⊢) or U+22A9 (⊩, forces).
⚡ Quick Reference — Left Tack
U+22A3Mathematical Operators
⊣Hexadecimal reference
⊣Decimal reference
⊣Most readable option
Name Value
──────────── ──────────
Unicode U+22A3
Hex code ⊣
HTML code ⊣
Named entity ⊣
CSS code \22A3
Meaning Left tack (reverse turnstile)
Related U+22A2 = right tack (⊢ / ⊢)
U+22A9 = forces (⊩)Complete HTML Example
A simple example showing the Left Tack (⊣) using the named entity, hexadecimal code, decimal HTML code, and a CSS content escape:
<!DOCTYPE html>
<html>
<head>
<style>
#point:after{
content: "\22A3";
}
</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 Left Tack (⊣) is universally supported in all modern browsers when the font includes Mathematical Operators glyphs:
👀 Live Preview
See the Left Tack (⊣) rendered live in different contexts:
🧠 How It Works
Hexadecimal Code
⊣ uses the Unicode hexadecimal value 22A3 for the left tack. The x prefix indicates hexadecimal format.
Decimal HTML Code
⊣ uses the decimal Unicode value 8867 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
\22A3 is used in CSS stylesheets in the content property of pseudo-elements like ::after.
Same visual result
All four methods produce ⊣. Unicode U+22A3 is in the Mathematical Operators block. Previous: Left Squiggle Arrow.
Use Cases
The Left Tack (⊣) is commonly used in:
Denote “does not prove” (e.g. Γ ⊣ φ) or reverse 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 ⊣ (does not prove) from ⊢ (proves)
- Verify your font supports Mathematical Operators (U+22A3)
- Keep one entity style per project for consistency
Don’t
- Confuse ⊣ (left tack) with ⊢ (right tack / turnstile)
- Use CSS
\22A3inside 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
Three HTML references plus CSS all render ⊣
⊣ ⊣ ⊣For CSS, use \22A3 in the content property
Unicode U+22A3 — LEFT TACK
Prefer ⊣ for readability—it’s the named HTML entity
Previous: Left Squiggle Arrow Next: Left Tack Below
❓ Frequently Asked Questions
⊣ (hex), ⊣ (decimal), ⊣ (named), or \22A3 in CSS content. All four methods render ⊣ correctly.U+22A3 (LEFT TACK). Mathematical Operators block (U+2200–U+22FF). Hex 22A3, decimal 8867. Used in logic and proof theory.⊣, ⊣, or ⊣) go in markup. The CSS escape \22A3 is used in stylesheets, typically on ::before or ::after. Both produce ⊣.⊣ is the named HTML entity for U+22A3. You can also use ⊣ (decimal) or ⊣ (hex) and \22A3 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