TeX source:
0 < b < a