a in b can be written as a ∈ b with the mathematical symbol ∈. And the opposite of that, ∉ is available as an operator too, so you can do a ∉ b for !(a in b).
∈ can be typed with \in<TAB>, ∉ with \notin<TAB> in the REPL.
8 Likes