TeX source:

P\land \exists x\,Q(x)\Leftrightarrow \exists x\,(P\land Q(x))