U+2A65 "⩥" Z Notation Range Antirestriction Unicode Character
Unicode Version 17.0
⩥
U+2A65 "⩥" Z Notation Range Antirestriction is a mathematical symbol from the Z notation specification language, used to denote the operation of removing a restriction from a function or relation. In formal methods, restriction applies a domain or range condition that limits a relation, and the antirestriction symbol reverses this by excluding that condition, effectively specifying the part of the relation that was not previously selected. This character supports precise expression in highly formal contexts like computer science and software engineering, where Z notation models system properties and constraints.
General Properties
| Code Point | U+2A65 |
| Version Added | 3.2 |
| Name | Z Notation Range Antirestriction |
| Block | Supplemental Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⩤" U+2A64 Z Notation Domain Antirestriction |
Encodings
| HTML Decimal Encoding | ⩥ |
| HTML Hex Encoding | ⩥ |
| UTF-8 Encoding | 0xE2 0xA9 0xA5 |
| UTF-16 Encoding | 0x2A65 |
| UTF-32 Encoding | 0x00002A65 |
| C/C++/Java Escape | \u2a65 |
Unicode Properties
| NFC Quick Check | Yes |
| NFD Quick Check | Yes |
| NFKC Quick Check | Yes |
| NFKD 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 |