U+22AD "⊭" Not True Unicode Character
Unicode Version 17.0
⊭
U+22AD "⊭" Not True is a mathematical logic symbol that represents the negation of a double turnstile, indicating that a statement is not a semantic consequence or that it is not true under a given interpretation. It combines the double turnstile symbol (⊨) with a diagonal negation stroke, and in formal logic it is used to assert that a model does not satisfy a particular formula or that a premise does not logically entail a conclusion. This symbol is part of the Unicode block for miscellaneous mathematical symbols and is distinct from other similar operators like the logical not sign or the negated single turnstile.
General Properties
| Code Point | U+22AD |
| Version Added | 1.1 |
| Name | Not True |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Decomposition Type | Canonical |
| Decomposition Mapping | "⊨" U+22A8 True "̸" U+0338 Combining Long Solidus Overlay |
Encodings
| HTML Decimal Encoding | ⊭ |
| HTML Hex Encoding | ⊭ |
| UTF-8 Encoding | 0xE2 0x8A 0xAD |
| UTF-16 Encoding | 0x22AD |
| UTF-32 Encoding | 0x000022AD |
| C/C++/Java Escape | \u22ad |
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 |