\def\E{{\bb E}}
\def\crpt{\mathbin{\Uparrow}}
\def\C{{\cal C}}
+\def\sgc{\mathbin{.}}
\def\brk{\hfil\break}
\writetoc{chap}{#1}
}
+\def\vensure#1{\dimen0=#1
+\vskip 0pt plus \dimen0
+\penalty-1000
+\vskip 0pt plus -\dimen0
+}
+
\def\section#1{\bigskip
+\vensure{0.5in}
\advance\seccount by 1
\thmcount=0
\edef\currentid{\currentchap.\the\seccount}
\def\example{\proclaim{Example}}
\def\label#1{{\sl (#1)\/}\enspace}
-\def\labelx#1{\label{#1}\hfil\break\kern 0pt} % Eat spaces
+\def\labelx#1{\label{#1}\hfil\break\eatspaces}
+\def\eatspaces{\kern0pt}
\def\thmn{\thm\labelx}
\def\lemman{\lemma\labelx}
\def\problemn{\problem\labelx}
\def\remn{\rem\labelx}
-\def\paran#1{\para {\sl #1.\/}\enspace\kern 0pt}
+\def\paran#1{\para {\sl #1.\/}\enspace\eatspaces}
\def\proof{\noindent {\sl Proof.}\enspace}
\def\proofsketch{\noindent {\sl Proof sketch.}\enspace}
%%% Bibliography %%%
%\bibliographystyle{abbrv}
-\bibliographystyle{alpha}
+\bibliographystyle{mjalpha}
\def\dumpbib{
\def\bblhook{\parskip=2pt plus 1pt minus 0.5pt}
\bibliography{biblio}