TeX source:
a \lt b