Does Not Prove Symbol
⊬ is the “does not prove” symbol used to express that a statement is not derivable.
U+22AC
The symbol ⊬ is named “Does Not Prove.” It’s commonly used in formal logic and proof-related notation. You can copy it directly or use the provided code escapes in HTML, CSS, and JavaScript.
Does Not Prove Symbol Meaning
⊬ (U+22AC, “DOES NOT PROVE”) denotes that something does not follow from a set of statements by proof. In practice, it can be used to indicate that a particular statement cannot be derived, validated, or proven within a given system or context. As an isolated character, its meaning is most reliable when placed in logical or proof-style expressions (often alongside turnstile/derivation symbols). If you’re not working with formal logic notation, it may look unfamiliar; in that case, consider adding surrounding text or using a clearer symbol in diagrams and documents.
Common uses
- •Write formal logic notes indicating a statement is not derivable
- •Annotate proofs or proof attempts to mark “not provable” results
- •Label steps in logic exercises and worksheets
- •Create math/logic documentation where derivability is discussed
- •Use in online posts or diagrams to contrast with “proves” symbols
Examples
⊬ Does Not Prove Symbol
- ⊬T ⊬ φ
- ⊬Γ ⊬ ψ
- ⊬From these axioms, we have ⊬ χ.
- ⊬It is not the case that ⊬ θ holds? (check derivations)
- ⊬Assuming Γ, ⊬ (A → B) does not follow.
Variations
Ready to copy
Technical codes
| Unicode | U+22AC | |
| HTML Entity | ⊬ | |
| HTML Code | ⊬ | |
| CSS | \22AC | |
| Alt Code | Alt + 8876 | |
| Decimal | 8876 |
How to type Does Not Prove Symbol (⊬)
On Windows
Hold Alt and type 8876 on the numeric keypad. In Word, type 22AC then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 22AC. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 22ac, then press Enter or Space.
Anywhere
Copy ⊬ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
FAQ
What does the symbol ⊬ mean?
⊬ is named “Does Not Prove” and is used to indicate that a statement is not derivable/provable in a given logical context.
How do I copy ⊬ in text?
Copy the character directly: ⊬. You can paste it into documents, design tools, or code editors that support Unicode.
What is the Unicode code point for ⊬?
The Unicode code point is U+22AC.
How can I insert ⊬ using code?
HTML: ⊬ CSS escape: \22AC JavaScript escape: \u{22AC}.