Для указания условия тогда и только ("следовательно в обе стороны") тогда можно воспользовать готовым символом-командой \Leftrightarrow
, например:
A \Leftrightarrow B
даст нам:
$\Large A \Leftrightarrow B$
Или
\leftrightarrow
для вывода одинарной стрелки в две стороны:
$\Large \leftrightarrow$