TeX source:
c < a