U+2A1F "⨟" Z Notation Schema Composition Unicode Character
Unicode Version 17.0
⨟
U+2A1F "⨟" Z Notation Schema Composition is a mathematical symbol used within the Z notation formal specification language to combine two schemas, which are essentially logical containers for states or operations, into a single composed schema. Specifically, this operator composes schemas by matching their common state components and combining their predicates, allowing for the sequential or parallel composition of system behaviors. It is a distinct symbol from other composition operators in Z, such as schema conjunction or piping, and appears primarily in formal methods literature and related technical documentation for specifying software and hardware systems.
General Properties
| Code Point | U+2A1F |
| Version Added | 3.2 |
| Name | Z Notation Schema Composition |
| Block | Supplemental Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
Encodings
| HTML Decimal Encoding | ⨟ |
| HTML Hex Encoding | ⨟ |
| UTF-8 Encoding | 0xE2 0xA8 0x9F |
| UTF-16 Encoding | 0x2A1F |
| UTF-32 Encoding | 0x00002A1F |
| C/C++/Java Escape | \u2a1f |
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 |