Z Notation Left Binding Bracket Symbol
⦉ is the Z Notation left binding bracket, used in formal specification to group bound expressions.
U+2989
⦉ (U+2989) is a Z Notation symbol used to indicate a left binding bracket. It appears in formal specification contexts where bindings need clear visual structure. This page helps you copy the character reliably across platforms.
Z Notation Left Binding Bracket Symbol Meaning
⦉ is the “Z Notation Left Binding Bracket” (Unicode U+2989). In Z notation, binding brackets help structure expressions that introduce or control variable bindings. The glyph visually pairs with a corresponding right binding bracket in typical notation so readers can clearly see the scope of what is being bound. Because it is part of a formal language, the symbol is most commonly encountered in technical documents, specifications, and tooling that renders Z notation consistently. When copying, use the provided HTML entity or code-point escapes to avoid mismatches across fonts and editors.
Common uses
- •Writing or typesetting Z notation expressions in documentation
- •Annotating formal specifications where variable binding scope must be explicit
- •Using in technical notes or teaching materials about Z notation syntax
- •Rendering input/output examples in tools that support Z notation
- •Adding correct mathematical/technical typography in design or publishing workflows
Examples
⦉ Z Notation Left Binding Bracket
- ⦉Use ⦉ to start a binding scope in Z notation examples.
- ⦉In a specification draft, place ⦉ before the bound expression.
- ⦉Documentation shows ⦉ with a matching right binding bracket.
- ⦉When writing formal text, keep the binding brackets consistent as ⦉ … ⦊.
- ⦉In code listings for Z notation, include ⦉ where the left binding bracket is required.
Variations
Ready to copy
Technical codes
| Unicode | U+2989 | |
| HTML Entity | ⦉ | |
| HTML Code | ⦉ | |
| CSS | \2989 |
FAQ
What does the Z Notation Left Binding Bracket symbol mean?
⦉ is the “Z Notation Left Binding Bracket” (Unicode U+2989). In Z notation, binding brackets help structure expressions that introduce or control variable bindings. The glyph visually pairs with a corresponding right binding bracket in typical notation so readers can clearly see the scope of what is being bound. Because it is part of a formal language, the symbol is most commonly encountered in technical documents, specifications, and tooling that renders Z notation consistently. When copying, use the provided HTML entity or code-point escapes to avoid mismatches across fonts and editors.
What is ⦉ called?
⦉ is called the “Z Notation Left Binding Bracket” (Unicode U+2989).
What Unicode code point is ⦉?
The Unicode code point for ⦉ is U+2989.
How can I include ⦉ in HTML?
Use the HTML entity: ⦉ (as provided for this symbol).
How do I escape ⦉ in CSS or JavaScript?
CSS escape: \\2989. JavaScript escape: \\u{2989}.