%{math-notations}

\input{alluppermath-notations}
\newcommand{\implies}{\Rightarrow}
