Fuente TeX:
\implies