TeX source:

\iff{a=0}