TeX source:

\iff{a<0}