Чтобы вывесте знак следствия в латех используйте команду \Rightarrow , это как стрелка вправо, только с большой буквы =)
Например:
A \Rightarrow B
даст нам:
$\Large A \Rightarrow B$
Аналогично можно и писать "следствие влево" (хотя, кажется, подобное используется реже), то есть:
A \Leftarrow B
даст нам:
$\Large A \Leftarrow B$
