Z Notation Left Image Bracket Symbol
⦇ is the Z notation left image bracket used in formal specification notation.
U+2987
The symbol ⦇ (U+2987) is named the “Z notation left image bracket.” It belongs to the Math category and is used in Z-style formal expressions. This page helps you copy it and use the correct code escapes in text and code.
Z Notation Left Image Bracket Symbol Meaning
⦇ is a mathematical/bracket symbol specifically labeled “Z notation left image bracket” (Unicode U+2987). In the Z notation family of formal specification languages, such bracket constructs help express relationships and mappings, often involving images (i.e., results of applying a function or relation). Because it’s a specialized symbol, you’ll most commonly see it in documents, comments, or tooling that uses Z notation for software/system specification. When typesetting, having the correct Unicode character matters for alignment and semantic clarity in formal text.
Common uses
- •Writing or reviewing Z notation specifications in documentation
- •Labeling or formatting mathematical expressions involving image brackets
- •Commenting source code where formal methods notation is referenced
- •Using Unicode math symbols in technical diagrams or specs
- •Publishing standards-style technical content that requires exact glyphs
Examples
⦇ Z notation left image bracket
- ⦇Let ⦇x ↦ y⦈ denote the image mapping in the specification.
- ⦇In our Z section, ⦇ is used as the left image bracket.
- ⦇The expression starts with ⦇ and ends with the matching right bracket.
- ⦇We include ⦇ in the typeset model to keep the notation consistent.
- ⦇Replace older bracket characters with ⦇ for correct Unicode rendering.
Variations
Ready to copy
Technical codes
| Unicode | U+2987 | |
| HTML Entity | ⦇ | |
| HTML Code | ⦇ | |
| CSS | \2987 |
FAQ
What does the Z Notation Left Image Bracket symbol mean?
⦇ is a mathematical/bracket symbol specifically labeled “Z notation left image bracket” (Unicode U+2987). In the Z notation family of formal specification languages, such bracket constructs help express relationships and mappings, often involving images (i.e., results of applying a function or relation). Because it’s a specialized symbol, you’ll most commonly see it in documents, comments, or tooling that uses Z notation for software/system specification. When typesetting, having the correct Unicode character matters for alignment and semantic clarity in formal text.
What is the Unicode name of ⦇?
It is named “Z notation left image bracket” and has code point U+2987.
How do I copy ⦇ from this page?
Copy the character shown at the top (⦇). You can also use the HTML entity ⦇ listed in the page data.
How can I use ⦇ in HTML?
Use the HTML entity ⦇ (or ⦇ if supported by your workflow).
Is ⦇ the same as a regular bracket like [ or {?
No. ⦇ is a specialized Unicode character for Z notation, so it may look different and is intended for formal specification contexts.