TeX Quellcode:

\forall{x(Fx}\rightarrow{Gx)}