Fuente TeX:
a=1 \Rightarrow b=2