TeX Quellcode:

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