x \in y
\wedge
x \not\in y
