What ⦊ means
It closes a Z binding. A binding gathers named components with their associated values or declarations into one structured object.
Its matching opener is ⦉; together they mark where that object begins and ends in a formal expression.
When did Z notation develop?
During the 1970s and 1980s. Z grew from set theory, the mathematics of collections, and predicate logic, which studies statements about objects. It became a formal way to specify software and other discrete systems.
Highly technical; suited to Z specifications and mathematical typesetting.
Outside a Z expression, readers may mistake it for an ordinary right bracket.
Don't confuse it with
1
Related characters
1
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 notation · binding bracket · Z binding · formal specification
- Shows up in
- Anything that takes text · its shape is whatever your font draws
⦊\298ACodes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.