<=> to leftrightarrows