TeX Quellcode:

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