Source TeX:
a>0