A relational symbol denoting set membership, equivalent to \in, commonly used in set theory and logic.
