U+22AE "⊮" Does Not Force Unicode Character
Unicode Version 17.0
⊮
U+22AE "⊮" Does Not Force is a mathematical logic symbol used primarily in model theory and formal semantics to denote that a particular structure or assignment does not force a given formula to be true, serving as the negation of the forcing relation (⊩). It indicates the failure of a forcing condition, meaning that in a given interpretation or Kripke model, the proposition is not necessarily valid or forced at a specific world or state. This symbol is part of the Unicode block for Mathematical Operators, allowing it to be represented electronically in text and in various digital documents dealing with logical reasoning and advanced mathematics.
General Properties
| Code Point | U+22AE |
| Version Added | 1.1 |
| Name | Does Not Force |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Decomposition Type | Canonical |
| Decomposition Mapping | "⊩" U+22A9 Forces "̸" U+0338 Combining Long Solidus Overlay |
Encodings
| HTML Decimal Encoding | ⊮ |
| HTML Hex Encoding | ⊮ |
| UTF-8 Encoding | 0xE2 0x8A 0xAE |
| UTF-16 Encoding | 0x22AE |
| UTF-32 Encoding | 0x000022AE |
| C/C++/Java Escape | \u22ae |
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 |