TeX Quellcode:
\exists, \nexists, \nabla, \neg