TeX source:

P\lor \forall x\,Q(x)\Leftrightarrow \forall x\,(P\lor Q(x))