U+22AC "⊬" Does Not Prove Unicode Character
Unicode Version 17.0
⊬
U+22AC "⊬" Does Not Prove is a mathematical symbol that represents the negation of a provability relation, typically indicating that a certain statement cannot be derived or proven from a given set of premises within a formal system. It is the logical counterpart to the "proves" symbol (⊢) and is used in fields such as proof theory, logic, and computer science to denote that no formal proof exists for a proposition under specified assumptions. Its appearance resembles a turnstile with a vertical line through it, visually negating the standard assertion sign, and it plays a key role in discussions of Gödel's incompleteness theorems and other metamathematical arguments.
General Properties
| Code Point | U+22AC |
| Version Added | 1.1 |
| Name | Does Not Prove |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Decomposition Type | Canonical |
| Decomposition Mapping | "⊢" U+22A2 Right Tack "̸" U+0338 Combining Long Solidus Overlay |
Encodings
| HTML Decimal Encoding | ⊬ |
| HTML Hex Encoding | ⊬ |
| UTF-8 Encoding | 0xE2 0x8A 0xAC |
| UTF-16 Encoding | 0x22AC |
| UTF-32 Encoding | 0x000022AC |
| C/C++/Java Escape | \u22ac |
Unicode Properties
| NFC Quick Check | Yes |
| NFKC Quick Check | Yes |
| Numeric Type | None |
| Numeric Value | NaN |
| Line Break | Alphabetic |
| Script | Common |
| Script Extensions | Common |
| Indic Syllabic Category | Other |
| Pattern Syntax | Yes |
| Math | Yes |
| Vertical Orientation | Rotated |
| Grapheme Base | Yes |
| Grapheme Cluster Break | Other |
| Word Break | Other |
| Sentence Break | Other |