HTML Entity for Not True (⊭)
What You'll Learn
How to display the Not True symbol (⊭) in HTML using named, hexadecimal, decimal, and CSS escape methods. This turnstile operator denotes that a formula is not true (not provable) in a given logical context.
This character is U+22AD (NOT TRUE) in the Mathematical Operators block (U+2200–U+22FF). Render it with the named entity ⊭, ⊭, ⊭, or CSS escape \22AD. Compare with Not Sign (¬, ¬, logical negation) and related turnstiles in Negated Double Vertical Bar Double Right Turnstile (⊯).
⚡ Quick Reference — Not True
U+22ADMathematical Operators
⊭Hexadecimal reference
⊭Decimal reference
⊭HTML5 named entity for U+22AD
Name Value
──────────── ──────────
Unicode U+22AD
Hex code ⊭
HTML code ⊭
Named entity ⊭
CSS code \22AD
Meaning Not true (unprovable turnstile)
Related U+22A2 = right tack (⊢, ⊢)
U+22A9 = forces (⊩, ⊩)
U+22AF = nVDash (⊯, ⊯)
U+00AC = not sign (¬, ¬)
Block Mathematical Operators (U+2200–U+22FF)Complete HTML Example
A simple example showing ⊭ using hexadecimal code, decimal HTML code, the named entity, and a CSS content escape:
<!DOCTYPE html>
<html>
<head>
<style>
#point::after{
content: "\22AD";
}
</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
U+22AD is widely supported wherever Unicode Mathematical Operators render correctly:
👀 Live Preview
See ⊭ in modal logic and proof-theory notation:
🧠 How It Works
Named Entity
⊭ is the HTML named entity for U+22AD—the most readable choice when writing logic and proof markup.
Hexadecimal Code
⊭ uses the Unicode hexadecimal value 22AD to display the not-true turnstile.
Decimal HTML Code
⊭ uses the decimal Unicode value 8877 to display the same character.
CSS Entity
\22AD is used in CSS stylesheets, particularly in the content property of pseudo-elements like ::before and ::after.
Same visual result
All four methods produce: ⊭. Unicode U+22AD in Mathematical Operators (U+2200–U+22FF).
Use Cases
The ⊭ symbol (⊭) is commonly used in:
Denoting that a formula is not true in a given world or context.
Turnstile notation for unprovability and semantic consequence.
Textbooks, papers, and lecture notes on logic and meaning.
Logic, type theory, and formal methods courses with web notation.
Interactive logic modules covering turnstile symbols.
Unicode charts and HTML entity documentation for math symbols.
💡 Best Practices
Do
- Use
⊭for readable logic and proof markup - Distinguish ⊭ (not true turnstile) from ¬ (
¬, logical NOT) - Pair ⊭ with plain-language description on first use
- Use numeric references in generated or XML-first workflows
- Serve pages with UTF-8 (
<meta charset="utf-8">)
Don’t
- Confuse ⊭ (
⊭) with ¬ (¬, not sign) - Confuse
⊭with⊯(⊯, double-bar negated turnstile) - Use padded Unicode notation like U+022AD—the correct value is
U+22AD - Put CSS escape
\22ADin HTML text nodes - Use
\022ADin CSS—the correct escape is\22AD
Key Takeaways
Three HTML references plus CSS all render ⊭
⊭ ⊭ ⊭For CSS stylesheets, use the escape in the content property
\22ADUnicode U+22AD — NOT TRUE
Mathematical Operators block (U+2200–U+22FF)
⊭ is the preferred named entity for readable source markup
❓ Frequently Asked Questions
⊭ (named), ⊭ (hex), ⊭ (decimal), or \22AD in CSS content. All produce ⊭.U+22AD (NOT TRUE). Mathematical Operators block (U+2200–U+22FF). Hex 22AD, decimal 8877. Named entity: ⊭.⊭). ¬ is the not sign for propositional negation (U+00AC, ¬). They serve different roles in notation.⊭, ⊭, or ⊭) go directly in markup. The CSS escape \22AD is used in stylesheets, typically in the content property of pseudo-elements. Same visual result, different layers of the stack.⊭ is the named HTML entity for U+22AD and is the most readable option in logic markup.Explore More HTML Entities!
Discover 1500+ HTML character references — arrows, symbols, and more.
About the author
8 people found this page helpful