TeX Quellcode:

\exists{x({Fx}\vee{Gx})}\Leftrightarrow\exists{(Fx)}\vee\exists{(Gx)}