Interesting, my experience in classes using set theory was the opposite, where ∋ only meant “such that” and ∈ only meant “is a member of”. Learning programming

Interesting, my experience in classes using set theory was the opposite, where ∋ only meant “such that” and ∈ only meant “is a member of”. Learning programming syntax at the same time made it frustrating to learn that math symbols were less strictly defined and less universal, that it was best to write proofs/derivations/etc in plain English in many cases instead of the neat symbols