TeX source:

∃x Phil(x)