TeX source:
a ∈ U(15)