TeX source:
(\exists n)\cup (p(n))