TeX Quellcode:

\forall{x({Fx}\wedge{Gx})}\Leftrightarrow\forall{(Fx)}\wedge\forall{(Gx)}