Add ∈ as synonym for `in` and ∋ for containment