⊬
Does Not Prove Symbol (⊬)
Copy the Does Not Prove symbol ⊬ to your clipboard, and see its Unicode code point, HTML entity, LaTeX command and how to type it on any device.
What does ⊬ mean?
⊬ (Does Not Prove, U+22AC) belongs to the Unicode Mathematical Operators block. It is the negated form of ⊢ (turnstile): a slash through a relation symbol means the relation does not hold.
Codes and properties
| Character | ⊬ |
|---|---|
| Unicode name | DOES NOT PROVE |
| Code point | U+22AC |
| Decimal | 8876 |
| Unicode block | Mathematical Operators |
| HTML entity | ⊬ · ⊬ |
| CSS | \22AC |
| JavaScript / JSON | \u22AC |
| Python | \u22AC or \N{DOES NOT PROVE} |
| UTF-8 bytes | E2 8A AC |
| LaTeX | \nvdash |
| Decomposition | ⊢ (U+22A2) + ̸ (U+0338) |
How to type ⊬
- Copy & paste: press the Copy button above, then paste ⊬ anywhere — Word, Google Docs, email, chat or code.
- Windows (Word, WordPad, Outlook): type
22ACthen press Alt+X. In any app, Win+. opens the symbol panel. - Mac: switch to the Unicode Hex Input keyboard, hold Option and type
22AC; or press Ctrl+Cmd+Space and search “does not prove”. - Linux (GTK/IBus): press Ctrl+Shift+U, type
22ac, then Space. - HTML:
⊬renders as ⊬. - LaTeX:
\nvdashin math mode (amssymb package for some symbols).
Frequently asked questions
How do I type ⊬ on Windows?
In Microsoft Word type 22AC and press Alt+X. In any app press Win+. to open the symbol panel, or copy ⊬ from this page.
What is the HTML code for ⊬?
Use ⊬ (hex) or ⊬ (decimal).
What is the LaTeX command for ⊬?
Use \nvdash in math mode.