\newcommand{\arrow}{$\rightarrow$}
\renewcommand{\implies}{$\Rightarrow$}