Mathematical symbol Does Not Prove
About this character
The character ⊬ carries the official Unicode name “Mathematical symbol Does Not Prove” and the code point U+22AC, which is 8876 in decimal. It belongs to the Mathematical Operators block (U+2200–U+22FF), which gathers the operators, quantifiers and relations of algebra, logic and set theory.
In memory, ⊬ takes 3 bytes in UTF-8 (0xE2 0x8A 0xAC) and 1 in UTF-16 (0x22AC). That difference is why badly configured forms or databases garble this character: they assume one byte per character.
How to type ⊬
| System | What to do |
|---|---|
| Windows | In Word or WordPad, type 22AC and press Alt + X to turn the code into the character. |
| macOS | On a Mac, open the Character Viewer with Ctrl + ⌘ + Space and search for “Mathematical symbol Does Not Prove”. |
| Linux | On Linux (GTK), type Ctrl + ⇧ + U, 22AC then press Enter. |
| HTML / Web | In an HTML page, write ⊬. Use \22AC in CSS, \u22AC in JavaScript and \u22AC in Python. |
| On this site | The simplest route is the Copy button above: the character goes straight to your clipboard, ready to paste anywhere. |
Keyboards that include ⊬
This character is not on any common physical layout, so the Copy button above is the quickest way to get it into a document.
Codes and encodings
| Property | Value |
|---|---|
| Code point | U+22AC |
| Unicode block | Mathematical Operators (U+2200–U+22FF) |
| Decimal | 8876 |
| Hexadecimal | 0x22AC |
| Octal | 021254 |
| Binary | 10001010101100 |
| UTF-8 bytes | 0xE2 0x8A 0xAC |
| UTF-16 units | 0x22AC |
| Named HTML entity | None |
| Decimal HTML entity | ⊬ |
| Hex HTML entity | ⊬ |
| CSS escape | \22AC |
| JavaScript escape | \u22AC |
| Python escape | \u22AC |
| URL encoding | %E2%8A%AC |
Frequently asked questions
What is the Unicode code for ⊬?
Its code point is U+22AC, which is 8876 in decimal and 021254 in octal. In HTML you can write it as ⊬ or ⊬.
Why does ⊬ show up as a box or a question mark?
An empty box means the font has no glyph for U+22AC. The character is still in the text: switching to a font that covers the block (Noto, DejaVu or Segoe UI Symbol) makes it appear.
Can I use ⊬ in a filename, a URL or a password?
In a URL it must be encoded as %E2%8A%AC. Modern filesystems accept it, though it is still risky when moving files between systems. For passwords, some forms reject non-ASCII characters outright.