\newcommand{\surreal}[2]{\ensuremath{\left\langle #1 \vert #2 \right\rangle}}
\newcommand{\similar}[0]{\thicksim}
\newcommand{\set}[1]{\ensuremath{\{\,#1\,\}}}
+\newcommand{\sgkadd}[0]{\ensuremath{\oplus}}
\newcommand{\horzline}[1][350]{\begin{center} \line(1,0){#1} \end{center}}
\renewcommand\maketitle{
\thispagestyle{plain}