%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%              <  >  IN spec ENVIRONMENT              %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% <     -> \langle
% >     -> \rangle 
% :<:   -> < (\lt)
% :>:   -> > (\gt)
% :-|>: -> \whileop 
% :dif: -> \ 
\coloncommand{<}{<}
\coloncommand{>}{>}
\coloncommand{-|>}{\whileop}
\newcommand{\dif}{\backslash}

\renewcommand{\@specgreater}{\if@mathgreater\intmbox{$\rangle$}\else
                                  \char62\relax\fi}
\renewcommand{\@specless}{\if@mathgreater\intmbox{$\langle$}\else
                                \char60\relax\fi}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%definition of mbox for Lamport's ``spec'' ENVIRONMENT
\speclet{\specmbox}{\mbox}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%         SIMULATING spec ENVIRONMENT in TEXT                  %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\t}[1]{\mbox{\tt\protect\frenchspacing #1}}

%\RequirePackage{xspace}
%\renewcommand{\mt}[1]{\ensuremath{\mathtt{#1}}\xspace}