Source TeX:
a > 0