LaTeX-examples/documents/protokoll/myStyle.sty

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