TeX source:

\exists ^{\leq n}