TeX source:
a < b