HTML Entity for True (⊨)
What You'll Learn
How to display the True symbol (⊨) in HTML using named, hexadecimal, decimal, and CSS entity methods. This character is U+22A8 (TRUE) in the Mathematical Operators block (U+2200–U+22FF)—also called the models symbol or double right tack in mathematical logic.
Render it with ⊨, ⊨, ⊨, or CSS escape \22A8. Do not confuse ⊨ with U+22A4 (⊤, down tack / logical top) or U+22A2 (⊢, left tack / ⊢).
⚡ Quick Reference — True
U+22A8Mathematical Operators block
⊨Hexadecimal reference
⊨Decimal reference
⊨Most readable option
Name Value
──────────── ──────────
Unicode U+22A8
Hex code ⊨
HTML code ⊨
Named entity ⊨
CSS code \22A8
Block Mathematical Operators (U+2200–U+22FF)
Official name TRUE
Also known as models symbol, double right tack
Related U+22A2 = left tack (⊢), U+22A4 = down tack (⊤)Complete HTML Example
This example demonstrates the True symbol (⊨) using the named entity, hexadecimal code, decimal HTML code, and a CSS content escape:
<!DOCTYPE html>
<html>
<head>
<style>
#point:after{
content: "\22A8";
}
</style>
</head>
<body>
<p>Using Named Entity: ⊨</p>
<p>Using Hexadecimal: ⊨</p>
<p>Using HTML Code: ⊨</p>
<p id="point">Using CSS Entity: </p>
</body>
</html>🌐 Browser Support
U+22A8 is supported in modern browsers; use a font with Mathematical Operators coverage for consistent glyphs:
👀 Live Preview
See the True / models symbol (⊨) in mathematical logic notation:
🧠 How It Works
Named Entity
⊨ is the HTML named entity for True (⊨) — the most readable option in source code.
Hexadecimal Code
⊨ uses the Unicode hexadecimal value 22A8 to display the True symbol.
Decimal HTML Code
⊨ uses the decimal Unicode value 8872 to display the same character.
CSS Entity
\22A8 is used in CSS stylesheets in the content property of pseudo-elements like ::before and ::after.
Same visual result
All four methods produce ⊨. Unicode U+22A8 (TRUE / models). Not down tack ⊤ or left tack ⊢. Previous: Triple Vertical Bar Right Turnstile. Next: Ts Digraph.
Use Cases
The True / models symbol (⊨) commonly appears in:
Models relation and satisfaction notation in logic.
Structures, formulas, and semantic entailment.
Research papers and scholarly publications.
Formal logic, sequents, and proof documentation.
Logic and model-theory tutorials in HTML.
Unicode and HTML entity guides for logic operators.
💡 Best Practices
Do
- Prefer
⊨for readable HTML source - Use fonts that cover Mathematical Operators (U+2200–U+22FF)
- For complex proofs, consider MathML, MathJax, or KaTeX
- Distinguish ⊨ from left tack ⊢ and down tack ⊤
- Pick one entity style per project for consistency
Don’t
- Confuse ⊨ (true / models) with ⊤ (down tack / top)
- Confuse
⊨with⊫(U+22A9) - Use
⊢when ⊨ (models) is intended - Put CSS escape
\22A8directly in HTML text nodes - Forget UTF-8 (
<meta charset="utf-8">) in your document
Key Takeaways
Four ways to render ⊨ in HTML
⊨ ⊨ ⊨For CSS stylesheets, use the escape in the content property
\22A8Unicode U+22A8 — TRUE (models symbol)
Prefer ⊨ for readability in HTML source
Mathematical Operators block (U+2200–U+22FF)
❓ Frequently Asked Questions
⊨ (named), ⊨ (hex), ⊨ (decimal), or \22A8 in CSS content. All produce ⊨.U+22A8 (TRUE). Mathematical Operators block (U+2200–U+22FF). Hex 22A8, decimal 8872. Also called the models symbol or double right tack.⊨ is the most readable option when writing HTML by hand. Numeric codes (⊨ or ⊨) are equally valid. All render ⊨.U+22A8 (⊨, TRUE, ⊨)—the models symbol. U+22A4 (⊤, DOWN TACK) is a different character sometimes used as logical top.Explore More HTML Entities!
Discover 1500+ HTML character references — math operators, logic symbols, punctuation, and more.
About the author
8 people found this page helpful