U+2A3E "⨾" Z Notation Relational Composition Unicode Character
Unicode Version 17.0
⨾
U+2A3E "⨾" Z Notation Relational Composition is a mathematical symbol used primarily in the Z formal specification language to denote the composition of two binary relations. Specifically, it represents the relational composition operator, where for relations R and S, the composition R ⨾ S yields a new relation containing all pairs (x, z) such that there exists an intermediary y with (x, y) in R and (y, z) in S. This symbol is visually distinguished from the similar-looking semicolon by its larger size and central dot, and it plays a critical role in formally describing system behaviors, data flow, and state transitions in software and hardware specifications.
General Properties
| Code Point | U+2A3E |
| Version Added | 3.2 |
| Name | Z Notation Relational 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 0xBE |
| UTF-16 Encoding | 0x2A3E |
| UTF-32 Encoding | 0x00002A3E |
| C/C++/Java Escape | \u2a3e |
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 |