\def\smaller{\@setsize\small{11pt}\ixpt\@ixpt
\abovedisplayskip 9pt plus2pt minus4pt\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus2pt\belowdisplayshortskip 4.5pt plus2.5pt
minus2pt}
