TeX source:
a c < b c