TeX source:
a > 1