TeX source:
b < a