U+2A64 "⩤" Z Notation Domain Antirestriction Unicode Character
Unicode Version 17.0
⩤
U+2A64 "⩤" Z Notation Domain Antirestriction is a mathematical symbol used in the Z notation formal specification language to represent the operation of domain antirestriction, also known as domain subtraction. This operator, when applied to a relation, removes from that relation all ordered pairs whose first element belongs to a specified set, effectively resulting in a new relation that contains only those pairs where the domain element is not in that set. It is visually similar to a less-than or equal sign with a vertical stroke on the left, and it serves as a precise tool for specifying constraints and data transformations in formal methods for software and systems engineering.
General Properties
| Code Point | U+2A64 |
| Version Added | 3.2 |
| Name | Z Notation Domain Antirestriction |
| Block | Supplemental Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⩥" U+2A65 Z Notation Range Antirestriction |
Encodings
| HTML Decimal Encoding | ⩤ |
| HTML Hex Encoding | ⩤ |
| UTF-8 Encoding | 0xE2 0xA9 0xA4 |
| UTF-16 Encoding | 0x2A64 |
| UTF-32 Encoding | 0x00002A64 |
| C/C++/Java Escape | \u2a64 |
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 |