TeX source:
a c > b c