TeX source:
q ∈ (b_l−aR,b_u−aR)