\begin{equation*} x \in A \cap B \qquad \Iff \qquad x \in A \wedge x \in B\text{.} \end{equation*}