TeX source:
a ∈ U (15)