TeX Quellcode:

\forall{x(Fx)}\Rightarrow{Fa}