TeX source:

∄a∈U(15)