TeX source:

a\leftrightarrow b