U+22AF "⊯" Negated Double Vertical Bar Double Right Turnstile Unicode Character
Unicode Version 17.0
⊯
U+22AF "⊯" Negated Double Vertical Bar Double Right Turnstile is a logical and mathematical symbol used primarily in formal logic, model theory, and metalogic to denote that a certain proposition or formula is not a logical consequence of a given set of premises under a specific interpretation or model. It visually combines a double vertical bar and a double right turnstile with a negation slash through the middle, effectively expressing the negation of the double turnstile relation. In practice, this symbol asserts that the premises do not satisfy or entail the conclusion in the semantic or model-theoretic sense, making it a critical tool for distinguishing between valid and invalid inferences in formal systems.
General Properties
| Code Point | U+22AF |
| Version Added | 1.1 |
| Name | Negated Double Vertical Bar Double Right Turnstile |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Decomposition Type | Canonical |
| Decomposition Mapping | "⊫" U+22AB Double Vertical Bar Double Right Turnstile "̸" U+0338 Combining Long Solidus Overlay |
Encodings
| HTML Decimal Encoding | ⊯ |
| HTML Hex Encoding | ⊯ |
| UTF-8 Encoding | 0xE2 0x8A 0xAF |
| UTF-16 Encoding | 0x22AF |
| UTF-32 Encoding | 0x000022AF |
| C/C++/Java Escape | \u22af |
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 |