Z Notation Bag Membership

22FF is known as Z Notation Bag Membership and can be found in these categories: Sm.