Z Notation Bag Membership Symbol
⋿ denotes bag membership in Z notation.
U+22FF
⋿ is a mathematical symbol used in Z notation. It indicates membership with respect to a bag (multiset). Use it when you need to express that an element occurs in a bag, not just whether it is present at least once.
Z Notation Bag Membership Symbol Meaning
⋿ is the Unicode symbol named “Z NOTATION BAG MEMBERSHIP” with code point U+22FF. In Z notation, it is used to state that something is a member of a bag, reflecting multiset behavior (elements can occur multiple times). This differs from ordinary set membership because a bag tracks counts, so the expression is about belonging to the bag as a multiset. When writing specifications, modeling, or teaching Z notation, this symbol helps communicate bag membership precisely. It can be used in plain text, documentation, and programming contexts by referencing the Unicode code point, the HTML entity, or escape sequences.
Common uses
- •Formal specification writing in Z notation for bags (multisets)
- •Technical documentation to distinguish bag membership from set membership
- •Modeling system behavior where items may repeat and counts matter
- •Writing or reviewing formal methods materials and exercises
- •Annotating diagrams or notes in requirements/specification workflows
Examples
⋿ Z Notation Bag Membership
- ⋿x ⋿ B
- ⋿3 ⋿ multisetBag
- ⋿a ⋿ bagOfTokens
- ⋿y ⋿ Sbag
- ⋿elt ⋿ Bag
Variations
Ready to copy
Technical codes
| Unicode | U+22FF | |
| HTML Entity | ⋿ | |
| HTML Code | ⋿ | |
| CSS | \22FF |
FAQ
What does ⋿ mean?
⋿ is “Z Notation Bag Membership”, meaning membership in a bag (multiset) in Z notation.
What is the Unicode code point for ⋿?
The symbol ⋿ is U+22FF.
How can I copy ⋿ in HTML?
You can use the HTML entity: ⋿.
How do I type ⋿ in a programming context?
Common escapes include \\22FF and \\u{22FF} (depending on your language/editor).