U+2982 "⦂" Z Notation Type Colon Unicode Character
Unicode Version 18.0
Source: Browser Default
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
Name
Z Notation Type Colon
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
Numeric Value
NaN
Script Extensions
Common