TeX Quellcode:
\exists