TeX source:
\iff{a>0}