\def\title #1\par{\vglue2\baselineskip 
   \line{\setfonts[/mag1.2]\bf #1\hss}\nobreak\vskip\baselineskip}
\def\author #1\par{\par\noindent Author: {\it #1}\par\nobreak\medskip}

\parskip=\smallskipamount \parindent=12pt
\emergencystretch=4em

\def\LaTeX{La\TeX}

\catcode`<=13
\def<#1>{\hbox{$\langle$\it#1\/$\rangle$}}
\def\,{\thinspace}

\def\to{\ifmmode \rightarrow \else \leavevmode\kern.2em$\rightarrow$\kern.2em\fi}

{\obeyspaces \gdef\activespace{\obeyspaces\let =\ }}
\def\setverb{\def\do##1{\catcode`##1=12}\dospecials}
\def\begtt{\medskip\bgroup \setverb \catcode`!=0
   \catcode`\"=12\parskip=0pt
   \catcode`!=0 \def\!{!}\activespace
   \def\par##1{\endgraf\ifx##1\par\leavevmode\fi ##1}
   \obeylines \startverb}
{\catcode`\|=0 \catcode`\\=12
|gdef|startverb#1\endtt{|tt#1|egroup|medskip|testpar}}
\long\def\testpar#1{\ifx\par#1\else\noindent\fi#1}

\catcode`"=13
\def"{\hbox\bgroup\let"\egroup\catcode`!=13\setverb\activespace\tt}
{\catcode`!=13 \gdef!{\string}}

\def\begitems{\medskip\bgroup \catcode`*=13 }
{\catcode`*=13 \gdef*{\item{$\bullet$}}}
\def\enditems{\medskip\egroup}