Z Notation Bag Membership

Z Notation Bag Membership at U+22FF is a mathematical relation symbol meaning membership in a bag, or multiset, rather than in an ordinary set. It belongs to the Mathematical Operators block and is mainly tied to formal specification notation instead of everyday arithmetic. Its clearest use is in Z notation, a schema-based formal method used in software engineering and systems specification. There, a bag records elements together with their multiplicities, so a statement such as x ⋿ B says that x occurs in the bag B at least once, not merely that it is a possible set element. The symbol can also appear in theoretical computer science, discrete mathematics, and specification texts that adopt Z-style multiset notation. It is uncommon in general mathematical writing, where authors often use words, custom operators, or membership notation with additional definitions for multisets. Because this is a specialized Z notation character, it may be missing from fonts aimed only at ordinary text and basic mathematics. When exact formal notation matters, substituting a similar membership sign can change the intended distinction between set membership and bag membership.