U+2A20 "⨠" Z Notation Schema Piping Unicode Character
Unicode Version 17.0
U+2A20 "⨠" Z Notation Schema Piping is a mathematical symbol used within the Z notation formal specification language, where it serves as a binary operator to combine two schemas by merging their declarations and conjoining their predicates, with the right-hand schema's inputs being matched to the left-hand schema's outputs. This piping mechanism facilitates the sequential composition of operations, allowing the output of one schema to feed directly into the input of another, much like a pipe in a shell command. The symbol resembles a rightward double arrow with a vertical stroke, distinguishing it from simpler arrows or turnstile operators, and it is encoded in Unicode’s Supplemental Mathematical Operators block to support precise documentation and software tools for formal methods.
General Properties
Encodings
| HTML Decimal Encoding |
⨠ |
| HTML Hex Encoding |
⨠ |
| UTF-8 Encoding |
0xE2 0xA8 0xA0 |
| UTF-16 Encoding |
0x2A20 |
| UTF-32 Encoding |
0x00002A20 |
| C/C++/Java Escape |
\u2a20 |
Unicode Properties