Z Notation Right Image Bracket Symbol
⦈ is the Z Notation right image bracket symbol (Unicode U+2988).
U+2988
⦈ (Unicode U+2988) is a bracket symbol used in formal specifications written in Z notation. It helps express an “image” construct on the right side of related expressions. This page explains the meaning and provides copy-friendly options for documents and code.
Z Notation Right Image Bracket Symbol Meaning
⦈ is the “Z Notation Right Image Bracket” symbol. It appears in Z notation, a formal specification language used to describe system states and operations with mathematical precision. In typical usage, it works as part of a bracketed “image” expression, indicating that a transformation or relation is being applied and the resulting set is considered on the right-hand side. Because it’s a Unicode character (U+2988), it can be inserted directly into plain text, rich text, or source code, provided the chosen font supports it.
Common uses
- •Writing or reviewing Z notation specifications in documentation and technical reports
- •Typing formal language expressions in academic writing about specifications and refinement
- •Formatting diagrams or labels that reference Z notation “image” constructs
- •Including the symbol in software engineering training materials for formal methods
- •Using Unicode symbols in code comments for clarity in specification-related codebases
Examples
⦈ Z Notation Right Image Bracket
- ⦈⦈ R denotes the right image bracket part of an image expression in Z notation.
- ⦈The mapping is written with an image bracket: A ⦈ B (in Z notation context).
- ⦈In the specification, the right-hand image construct uses ⦈ for clarity.
- ⦈When transcribing Z notation, ensure U+2988 is used for ⦈.
- ⦈Refer to the Z notation definition of the image brackets: ⦈ as the right bracket.
Variations
Ready to copy
Technical codes
| Unicode | U+2988 | |
| HTML Entity | ⦈ | |
| HTML Code | ⦈ | |
| CSS | \2988 |
FAQ
What does the Z Notation Right Image Bracket symbol mean?
⦈ is the “Z Notation Right Image Bracket” symbol. It appears in Z notation, a formal specification language used to describe system states and operations with mathematical precision. In typical usage, it works as part of a bracketed “image” expression, indicating that a transformation or relation is being applied and the resulting set is considered on the right-hand side. Because it’s a Unicode character (U+2988), it can be inserted directly into plain text, rich text, or source code, provided the chosen font supports it.
What is the Unicode codepoint for ⦈?
⦈ is U+2988 (Z NOTATION RIGHT IMAGE BRACKET).
How can I copy ⦈ into HTML?
Use the provided HTML entity: ⦈.
How do I include ⦈ in CSS or JavaScript?
CSS escape: \\2988. JavaScript escape: \\u{2988}.
What is ⦈ used for in practice?
It’s used in Z notation as the right image bracket in “image” expressions within formal specifications.