U+22AC · Mathematical Operators
Does Not Prove ⊬
Does Not Prove is the Unicode character U+22AC (official name “DOES NOT PROVE”) from the Mathematical Operators block. It belongs to SymbolHero’s math symbols collection. Copy it with the button, or use the codes and keyboard methods below to type it yourself.
UnicodeU+22AC
HTML⊬
⊬U+22AC
Character codes
| Unicode code point | U+22AC | |
|---|---|---|
| Decimal | 8876 | |
| HTML named entity | ⊬ | |
| HTML (hex) | ⊬ | |
| HTML (decimal) | ⊬ | |
| CSS | \22AC | |
| JavaScript | \u22AC | |
| Python | \u22AC | |
| UTF-8 bytes | E2 8A AC | |
| UTF-16 | 22AC | |
| URL-encoded | %E2%8A%AC |
Character details
| Official name | DOES NOT PROVE |
|---|---|
| Unicode block | Mathematical Operators |
| General category | Math Symbol (Sm) |
| SymbolHero category | Math Symbols |
| Decomposition | U+22A2 U+0338 |
| Emoji | No |
How to type ⊬
Windows
- In Microsoft Word or Outlook: type
22ACthen press Alt + X. - Open Character Map (search “Character Map” in Start), tick “Advanced view”, search for “does not prove”, then Select and Copy.
Mac
- Press Control + Command + Space to open the Character Viewer, search “does not prove”, and double-click the result.
- With the Unicode Hex Input keyboard enabled (System Settings → Keyboard → Input Sources), hold Option and type
22AC.
iPhone & Android
- Tap Copy at the top of this page, then long-press where you want it and choose Paste.
Docs & web
- Google Docs: Insert → Special characters, then search “does not prove” or enter
U+22AC. - HTML:
⊬or⊬ - Excel / Google Sheets:
=UNICHAR(8876)
Similar math symbols
Questions
What is the Unicode for ⊬?
It is U+22AC (DOES NOT PROVE), decimal 8876.
Is there a Windows Alt code for it?
No standard Alt code exists for this character. In Word type 22AC then Alt+X, or copy it from this page.
How do I type it on a Mac?
There is no built-in Option shortcut. Use the Character Viewer (Control + Command + Space) and search “does not prove”, or copy it from this page.
What is the HTML code?
Use the named entity ⊬ or the numeric reference ⊬.