TeX source:

b ∈ U (15)