x \[u2208] y \[u2227] x \[u2209] y