U+22FF • mathematics
Symbol 'Z Notation Bag Membership' (⋿) used in the Z notation formal specification language to denote membership in a bag (multiset). It is a specialized symbol for expressing element membership within multisets in formal methods and software specification.
The Symbol For Z Notation Bag Membership (⋿) is a unicode character in the Basic Multilingual Plane Plane. It is found in the Mathematical Operators block and was approved as part of Unicode Version 3.2 in 2002
mathematicssymbolz-notationbagmembershipformal-methodsmultisetspecificationlogicunicodeCopy the Z Notation Bag Membership dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.
⋿ Click to copy