TeX source:
\iff\ \Delta>0