Element of

Set membership: x ∈ A reads “x is an element of A”. Foundational notation in set theory, type theory, and formal specs. Space both sides like other relations. Don’t substitute the Greek epsilon ε or ℰ-style letters — the membership sign has a distinct straight horizontal bar. Its mirror ∋ (“contains”) reverses the statement.