TeX source:
∀b ∈ (b_c,b_u)