Not True Symbol
⊭ is the “not true” logic symbol used to express that a statement is not true.
U+22AD
The symbol ⊭, Unicode U+22AD, is commonly described as “NOT TRUE.” It’s used in contexts where you want to clearly negate truth in a statement. Below you’ll find practical uses, examples, and copy options.
Not True Symbol Meaning
⊭ (Unicode U+22AD) is labeled “NOT TRUE.” In logic and formal writing, it expresses that a proposition is not true—often as a direct negation of truth. Depending on the surrounding notation, it may be used to indicate failure, inconsistency, or the absence of validity for a claim. Because it’s a mathematical-style symbol, it’s best suited for documents, UI labels, and technical text where you want the meaning to be explicit rather than implied. When used in plain text, pairing it with a short statement (e.g., “⊭ is satisfied”) helps readers understand what is being negated.
Common uses
- •Annotating logic conditions in technical documentation
- •Marking validation results in forms or rule engines (e.g., “⊭ not true”)
- •Building truth/logic tables in notes or spreadsheets
- •Labeling non-qualifying states in diagrams and workflows
- •Expressing negated claims in educational or reference writing
Examples
⊭ Not True Symbol (U+22AD)
- ⊭Condition A: ⊭ true
- ⊭Result: ⊭ holds for this input
- ⊭If the predicate is ⊭ true, skip the step
- ⊭Validity check: ⊭ not true (requires review)
- ⊭Statement P: ⊭ true under assumption X
Variations
Ready to copy
Technical codes
| Unicode | U+22AD | |
| HTML Entity | ⊭ | |
| HTML Code | ⊭ | |
| CSS | \22AD |
FAQ
What is the Unicode code point for ⊭?
The symbol ⊭ has Unicode code point U+22AD.
How can I copy the “NOT TRUE” symbol?
You can copy it directly from this page as ⊭, or use the provided HTML/CSS/JavaScript escapes.
What does ⊭ mean in logic or math text?
It is commonly used to mean “NOT TRUE,” indicating that a statement or proposition is not true.
Is ⊭ the same as the general “logical NOT” symbol?
It’s related in meaning (negation), but ⊭ is specifically the “NOT TRUE” symbol (U+22AD) rather than the more common generic logical-not forms.