TeX Quellcode:

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