| Symbol Name | Does Not Prove |
| Unicode Version | 1.1 |
| Unicode | U+22AC |
| Unicode block | |
| General category | Math Symbol (Sm) |
| CSS Code | \22AC |
| Hex Code | 0x22AC |
| HTML Code | ⊬ |
| LaTeX | \mathrm{⊬} |
| Symbol | ⊬ |
| URL encode (UTF-8 percent) | %E2%8A%AC |
| Spoken / screen reader name | Does Not Prove |
| UTF-8 | E2 8A AC |
| UTF-16 | 22AC |
| UTF-32 | 000022AC |
1\documentclass{article}2\usepackage{pifont}3\mathrm{⊬}4\end{document}You can type the does not prove symbol on most modern devices with the help of following methods:
Alt + 8876 on Windows (numeric keypad with Num Lock), or insert via Character Map.
Edit → Emoji & Symbols, search "does not prove", or use Unicode Hex Input with 22AC.
Ctrl + Shift + U, type 22ac, then Enter (layout-dependent).
Paste from this page, use text replacement, or pick from the symbol keyboard.
Paste from this page or use a keyboard with math symbol support.
1span.does-not-prove::before { content: "\22AC"; }1<span>⊬</span>Does Not Prove symbol's representation in different programming languages can be found in the table below:
| Language | Representation |
|---|---|
| JavaScript / TypeScript | '\u22AC' or String.fromCodePoint(0x22AC) |
| Python | '\N{DOES NOT PROVE}' or chr(8876) |
| Rust | '\u{22AC}' |
| C / C++ | UTF-8 source or wchar_t with U+22AC |
| Go | string(rune(0x22AC)) |
| Ruby | "\u22AC" |