Source TeX:
\iff