TeX source:

\exists ^{\geq n}