TeX source:
a>0