U+2A21 "⨡" Z Notation Schema Projection Unicode Character

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.