HTML Entity for Does Not Prove (⊬)
What You'll Learn
How to display the Does Not Prove symbol (⊬) in HTML using hexadecimal, decimal, and CSS entity methods. This character is U+22AC (DOES NOT PROVE) in the Mathematical Operators block (U+2200–U+22FF) and denotes that a theory or system does not prove a formula—the negation of “proves” (⊢, ⊢).
There is no named HTML entity for U+22AC. Use ⊬, ⊬, or \22AC in CSS content. Do not confuse with does not force (⊮) or other similar turnstile-like symbols.
⚡ Quick Reference — Does Not Prove
U+22ACMathematical Operators block
⊬Hexadecimal reference
⊬Decimal reference
—None (use numeric refs)
Name Value
──────────── ──────────
Unicode U+22AC
Hex code ⊬
HTML code ⊬
Named entity —
CSS code \22ACComplete HTML Example
This example demonstrates the Does Not Prove symbol (⊬) using hexadecimal code, decimal HTML code, and a CSS content escape. There is no named HTML entity:
<!DOCTYPE html>
<html>
<head>
<style>
#point:after{
content: "\22AC";
}
</style>
</head>
<body>
<p>Does Not Prove using Hexadecimal: ⊬</p>
<p>Does Not Prove using HTML Code: ⊬</p>
<p id="point">Does Not Prove using CSS Entity: </p>
</body>
</html>🌐 Browser Support
U+22AC is supported in modern browsers; use a font with Mathematical Operators coverage for consistent glyphs:
👀 Live Preview
See the Does Not Prove symbol (⊬) in logic notation:
🧠 How It Works
Hexadecimal Code
⊬ uses the Unicode hexadecimal value 22AC to display the Does Not Prove symbol. The x prefix indicates hexadecimal format.
Decimal HTML Code
⊬ uses the decimal Unicode value 8876 to display the same character. This is one of the most commonly used methods.
CSS Entity
\22AC is used in CSS stylesheets, particularly in the content property of pseudo-elements like ::before and ::after.
Same visual result
All three methods produce the Does Not Prove glyph: ⊬. Unicode U+22AC negates proves (⊢, ⊢). No named HTML entity exists for U+22AC.
Use Cases
The Does Not Prove symbol (⊬) commonly appears in the following scenarios:
Relations like T ⊬ φ when T does not prove φ in proofs and logic courses.
Formal systems and incompleteness topics using correct provability notation.
Logic courses teaching turnstile and does-not-prove symbols.
Incompleteness and derivability when T ⊬ φ in web notation.
Web math or logic notation needing the proper provability glyph.
HTML entity references for education and research projects.
💡 Best Practices
Do
- Use ⊬ for “does not prove” in proof theory
- Pair with
⊢(⊢) when teaching turnstile pairs - Use fonts that cover Mathematical Operators (U+2200–U+22FF)
- Pair with text or ARIA (“does not prove”)
- Pick one numeric style (hex or decimal) per project
Don’t
- Confuse ⊬ (U+22AC) with ⊮ (does not force, U+22AE)
- Expect a named HTML entity (none exists for U+22AC)
- Use
&nprove;or other non-standard entity names - Use CSS escape
\22ACinside HTML markup - Mix hex and decimal styles randomly in one file
Key Takeaways
Two numeric references render ⊬
⊬ ⊬For CSS stylesheets, use the escape in the content property
\22ACUnicode U+22AC is the does-not-prove relation
Negation of ⊢ proves (⊢)
Next: Does Not Succeed
❓ Frequently Asked Questions
⊬ (hex), ⊬ (decimal), or \22AC in CSS content. There is no named HTML entity. All three produce ⊬.U+22AC (hex 22AC, decimal 8876) in the Mathematical Operators block. Used for “does not prove” (negation of ⊢).U+22AC) means does not prove. ⊢ (U+22A2, ⊢) means proves (turnstile). They are negations of each other.U+22AC) is the does-not-prove relation. ⊮ (U+22AE) is the does not force. They are different characters with different meanings.Explore More HTML Entities!
Discover 1500+ HTML character references — logic, provability, operators, and more.
About the author
8 people found this page helpful