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