Fuente TeX:
x=0 \Longrightarrow y