U+2989 "⦉" Z Notation Left Binding Bracket Unicode Character
Unicode Version 17.0
⦉
U+2989 "⦉" Z Notation Left Binding Bracket is a specialized symbol used in the Z formal specification language to denote the beginning of a binding, a construct that groups together a set of variable names with their corresponding values into a single structured entity. This bracket pairs with its right counterpart, U+298A, to visually enclose the components of a binding in Z notation, a mathematical approach for specifying and modeling software systems. Its inclusion in Unicode ensures that this technical symbol can be consistently represented, exchanged, and rendered in digital text, supporting precise communication in formal methods and software engineering.
General Properties
| Code Point | U+2989 |
| Version Added | 3.2 |
| Name | Z Notation Left Binding Bracket |
| Block | Miscellaneous Mathematical Symbols-B |
| General Category | Open Punctuation |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⦊" U+298A Z Notation Right Binding Bracket |
| Bidirectional Paired Bracket Type | Open |
| Bidirectional Paired Bracket | "⦊" U+298A Z Notation Right Binding Bracket |
Encodings
| HTML Decimal Encoding | ⦉ |
| HTML Hex Encoding | ⦉ |
| UTF-8 Encoding | 0xE2 0xA6 0x89 |
| UTF-16 Encoding | 0x2989 |
| UTF-32 Encoding | 0x00002989 |
| C/C++/Java Escape | \u2989 |