TeX Quellcode:

\exists{x(Sx}\wedge\neg{Zx)}