TeX source:

∃a∈U(14)