TeX source:

∄a∈U(30)