TeX source:

b_l−aW > b_u−b_l