What ⦉ means
It opens a binding in Z notation.
A binding maps component names to values; schema types declare their types. In ⦉x:X⦊, x is named with type X, not assigned a value.
A formal-semantics report on Z appeared in 1984. The Z Base Standard, printed in 1992, defines binding extensions as names mapped to expressions. These dates trace the binding idea, not this bracket’s origin.
Specialist notation for formal Z specifications.
An opening ⦉ needs its closing ⦊.
Don't confuse it with
1
Related characters
1
Combination ideas
1A schema-type declaration: component x has type X.
Questions people ask
1Why 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.
More like this
8
How to type or find ⦉
- Search it as
- Z binding · lblot
- Shows up in
- Anything that takes text · its shape is whatever your font draws
Windows (Word)
Windows
macOS
HTML
⦉CSS
\2989Z typesetting
A Z typesetting setup may define
\lblot for this opener.Java source
In Java source, write
\u2989 for this character.Codes and encoding1 code points
HTML decimal
⦉
HTML hex
⦉
CSS content
content: "\2989";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%A6%89
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.