uniformize \leftrightarrow to \Leftrightarrow