U+2A21 "⨡" Z Notation Schema Projection Unicode Character
Unicode Version 17.0
U+2A21 "⨡" Z Notation Schema Projection is a mathematical symbol used within the Z formal specification language, where it represents the operation of projecting a schema onto a subset of its components. In Z notation, a schema defines a collection of variables and their constraints, and this projection operator selects only those variables specified in a target schema, effectively hiding or discarding the others. The resulting structure retains all the original properties of the chosen variables while omitting the excluded ones, allowing for modular refinement and focused analysis of complex system specifications. Its inclusion in Unicode ensures that computer-based tools and documents can reliably represent this precise logical operation.
General Properties
Encodings
| HTML Decimal Encoding |
⨡ |
| HTML Hex Encoding |
⨡ |
| UTF-8 Encoding |
0xE2 0xA8 0xA1 |
| UTF-16 Encoding |
0x2A21 |
| UTF-32 Encoding |
0x00002A21 |
| C/C++/Java Escape |
\u2a21 |
Unicode Properties