\def\deg{\mathop{\rm deg}}
\def\timesalpha{\mskip2mu\alpha}
\def\timesbeta{\mskip2mu\beta}
-\def\tower{\mathop\uparrow}
+\def\tower{\mathbin\uparrow}
\def\Forb{{\rm Forb}}
\def\minorof{\preccurlyeq}
\def\per{\mathop{\rm per}}
\def\poly{\mathop{\rm poly}}
\def\E{{\bb E}}
-\def\crpt{\mathop{\Uparrow}}
+\def\crpt{\mathbin{\Uparrow}}
\def\C{{\cal C}}
\def\brk{\hfil\break}