Z Notation Right Binding Bracket Symbol
⦊ is the Z notation right binding bracket used to indicate binding structure in formal specifications.
U+298A
The symbol ⦊ is known as the Z notation right binding bracket. It’s part of the formal notation used for describing systems precisely. Use it when writing Z specifications or typesetting math with binding operators.
Z Notation Right Binding Bracket Symbol Meaning
⦊ (U+298A) is the “Z notation right binding bracket.” In Z notation, binding brackets help express scoped structures, such as where variables are introduced and how they apply within a specification. The bracket is specifically the right binding bracket, complementing the corresponding left binding bracket. In practice, you’ll encounter it when typesetting or editing formal logic and specification documents, especially in technical writing, academic materials, and tooling-related documentation. If you’re copying the character into plain text or a document editor, it preserves the intended semantic role in Z notation and related mathematical expressions.
Common uses
- •Typing or reviewing Z notation specifications in documentation and notes
- •Formatting formal math expressions that require binding brackets
- •Preparing academic or technical papers that reference Z notation syntax
- •Using the symbol in code comments or developer docs for specification tooling
- •Creating consistent typography in diagrams, worksheets, or teaching materials for Z notation
Examples
⦊ Z notation right binding bracket
- ⦊Let ⦊x⦋ denote the scoped binding on the right side in the specification.
- ⦊The expression requires the Z notation right binding bracket ⦊ in its grammar.
- ⦊When typesetting the rule, include ⦊ to mark the end of the bound scope.
- ⦊In the template, ⦊ appears after the bound variable list.
- ⦊Replace the placeholder with ⦊ when exporting the specification to text.
Variations
Ready to copy
Technical codes
| Unicode | U+298A | |
| HTML Entity | ⦊ | |
| HTML Code | ⦊ | |
| CSS | \298A | |
| Alt Code | Alt + 10634 | |
| Decimal | 10634 |
How to type Z Notation Right Binding Bracket Symbol (⦊)
On Windows
Hold Alt and type 10634 on the numeric keypad. In Word, type 298A then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 298A. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 298a, then press Enter or Space.
Anywhere
Copy ⦊ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
FAQ
What does the Z Notation Right Binding Bracket symbol mean?
⦊ (U+298A) is the “Z notation right binding bracket.” In Z notation, binding brackets help express scoped structures, such as where variables are introduced and how they apply within a specification. The bracket is specifically the right binding bracket, complementing the corresponding left binding bracket. In practice, you’ll encounter it when typesetting or editing formal logic and specification documents, especially in technical writing, academic materials, and tooling-related documentation. If you’re copying the character into plain text or a document editor, it preserves the intended semantic role in Z notation and related mathematical expressions.
What is the symbol ⦊ called?
It is called the “Z notation right binding bracket.”
What is its Unicode code point?
The Unicode code point for ⦊ is U+298A.
How can I copy ⦊ into my document?
Copy the character ⦊ directly from this page, or use the HTML entity (⦊), CSS escape (\\298A), or JavaScript escape (\\u{298A}) shown on the page data.
Does ⦊ have an opposite counterpart?
Yes. As a right binding bracket, it is typically paired with the corresponding left binding bracket in Z notation.