User:Sternmiter/sandbox

x \not\in y iff \{x\} \setminus y \not= \emptyset