U+298A "⦊" Z Notation Right Binding Bracket Unicode Character
Unicode Version 17.0
⦊
U+298A "⦊" Z Notation Right Binding Bracket is a specialized mathematical symbol used within the Z formal specification language, where it functions as the closing counterpart to the left binding bracket. In Z notation, this bracket is employed to denote scope or grouping in formal definitions and logical expressions, particularly in the construction of schemas and bindings that describe system states and operations. Its inclusion in Unicode facilitates the digital representation and interchange of formal mathematical texts and software verification documents, ensuring that the precise syntax of Z notation can be maintained in plain text and electronic publications.
General Properties
| Code Point | U+298A |
| Version Added | 3.2 |
| Name | Z Notation Right Binding Bracket |
| Block | Miscellaneous Mathematical Symbols-B |
| General Category | Close Punctuation |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⦉" U+2989 Z Notation Left Binding Bracket |
| Bidirectional Paired Bracket Type | Close |
| Bidirectional Paired Bracket | "⦉" U+2989 Z Notation Left Binding Bracket |
Encodings
| HTML Decimal Encoding | ⦊ |
| HTML Hex Encoding | ⦊ |
| UTF-8 Encoding | 0xE2 0xA6 0x8A |
| UTF-16 Encoding | 0x298A |
| UTF-32 Encoding | 0x0000298A |
| C/C++/Java Escape | \u298a |