TeX source:
\iff\ \Delta<0