TeX Quellcode:

\exists{x(Hx}\wedge{Gax)}