TeX source:
\exists {\text{Phil}}({\text{Phil}}(a))