TeX source:
A + B \leftrightarrow C