% Compatibility.TeX --- Stolfi April 18, 1984 6:17:26 am PST % Cooks to help in the conversion of Tex80 files to TeX82 % COMPATIBILITY MACROS \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\implies{\Rightarrow} % right implication arrow \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\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\dp{} % note: \dp now means ``depth of saved box'' \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{{\tt #1}} % Old figures \obsolete\capfig{\capfigg} \def\capfigg#1cm#2{\figcap#1cm{}{#2}} Ê.˜Jšœ{˜{šœÏc˜Jšœ˜šœ5˜6Jšœ@˜@—šœG˜HJšœ#˜#Jšœ#˜#Jšœ3˜4Jšœœ˜NJšœœ˜3Jšœ˜0JšœH˜HJšœ˜Jšœ˜Jšœœ=˜qJšœ œ!œ˜¨J˜Jšœœ˜9Jšœœ˜TJšœ)˜*Jšœ“˜“Jšœ˜JšœE˜EJšœZ˜ZJšœ.˜.JšœS˜SJšœ˜Jšœ+˜+Jšœ ˜JšœA˜A——J˜—…—Ô