U+2988 "⦈" Z Notation Right Image Bracket Unicode Character
Unicode Version 17.0
⦈
U+2988 "⦈" Z Notation Right Image Bracket is a mathematical symbol used primarily in formal specification languages, specifically within the Z notation, to mark the right boundary of an image set or a relation’s right bracket in schemas and expressions. It pairs with its counterpart, the Z Notation Left Image Bracket (U+2987), to denote the mathematical image of a set under a relation or function. This symbol helps in clearly writing set-theoretic statements about relations in formal methods, aiding in the precise documentation of system requirements and software verification processes.
General Properties
| Code Point | U+2988 |
| Version Added | 3.2 |
| Name | Z Notation Right Image Bracket |
| Block | Miscellaneous Mathematical Symbols-B |
| General Category | Close Punctuation |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⦇" U+2987 Z Notation Left Image Bracket |
| Bidirectional Paired Bracket Type | Close |
| Bidirectional Paired Bracket | "⦇" U+2987 Z Notation Left Image Bracket |
Encodings
| HTML Decimal Encoding | ⦈ |
| HTML Hex Encoding | ⦈ |
| UTF-8 Encoding | 0xE2 0xA6 0x88 |
| UTF-16 Encoding | 0x2988 |
| UTF-32 Encoding | 0x00002988 |
| C/C++/Java Escape | \u2988 |