A relational symbol indicating non-membership of an element in a set, commonly used in set theory.
Examples
Basic set non-membership
3 \notin \{1, 2, 4, 5\}
Number set non-membership
\pi \notin \mathbb{Q}
Set theory statement with non-membership
x \notin A \implies x \in A^c