\def\<#1>{\leavevmode\hbox{\it #1\/}}
\let\>=\noindent
\def\qed{{\parfillskip=0pt\allowbreak\hfill\nobreak $\spadesuit$\par}}
+\def\qeditem{{\parfillskip=0pt\hfill\rlap{\hskip\rightskip\llap{$\spadesuit$}}\par}}
\def\FIXME#1{\>{\bo TODO:} #1}
\def\symdiff{\mathbin{\Delta}}
\def\hphantas#1#2{\setbox0=\hbox{#2}\hbox to \wd0{#1\hss}}
\def\mst{\mathop{\rm mst}}
\def\deg{\mathop{\rm deg}}
\def\timesalpha{\mskip2mu\alpha}
+\def\timesbeta{\mskip2mu\beta}
+\def\tower{\mathop\uparrow}
% Footnotes
\newcount\footcnt