Z Notation Spot
Part of Math Symbols
Z Notation Spot has no standard Windows Alt code. Copy the character directly, or use its HTML entity or Unicode value instead.
- Alt code
- None
- HTML entity
- ⦁
- Unicode
- U+2981
About this symbol
⦁ is the spot of Z notation, a mathematical language for describing what computer programs should do, developed at Oxford University from the late 1970s. Z writes specifications as sets and logic, and it has been used for safety-critical software.
Unicode facts
- Official name
- Z NOTATION SPOT
- Type
- Maths symbol
- Unicode block
- Miscellaneous Mathematical Symbols-B
- Unicode group
- Miscellaneous mathematical symbols
- Added in
- Unicode 3.2 (2002)
- Unicode notes
- Medium-small-sized black circle
Click the symbol or any value at the top of the page to copy it. See the full Math Symbols chart for related characters.