Z Notation Spot Symbol
⦁ is the Z notation spot symbol used in formal specification notation.
U+2981
⦁ is a Unicode math symbol known as the Z notation spot. It appears in the Z formal method and related documentation and tooling. Use it when you need the exact “spot” character rather than a generic bullet.
Z Notation Spot Symbol Meaning
The symbol ⦁ is “Z Notation Spot” (Unicode code point U+2981). In contexts that use Z notation, it functions as a dedicated marker, distinct from common bullets like “•” or “·”. Because it has its own Unicode identity, it’s suitable for formal text, specifications, and software artifacts where exact character matching matters. If you are working with Z-related documents, grammars, or diagrams, using ⦁ helps preserve semantic intent and avoids rendering or parsing issues that can happen with visually similar characters.
Common uses
- •Marking a “spot” or placeholder in Z notation text and specifications
- •Writing formal-method documentation where exact symbol identity is important
- •Labeling parts of diagrams or constraints in Z-related educational material
- •Using in code comments or test fixtures that mirror Z notation character sets
- •Creating consistent typography in technical reports that rely on Unicode symbols
Examples
⦁ Z Notation Spot
- ⦁The schema includes ⦁ to indicate a specific spot in the specification.
- ⦁In our notation, we use ⦁ instead of a generic bullet for clarity.
- ⦁The definition references ⦁ as a marker for the selected component.
- ⦁When rendering Z documents, ensure ⦁ is preserved as U+2981.
- ⦁The example uses ⦁ to keep the syntax aligned with Z notation.
Variations
Ready to copy
Technical codes
| Unicode | U+2981 | |
| HTML Entity | ⦁ | |
| HTML Code | ⦁ | |
| CSS | \2981 |
FAQ
What does the Z Notation Spot symbol mean?
The symbol ⦁ is “Z Notation Spot” (Unicode code point U+2981). In contexts that use Z notation, it functions as a dedicated marker, distinct from common bullets like “•” or “·”. Because it has its own Unicode identity, it’s suitable for formal text, specifications, and software artifacts where exact character matching matters. If you are working with Z-related documents, grammars, or diagrams, using ⦁ helps preserve semantic intent and avoids rendering or parsing issues that can happen with visually similar characters.
What is the Unicode code point for ⦁?
⦁ is Unicode “Z Notation Spot” at U+2981.
How do I copy ⦁ reliably in HTML?
Use the HTML entity ⦁.
Is ⦁ the same as the normal bullet “•”?
No. ⦁ is specifically U+2981 (Z Notation Spot) and is different from “•”, even if they can look similar.
What’s the correct JavaScript escape for ⦁?
Use \\u{2981}.