Z Notation Type Colon Symbol
⦂ is the Z Notation type colon symbol used to indicate a type in formal specification text.
U+2982
⦂ is a typographic symbol from the Z notation family used in formal specification writing. It looks like a colon with a top marker and is specifically named “Z NOTATION TYPE COLON”. This page helps you copy the character and use the correct Unicode representation.
Z Notation Type Colon Symbol Meaning
⦂ (Unicode U+2982) is called the “Z NOTATION TYPE COLON”. In Z notation contexts, it denotes a type assignment or type annotation, helping distinguish type information from ordinary punctuation like a standard colon. Unlike the regular colon “:”, this character is a dedicated symbol intended for formal, typeset specification documents. When you need clear, standards-aligned markup in documents, source code text, or technical diagrams that reference Z notation, using ⦂ instead of a plain colon can improve readability and reduce ambiguity. It’s also useful when you want consistent symbol rendering across platforms through Unicode.
Common uses
- •Annotating variables or expressions with their types in Z notation specifications
- •Writing formal documents where type information must be visually distinct from punctuation
- •Editing or reviewing specification text that already uses the Z type-colon character
- •Creating technical documentation or diagrams referencing Z notation syntax
- •Using Unicode-correct symbols in markdown, plain text, or content management systems
Examples
⦂ — Z Notation Type Colon
- ⦂x ⦂ T
- ⦂a ⦂ AType
- ⦂value ⦂ ℕ
- ⦂s ⦂ STRING
- ⦂expr ⦂ ExprType
Variations
Ready to copy
Technical codes
| Unicode | U+2982 | |
| HTML Entity | ⦂ | |
| HTML Code | ⦂ | |
| CSS | \2982 |
FAQ
What does the Z Notation Type Colon symbol mean?
⦂ (Unicode U+2982) is called the “Z NOTATION TYPE COLON”. In Z notation contexts, it denotes a type assignment or type annotation, helping distinguish type information from ordinary punctuation like a standard colon. Unlike the regular colon “:”, this character is a dedicated symbol intended for formal, typeset specification documents. When you need clear, standards-aligned markup in documents, source code text, or technical diagrams that reference Z notation, using ⦂ instead of a plain colon can improve readability and reduce ambiguity. It’s also useful when you want consistent symbol rendering across platforms through Unicode.
What is the Unicode code point for ⦂?
The symbol ⦂ is Unicode U+2982.
How do I type or insert ⦂ in software?
You can insert it directly as the character ⦂, or use the Unicode escapes: HTML entity ⦂, CSS escape \\2982, or JavaScript escape \\u{2982}.
Is ⦂ the same as the normal colon ':'?
No. ⦂ is a distinct character called the Z Notation Type Colon. It’s meant for type annotations in formal specification text, unlike the standard colon ':'.
Where is ⦂ commonly used?
It’s used in Z notation contexts to indicate type information, especially in formal specifications, technical documentation, and related examples.