U+2982 "⦂" Z Notation Type Colon Unicode Character
Unicode Version 17.0
⦂
U+2982 "⦂" Z Notation Type Colon is a specialized symbol used in the Z formal specification language, where it serves as a distinct type colon to denote type membership, separating a variable's name from its declared type within schemas and mathematical expressions. Its unique shape, featuring a monospaced colon with heightened vertical alignment, helps avoid ambiguity with the standard colon in complex formal notations, supporting precise definitions in software engineering and systems design.
General Properties
| Code Point | U+2982 |
| Version Added | 3.2 |
| Name | Z Notation Type Colon |
| Block | Miscellaneous Mathematical Symbols-B |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
Encodings
| HTML Decimal Encoding | ⦂ |
| HTML Hex Encoding | ⦂ |
| UTF-8 Encoding | 0xE2 0xA6 0x82 |
| UTF-16 Encoding | 0x2982 |
| UTF-32 Encoding | 0x00002982 |
| C/C++/Java Escape | \u2982 |
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 |