TeX source:
\nleftrightarrow