fsymbols
🔍
Loading symbols…
››
⦂

z notation type colon

Z notation type colon

⦂ is the dedicated type colon in Z notation: a variable's name comes before it, and its type expression after. Many Z texts use ordinary <code>:</code> for the same declaration, so this glyph marks the same role rather than a new rule.

Text symbol
Search it as
Z notation · type colon · Z colon · math colon
Shows up in
Anything that takes text · its shape is whatever your font draws

What ⦂ means

It separates a declared name from its type expression. Z is a formal language for describing computing systems. In a declaration, the name comes before ⦂ and a set expression after; that expression constrains possible values and determines the variable's type.

Z grew from Jean-Raymond Abrial's work in the late 1970s and developed further at Oxford. Z texts commonly print ordinary : for this declaration role; ⦂ is a dedicated Unicode form.

A specialist character for formal Z specifications.

Don't confuse it with

1
:
Colon
In Z notation, ordinary `:` is common in declarations; ⦂ is a distinct Unicode character for the same role.

Questions people ask

1

Why does ⦂ show as a box on some devices?

Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.

How to type ⦂

Windows (Word)
Alt+XType 2982, then Alt+X to get ⦂.
Windows
Win+Rrun charmap for the full table, or use the emoji picker's Ω symbols tab (Win + .).
macOS
Control+Command+SpaceOpen the character viewer and search “z notation type colon”.
Linux
Ctrl+Shift+UType 2982, then Enter or Space.
HTML
&#x2982;
CSS
\2982
How to type Z notation colon
Use a Unicode hexadecimal input method for U+2982; the keystrokes depend on your device.
Z notation type colon font missing
If ⦂ is missing or shows as a box, the font may not cover it; choose one with U+2982 support.
Codes and encoding1 code points
HTML decimal
&#10626;
HTML hex
&#x2982;
CSS content
content: "\2982";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%A6%82
1
On screen
1
Code points
1
JS .length
3
UTF-8 bytes

A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.

Families this belongs to

1

Maths & numbers1,835 symbols

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣