%\filename{compatibility.tex}
%\edited{last by stolfi on Sat Mar  7 02:28:40 1987}

% Cooks to help in the conversion of Tex80 files to TeX82

% COMPATIBILITY MACROS

\catcode`@=11 \endlinechar=-1

  \message{compatibility ...}

  % Redefines obsolete stuff, but screams on first use:

    \long\def\obsolete#1#2{\long\gdef#1{\scream\long\gdef#1{#2}#1}}

  % Added for compatibility with old macros (check for inconsistencies!):

    \obsolete\em{\bf} % emphasis style

    \obsolete\s{\~} % old tilde accent

    \obsolete\pound{\hash} % pound/number/hash mark (#)

    \obsolete\eqv{\equiv} % equivalence (triple equals)
    \obsolete\neqv{\nequiv} %

    \obsolete\pr{'} % primes in math
    \obsolete\prr{''}

    \obsolete\rslash{\setminus} % reverse slash (\)

    \obsolete\relv{\vert}
    \obsolete\leftv{\left|}
    \obsolete\rightv{\right|}

    \obsolete\relvv{\Vert}

    \obsolete\lscr{l}

    \obsolete\and{\land} % logical and operator (meet)
    % \or now is reserved for \ifcase; not worth geting around it

    \obsolete\impliedby{\Leftarrow} % left implication arrow
    \obsolete\doubleimpl{\iff} % two-way implication arrow

    \obsolete\alter{\cases} % alternatives with a left brace

    \obsolete\spose{\rlap} % over next box
    \obsolete\rspose{\llap} % over previous box

    % Old caligraphic letters (a few of them)

    \obsolete\Cscr{{\cal C}}
    \obsolete\Dscr{{\cal D}}
    \obsolete\Escr{{\cal E}}
    \obsolete\Fscr{{\cal F}}
    \obsolete\Gscr{{\cal G}}
    \obsolete\Mscr{{\cal M}}
    \obsolete\Nscr{{\cal N}}
    \obsolete\Hscr{{\cal H}}
    \obsolete\Rscr{{\cal R}}
    \obsolete\Sscr{{\cal S}}
    \obsolete\Tscr{{\cal T}}
    \obsolete\Cscr{{\cal C}}
    \obsolete\Vscr{{\cal V}}

    % Old paragraphing macros

    \obsolete\cp{\par}
    \obsolete\lp{\par}
    \obsolete\lb{\required\hbreak}

    \obsolete\pp{}
    \obsolete\tp{}

    \obsolete\comm{\rem} % comments in algorithms

    \obsolete\digress{\@lddigress}
    \long\def\@lddigress#1{\begdigress #1\enddigress}

    % Old program stuff

    \obsolete\prg{\prgg}
    \def\prgg#1{\hbox{\tt #1}}

    % Old figures

    \obsolete\capfig{\capfigg}
    \def\capfigg#1cm#2{\figure#1cm{}{#2}}

    % Old \begitems-\enditems
  
      % Usage
      % \begitems
      % \item{1.} Bla bla bla...\par
      % \item{2.} Bla bla..\par
      %   \itemitem{2.1.} Ble blu bloo...\par
      %   \itemitem{2.2.} Bli blee blaw...\par
      % \enditems
  
      \obsolete\begitems{\begindent\edef\resetm@rgin{\leftglue=\the\leftglue}}
      \obsolete\enditems{\endindent}
      \obsolete\itemitem{\hangindent \itemindentglue \hangafter 0\item}

\catcode`@=12 \endlinechar=`\^^M

% END
