\def \LET       {{\bf let} \ }
\def \IF        {{\bf if} \ }
\def \THEN      {\ {\bf then} \ }
\def \ELSE      {\ {\bf else} \ }
\def \plus      {^+}
\def \inrel#1   {\ \underline{#1} \ }
\def \pipe      {\, >\!\!> \, }
\def \extract   {\ires}
\def \bcount    {\sharp}
\def \subbageq  {\sqsubseteq}
\def \uminus    {\tt uminus}    % This one isn't supported by oz.sty