TeX source:
\iff\ \Delta=0