Fuente TeX:
x=0  \Longrightarrow y