Source TeX:
\implies