\hoffset -1in \voffset -1in

\font \twlmath = msym10 at 12pt
\font \tenmath = msym10
\newfam \mathfam
\textfont \mathfam = \twlmath
\scriptfont \mathfam = \tenmath	
\newcommand{\zz}{\fam \mathfam}

\newcommand{\announce}{\par\penalty -100\ifdim\lastskip<1.5em\vskip-\lastskip
\vskip1.5em plus .5em\fi\noindent\begingroup\sc}

\newcommand{\states}{\endgroup\statess}

\def\statess#1\par{.\hspace{.5em plus .5em}{\it #1}\par
\penalty 55\ifdim\lastskip<1.5em\vskip-\lastskip
\vskip1.5em plus .5em\fi}

\newcommand{\defines}{\endgroup\definess}

\def\definess#1\par{.\hspace{.5em plus .5em}#1\par
\penalty 55\ifdim\lastskip<1.5em\vskip-\lastskip
\vskip1.5em plus .5em\fi}

\outer \def \by{\endgroup\ \begingroup}

\newcommand{\qed}{\hfill \vrule width 1.6ex height
1ex depth0ex\par\ifdim\lastskip <1.5em\vskip -\lastskip \vskip 1.5em
plus .5em\fi}

\def \sect#1{\bigskip \noindent {\bf #1}\par \nobreak \medskip}

\newcommand{\mod}{\;\mbox{{\rm mod}}\;}

\renewcommand\emptyset{\mbox{\sc \O}}
