Does not prove (⊬) is the Unicode character at U+22AC in the Mathematical Operators block. Official name: DOES NOT PROVE. In logic, T ⊬ φ means T does not prove φ.
Remember
Character ⊬
Unicode U+22AC
Named entity ⊬
Hex entity ⊬
Decimal ⊬
CSS escape \22AC
Not the same ⊢ · ⊮ · ⊭
Prefer ⊬ in HTML markup (lowercase v matters). You can also type ⊬ in UTF-8, or use numeric forms when needed.
One page that shows Does Not Prove with named, hex, decimal, CSS escape, and a typed character. Use View Output or open the live editor.
Named + Hex + Decimal + CSS + Typed
Five ways to produce ⊬, plus a logic example.
html
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<title>Does Not Prove (⊬) in HTML</title>
<style>
#point::after {
content: "\22AC";
}
</style>
</head>
<body>
<p>Symbol using Named Entity: ⊬</p>
<p>Symbol using Hex Code: ⊬</p>
<p>Symbol using HTML Code: ⊬</p>
<p id="point">Symbol using CSS Entity: </p>
<p>Typed directly: ⊬</p>
<p>Example: T ⊬ φ means T does not prove φ. Positive uses ⊢.</p>
</body>
</html>
Symbol using Named Entity: ⊬
Symbol using Hex Code: ⊬
Symbol using HTML Code: ⊬
Symbol using CSS Entity: ⊬
Typed directly: ⊬
Example: T ⊬ φ means T does not prove φ. Positive uses ⊢.
How It Works
1. Named:⊬ is the HTML5 name for U+22AC → ⊬. Best default in markup.
2. Hex:U+22AC → ⊬ in HTML. Same glyph as the named form.
3. Decimal: same code point as 8876 → ⊬. Same result as hex and named.
4. CSS: use \22AC in content (not an HTML entity). #point::after appends that ⊬ after the paragraph text.
5. Typed / example: paste ⊬ in UTF-8, or write T ⊬ φ. The positive form is ⊢ (⊢).
Pitfalls & Tips
Common mistakes when working with Does Not Prove.
Case
Lowercase v in the name
Write ⊬, not ⊮. Capital V is a different entity (U+22AE).
⊢
Positive vs negation
Use ⊢ (⊢) when T proves φ. Use ⊬ (⊬) when it does not.
⊭
Not ⊭
⊭ is U+22AD (⊭) — a different negated turnstile. Do not swap it with ⊬.
CSS vs HTML
Do not mix escapes
\22AC belongs in CSS strings. ⊬ / ⊬ / ⊬ belong in HTML.
Fonts
Math font coverage
Some fonts omit U+22AC. Prefer a font with Mathematical Operators coverage for display.
Semicolon
End references
Always finish with ; — write ⊬, not &nvdash.
Compatibility
Browser Support
Does not prove (U+22AC) and its entity forms (⊬, ⊬, ⊬, CSS \\22AC) are supported in all mainstream browsers. Visible glyphs depend on math font coverage.
✓ Universal support
Does Not Prove (⊬)
Encode with named, hex, decimal, CSS escape, or type the character — same code point everywhere encoding is supported.
100%Browser coverage
Google ChromeSupported
Yes
Microsoft EdgeSupported
Yes
Mozilla FirefoxSupported
Yes
Apple SafariSupported
Yes
OperaSupported
Yes
Internet ExplorerAll versions
Yes
U+22AC / entitiesFull support
Bottom line: Prefer ⊬ in HTML. Use ⊬ or ⊬ when numeric form is required, and \\22AC only inside CSS content.
Remember
Key Takeaways
Unicode: does not prove is U+22AC (decimal 8876) — glyph ⊬.
HTML: prefer ⊬, or use ⊬ / ⊬ / type ⊬.
CSS: use \22AC inside content for generated text.
Meaning:⊬ = does not prove — not ⊢, ⊮, or ⊭.
One line:U+22AC → ⊬ / ⊬ / ⊬ / CSS \22AC / type ⊬.
Frequently Asked Questions
Use ⊬ (named), ⊬ (hex), ⊬ (decimal), type ⊬ directly in UTF-8, or the CSS escape \22AC in content. Prefer ⊬ in normal HTML.
U+22AC (DOES NOT PROVE). Hex 22AC, decimal 8876. It belongs to the Mathematical Operators block (U+2200–U+22FF).
Yes. Use ⊬. Numeric forms ⊬ and ⊬ also work. Note the lowercase v in nvdash.
Use it in logic and proof theory when a theory or system does not prove a statement, for example T ⊬ φ. For the positive relation, use U+22A2 (⊢).
HTML entities (⊬, ⊬, or ⊬) go in markup. The CSS escape \22AC goes in stylesheet strings (usually content on ::before/::after).
No. ⊬ is U+22AC (does not prove). ⊢ is U+22A2 (proves / right tack). ⊮ is U+22AE (does not force) — capital V matters.
🤔
Did you know?
Does not prove is Unicode U+22AC (decimal 8876) — glyph ⊬ in the Mathematical Operators block. HTML5 names it ⊬. It is the negation of right tack / proves ⊢ (⊢). Do not confuse with ⊮ (⊮, does not force) or ⊭ (⊭).
