Does Not Prove ⊬
⊬ (U+22AC) is a standard Unicode character that you can copy and paste anywhere text is accepted. This page provides a concise reference with safe tips, internal links, and practical guidance so you can use it reliably across apps and platforms.
What it is and where it’s used: Does Not Prove is part of the Symbols family (block: Mathematical Operators). If you need styled or decorative alternatives, try our Fancy Text tool to generate compatible text that works in most modern interfaces.
Copy and input: the quickest method is to copy the character here. You can also insert it by its codepoint U+22AC in many development tools or editors. Some operating systems provide a character viewer or input palette that lets you search by name or code and insert the glyph into documents.
Display and fallback: if you see an empty box (tofu) or a placeholder rectangle, the active font might not include this codepoint. Switching to a font with broader Unicode coverage or using a fallback font usually fixes the issue. On the web, ensure the page’s font stack includes a general‑purpose fallback.
Related references: browse the Categories for similar characters. When choosing a symbol, prefer the official codepoint for semantic clarity and better compatibility with search, copy, and accessibility tooling.
See our category page for related symbols.
Technical details
- Codepoint:
U+22AC - General Category:
Sm - Age:
1.1 - Bidi Class:
ON - Decomposition:
22A2 0338 - Block:
Mathematical Operators - Script:
Common - UTF-8:
E2 8A AC - UTF-16:
22AC - UTF-32:
000022AC - HTML dec:
⊬ - HTML hex:
⊬ - JS escape:
\u22AC - Python \N{}:
\N{DOES NOT PROVE} - Python \u:
\u22AC - Python \U:
\U000022AC - URL-encoded:
%E2%8A%AC - CSS escape:
\22AC
How to type / insert
Fast copy: click the Copy button near the top of this page.
By codepoint: in many editors and IDEs, you can insert via the Unicode code U+22AC or a built‑in character picker.
HTML: use the numeric entity ⊬ (hex) or ⊬ (decimal) when an HTML entity is needed.
Compatibility & troubleshooting
Font support: if the symbol does not render, the current font likely lacks this codepoint. Choose a font with broad Unicode coverage or allow a fallback font.
Web pages: ensure your CSS font stack includes a general fallback; avoid relying on images for common symbols to preserve accessibility and copyability.