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