A relational symbol indicating reverse set membership, equivalent to "contains as an element" in set theory.
