Gold Fish 3/goldfish_volume_3.bin/files/text/misc/cvt/scripts/ams.cvt

Text File | 1993-12-30 | 39KB | 1,176 lines

/*
 *  AmSTeX -> ASCII
 *
 *  (c)Copyright 1993 by Tobias Ferber,  All Rights Reserved
 */

/*** / AMSTEX.TEX / ***/

"@ "  -> ;  // at space
"@!"  -> ;
"@\"" -> ;
"@,"  -> ;
"@-"  -> ;
"@."  -> ;
"@:"  -> ;
"@;"  -> ;
"@<"  -> ;
"@="  -> ;
"@>"  -> ;
"@?"  -> ;
"@@"  -> ;
"@A"  -> ;
"@V"  -> ;
"@|"  -> ;

/*
 * \*@ (csname)         (* will be replaced by some string)
 * \*@@at (csname)      (* will be replaced by some string)
 * \*@at (csname)       (* will be replaced by some string)
 */

$5c,"@"                     -> ;
$5c,"accentdimen@"          -> ;
$5c,"accentedsymbol"        -> ;
$5c,"accentfam@"            -> ;
$5c,"accentmu@"             -> ;
$5c,"Acute"                 -> ;
$5c,"acuteaccent"           -> ;
$5c,"after"                 -> ;
$5c,"align"                 -> ;
$5c,"align@"                -> ;
$5c,"alignat"               -> ;
$5c,"alignat@"              -> ;
$5c,"aligned"               -> ;
$5c,"aligned@"              -> ;
$5c,"alignedat"             -> ;
$5c,"alloc@true"            -> ;
$5c,"alloclist@"            -> ;
$5c,"allowdisplaybreak"     -> ;
$5c,"allowdisplaybreak@"    -> ;
$5c,"allowdisplaybreaks"    -> ;
$5c,"allowlinebreak"        -> ;
$5c,"allowmathbreak"        -> ;
$5c,"ampersand@"            -> ;
$5c,"AmSTeX"                -> "AmSTeX";
$5c,"amstexloaded@"         -> ;
$5c,"and"                   -> ;
$5c,"and@"                  -> ;
$5c,"ans@"                  -> ;
$5c,"Ans@"                  -> ;
$5c,"appendit@"             -> ;
$5c,"approxeq"              -> ;
$5c,"at@"                   -> ;
$5c,"at@@"                  -> ;
$5c,"at@@@"                 -> ;
$5c,"at@@@@"                -> ;
$5c,"atcount@"              -> ;
$5c,"atdef@"                -> ;
$5c,"atdef@@"               -> ;
$5c,"athelp@"               -> ;
$5c,"attag@"                -> ;
$5c,"B"                     -> ;
$5c,"backepsilon"           -> ;
$5c,"backprime"             -> ;
$5c,"backsim"               -> ;
$5c,"backsimeq"             -> ;
$5c,"badans@false"          -> ;
$5c,"badans@true"           -> ;
$5c,"Bar"                   -> ;
$5c,"barwedge"              -> ;
$5c,"Bbb"                   -> ;
$5c,"Bbb@"                  -> ;
$5c,"Bbb@@"                 -> ;
$5c,"because"               -> ;
$5c,"beth"                  -> ;
$5c,"between"               -> ;
$5c,"bffam@"                -> ;
$5c,"bigaw@"                -> ;
$5c,"bigcap@"               -> ;
$5c,"bigcup@"               -> ;
$5c,"bigodot@"              -> ;
$5c,"bigoplus@"             -> ;
$5c,"bigotimes@"            -> ;
$5c,"bigpagebreak"          -> ;
$5c,"bigsqcup@"             -> ;
$5c,"bigstar"               -> ;
$5c,"biguplus@"             -> ;
$5c,"bigvee@"               -> ;
$5c,"bigwedge@"             -> ;
$5c,"binom"                 -> ;
$5c,"binrel@"               -> ;
$5c,"binrel@@"              -> ;
$5c,"black@"                -> ;
$5c,"BlackBoxes"            -> ;
$5c,"blacklozenge"          -> ;
$5c,"blacksquare"           -> ;
$5c,"blacktriangle"         -> ;
$5c,"blacktriangledown"     -> ;
$5c,"blacktriangleleft"     -> ;
$5c,"blacktriangleright"    -> ;
$5c,"bmatrix"               -> ;
$5c,"bold"                  -> ;
$5c,"bold@"                 -> ;
$5c,"bold@@"                -> ;
$5c,"boldDelta"             -> ;
$5c,"boldGamma"             -> ;
$5c,"boldLambda"            -> ;
$5c,"boldOmega"             -> ;
$5c,"boldPhi"               -> ;
$5c,"boldPi"                -> ;
$5c,"boldPsi"               -> ;
$5c,"boldSigma"             -> ;
$5c,"boldTheta"             -> ;
$5c,"boldUpsilon"           -> ;
$5c,"boldXi"                -> ;
$5c,"botaligned"            -> ;
$5c,"botfolded@false"       -> ;
$5c,"botfolded@true"        -> ;
$5c,"botfoldedtext"         -> ;
$5c,"botshave"              -> ;
$5c,"botsmash"              -> ;
$5c,"boxdot"                -> ;
$5c,"boxed"                 -> ;
$5c,"boxminus"              -> ;
$5c,"boxplus"               -> ;
$5c,"boxtimes"              -> ;
$5c,"Breve"                 -> ;
$5c,"buffer"                -> ;
$5c,"buffer@"               -> ;
$5c,"bumpeq"                -> ;
$5c,"Bumpeq"                -> ;
$5c,"c"                     -> ;         // center, in \matrix
$5c,"Cal"                   -> ;
$5c,"Cal@"                  -> ;
$5c,"Cal@@"                 -> ;
$5c,"Cap"                   -> ;
$5c,"caption"               -> ;
$5c,"captionwidth"          -> ;
$5c,"captionwidth@"         -> ;
$5c,"CD"                    -> ;
$5c,"CD@true"               -> ;
$5c,"centerdot"             -> ;
$5c,"CenteredTagsOnSplits"  -> ;
$5c,"centering@"            -> ;
$5c,"cfrac"                 -> ;
$5c,"cfraccount@"           -> ;
$5c,"ChangeBuffer"          -> ;
$5c,"Check"                 -> ;
$5c,"checkmark"             -> ;
$5c,"circeq"                -> ;
$5c,"circlearrowleft"       -> ;
$5c,"circlearrowright"      -> ;
$5c,"circledast"            -> ;
$5c,"circledcirc"           -> ;
$5c,"circleddash"           -> ;
$5c,"circledR"              -> ;
$5c,"circledS"              -> ;
$5c,"classnum@"             -> ;
$5c,"comment"               -> ;
$5c,"comment@"              -> ;
$5c,"comment@@"             -> ;
$5c,"comment@@@"            -> ;
$5c,"complement"            -> ;
$5c,"coprod@"               -> ;
$5c,"countxviii@"           -> ;
$5c,"CR@"                   -> ;
$5c,"ctagsplit@false"       -> ;
$5c,"ctagsplit@true"        -> ;
$5c,"Cup"                   -> ;
$5c,"curlyeqprec"           -> ;
$5c,"curlyeqsucc"           -> ;
$5c,"curlyvee"              -> ;
$5c,"curlywedge"            -> ;
$5c,"curvearrowleft"        -> ;
$5c,"curvearrowright"       -> ;
$5c,"D"                     -> ;
$5c,"daleth"                -> ;
$5c,"dbinom"                -> ;
$5c,"ddddot"                -> ;
$5c,"dddot"                 -> ;
$5c,"Ddot"                  -> ;
$5c,"defahelp@"             -> ;
$5c,"defaulthelp@"          -> ;
$5c,"defbhelp@"             -> ;
$5c,"define"                -> ;
$5c,"define@"               -> ;
$5c,"define@@"              -> ;
$5c,"dfrac"                 -> ;
$5c,"digamma"               -> ;
$5c,"dimentomu@"            -> ;
$5c,"disabletabs"           -> ;
$5c,"DisableTabs"           -> ;
$5c,"displ@y@"              -> ;
$5c,"displaybreak"          -> ;
$5c,"displaybreak@"         -> ;
$5c,"displaywidth@"         -> ;
$5c,"divideontimes"         -> ;
$5c,"dlsl@"                 -> ;
$5c,"dmatherr@"             -> ;
$5c,"doat@"                 -> ;
$5c,"document"              -> ;
$5c,"documentstyle"         -> ;
$5c,"dodummy@"              -> ;
$5c,"Dot"                   -> ;
$5c,"Doteq"                 -> ;
$5c,"doteqdot"              -> ;
$5c,"dotplus"               -> ;
$5c,"DOTS@"                 -> ;
$5c,"DOTS@@"                -> ;
$5c,"DOTS@false"            -> ;
$5c,"DOTS@true"             -> ;
$5c,"dotsb"                 -> ;
$5c,"DOTSB"                 -> ;
$5c,"dotsb@"                -> ;
$5c,"dotsc"                 -> ;
$5c,"DOTSCASE@"             -> ;
$5c,"dotsi"                 -> ;
$5c,"DOTSI"                 -> ;
$5c,"dotsm"                 -> ;
$5c,"dotso"                 -> ;
$5c,"dotso@"                -> ;
$5c,"dotsspace@"            -> ;
$5c,"DOTSX"                 -> ;
$5c,"doublebarwedge"        -> ;
$5c,"doublecap"             -> ;
$5c,"doublecup"             -> ;
$5c,"downdownarrows"        -> ;
$5c,"downharpoonleft"       -> ;
$5c,"downharpoonright"      -> ;
$5c,"drsr@"                 -> ;
$5c,"dsize"                 -> ;
$5c,"dummyft@"              -> ;
$5c,"eat@"                  -> ;
$5c,"enabletabs"            -> ;
$5c,"EnableTabs"            -> ;
$5c,"enabletabs@"           -> ;
$5c,"end@"                  -> ;
$5c,"endalign"              -> ;
$5c,"endalignat"            -> ;
$5c,"endaligned"            -> ;
$5c,"endalignedat"          -> ;
$5c,"endbmatrix"            -> ;
$5c,"endbotaligned"         -> ;
$5c,"endcases"              -> ;
$5c,"endCD"                 -> ;
$5c,"endcfrac"              -> ;
$5c,"endcomment"            -> ;
$5c,"enddocument"           -> ;
$5c,"endgather"             -> ;
$5c,"endgathered"           -> ;
$5c,"endmatrix"             -> ;
$5c,"endmultline"           -> ;
$5c,"endpmatrix"            -> ;
$5c,"endSb"                 -> ;
$5c,"endsmallmatrix"        -> ;
$5c,"endSp"                 -> ;
$5c,"endsplit"              -> ;
$5c,"endtopaligned"         -> ;
$5c,"endvmatrix"            -> ;
$5c,"endVmatrix"            -> ;
$5c,"endxalignat"           -> ;
$5c,"endxxalignat"          -> ;
$5c,"eqcirc"                -> ;
$5c,"eqslantgtr"            -> ;
$5c,"eqslantless"           -> ;
$5c,"err@"                  -> ;
$5c,"Err@"                  -> ;
$5c,"ex@"                   -> ;
$5c,"extra@"                -> ;
$5c,"extra@false"           -> ;
$5c,"extra@true"            -> ;
$5c,"extrap@"               -> ;
$5c,"fallingdotseq"         -> ;
$5c,"familycount@"          -> ;
$5c,"findlimits@"           -> ;
$5c,"fivemsx"               -> ;         // depends on font availability
$5c,"fivemsy"               -> ;         // depends on font availability
$5c,"flushpar"              -> ;
$5c,"Fmtname"               -> ;
$5c,"Fmtversion"            -> ;
$5c,"foldedtext"            -> ;
$5c,"foldedtext@"           -> ;
$5c,"foldedwidth"           -> ;
$5c,"fontlist@"             -> ;
$5c,"footmarkcount@"        -> ;
$5c,"footmarkcount@@"       -> ;
$5c,"for"                   -> ;         // context
$5c,"format"                -> ;
$5c,"format@"               -> ;
$5c,"frac"                  -> ;
$5c,"fracwithdelims"        -> ;
$5c,"futureletnextat@"      -> ;
$5c,"G@"                    -> ;
$5c,"galign@"               -> ;
$5c,"galleys"               -> ;
$5c,"galleys@true"          -> ;
$5c,"garbage@"              -> ;
$5c,"gather"                -> ;
$5c,"gathered"              -> ;
$5c,"gdef@"                 -> ;
$5c,"gdisplaywidth@"        -> ;
$5c,"geqq"                  -> ;
$5c,"geqslant"              -> ;
$5c,"getmathch@"            -> ;
$5c,"getpoints@"            -> ;
$5c,"ggg"                   -> ;
$5c,"gggtr"                 -> ;
$5c,"gimel"                 -> ;
$5c,"glineht@"              -> ;
$5c,"gloop@"                -> ;
$5c,"gmaxwidth@"            -> ;
$5c,"gmeasure@"             -> ;
$5c,"gnapprox"              -> ;
$5c,"gneq"                  -> ;
$5c,"gneqq"                 -> ;
$5c,"gnsim"                 -> ;
$5c,"Grave"                 -> ;
$5c,"graveaccent"           -> ;
$5c,"gtrapprox"             -> ;
$5c,"gtrdot"                -> ;
$5c,"gtreqless"             -> ;
$5c,"gtreqqless"            -> ;
$5c,"gtrless"               -> ;
$5c,"gtrsim"                -> ;
$5c,"gvertneqq"             -> ;
$5c,"gwidth@"               -> ;
$5c,"hashtoks@"             -> ;
$5c,"haswidth"              -> ;         // context
$5c,"Hat"                   -> ;
$5c,"hataccent"             -> ;
$5c,"hcorrection"           -> ;
$5c,"hdots"                 -> ;
$5c,"hdotsfor"              -> ;
$5c,"hexnumber@"            -> ;
$5c,"hslash"                -> ;
$5c,"ic@"                   -> ;
$5c,"idotsint"              -> ;
$5c,"ifalloc@"              -> ;
$5c,"ifbadans@"             -> ;
$5c,"ifbot@"                -> ;
$5c,"ifbotfolded@"          -> ;
$5c,"ifCD@"                 -> ;
$5c,"ifctagsplit@"          -> ;
$5c,"ifDOTS@"               -> ;
$5c,"ifextra@"              -> ;
$5c,"ifgalleys@"            -> ;
$5c,"ifin@"                 -> ;
$5c,"ifinalign@"            -> ;
$5c,"ifinany@"              -> ;
$5c,"ifingather@"           -> ;
$5c,"ifkeybin@"             -> ;
$5c,"iflimits@"             -> ;
$5c,"iflimtoken@"           -> ;
$5c,"ifmacro@"              -> ;
$5c,"ifmath@"               -> ;
$5c,"ifmathbin@"            -> ;
$5c,"ifmathch@"             -> ;
$5c,"ifmathrel@"            -> ;
$5c,"ifmathtags@"           -> ;
$5c,"ifmeasuring@"          -> ;
$5c,"ifmid@"                -> ;
$5c,"ifnot@"                -> ;
$5c,"ifonecr@"              -> ;
$5c,"ifrightdelim@"         -> ;
$5c,"ifsyntax@"             -> ;
$5c,"iftagin@"              -> ;
$5c,"iftagsleft@"           -> ;
$5c,"iftop@"                -> ;
$5c,"iftopfolded@"          -> ;
$5c,"ifxat@"                -> ;
$5c,"ifzerocr@"             -> ;
$5c,"iiiint"                -> ;
$5c,"iiint"                 -> ;
$5c,"iint"                  -> ;
$5c,"ilimits@"              -> ;
$5c,"impliedby"             -> ;
$5c,"implies"               -> ;
$5c,"in@"                   -> ;
$5c,"in@@"                  -> ;
$5c,"in@false"              -> ;
$5c,"in@true"               -> ;
$5c,"inalign@true"          -> ;
$5c,"inany@true"            -> ;
$5c,"ingather@true"         -> ;
$5c,"injlim"                -> ;
$5c,"innerhdotsfor"         -> ;
$5c,"ins@"                  -> ;
$5c,"insplit@"              -> ;
$5c,"intdots@"              -> ;
$5c,"intercal"              -> ;
$5c,"intertext"             -> ;
$5c,"intertext@"            -> ;
$5c,"intic@"                -> ;
$5c,"intkern@"              -> ;
$5c,"intno@"                -> ;
$5c,"ints@"                 -> ;
$5c,"ints@@"                -> ;
$5c,"ints@@@"               -> ;
$5c,"Invalid@"              -> ;
$5c,"italic"                -> ;
$5c,"italic@"               -> ;
$5c,"italic@@"              -> ;
$5c,"keybin@"               -> ;
$5c,"keybin@false"          -> ;
$5c,"keybin@true"           -> ;
$5c,"l"                     -> ;         // left, in \matrix
$5c,"lalign@"               -> ;
$5c,"lbrace@"               -> ;
$5c,"lcfrac"                -> ;
$5c,"ldelim@"               -> ;
$5c,"leftarrowtail"         -> ;
$5c,"leftleftarrows"        -> ;
$5c,"leftrightarrows"       -> ;
$5c,"leftrightharpoons"     -> ;
$5c,"leftrightsquigarrow"   -> ;
$5c,"leftroot"              -> ;
$5c,"leftroot@"             -> ;
$5c,"leftthreetimes"        -> ;
$5c,"lendmultline@"         -> ;
$5c,"lendsplit@"            -> ;
$5c,"leqq"                  -> ;
$5c,"leqslant"              -> ;
$5c,"less"                  -> ;
$5c,"lessapprox"            -> ;
$5c,"lessdot"               -> ;
$5c,"lesseqgtr"             -> ;
$5c,"lesseqqgtr"            -> ;
$5c,"lessgtr"               -> ;
$5c,"lesssim"               -> ;
$5c,"Let@"                  -> ;
$5c,"lgather@"              -> ;
$5c,"limits@false"          -> ;
$5c,"limits@true"           -> ;
$5c,"LimitsOnInts"          -> ;
$5c,"LimitsOnNames"         -> ;
$5c,"LimitsOnSums"          -> ;
$5c,"limtoken@false"        -> ;
$5c,"limtoken@true"         -> ;
$5c,"linebreak"             -> ;
$5c,"lineht@"               -> ;
$5c,"llap@"                 -> ;
$5c,"llcorner"              -> ;
$5c,"Lleftarrow"            -> ;
$5c,"lll"                   -> ;
$5c,"llless"                -> ;
$5c,"lmmeasure@"            -> ;
$5c,"lmultline@"            -> ;
$5c,"lmultline@@"           -> ;
$5c,"lmultline@@@"          -> ;
$5c,"lnapprox"              -> ;
$5c,"lneq"                  -> ;
$5c,"lneqq"                 -> ;
$5c,"lnsim"                 -> ;
$5c,"looparrowleft"         -> ;
$5c,"looparrowright"        -> ;
$5c,"lozenge"               -> ;
$5c,"lrcorner"              -> ;
$5c,"Lsh"                   -> ;
$5c,"ltimes"                -> ;
$5c,"ltwidth@"              -> ;
$5c,"lvertneqq"             -> ;
$5c,"lwidth@"               -> ;
$5c,"macro@"                -> ;
$5c,"macro@@"               -> ;
$5c,"macro@false"           -> ;
$5c,"macro@true"            -> ;
$5c,"makeacc@"              -> ;
$5c,"Makeacc@"              -> ;
$5c,"maketag@"              -> ;
$5c,"Maketag@"              -> ;
$5c,"maltese"               -> ;
$5c,"math@"                 -> ;
$5c,"math@false"            -> ;
$5c,"math@true"             -> ;
$5c,"mathaccent@"           -> ;
$5c,"mathbin@"              -> ;
$5c,"mathbin@false"         -> ;
$5c,"mathbin@true"          -> ;
$5c,"mathbreak"             -> ;
$5c,"mathch@"               -> ;
$5c,"mathch@false"          -> ;
$5c,"mathch@true"           -> ;
$5c,"mathmodeerr@"          -> ;
$5c,"mathrel@"              -> ;
$5c,"mathrel@false"         -> ;
$5c,"mathrel@true"          -> ;
$5c,"Mathstrut@"            -> ;
$5c,"mathtags@false"        -> ;
$5c,"mathtags@true"         -> ;
$5c,"maxlwidth@"            -> ;
$5c,"maxrwidth@"            -> ;
$5c,"mdots@"                -> ;
$5c,"mdots@@"               -> ;
$5c,"meaning@"              -> ;
$5c,"meaning@@"             -> ;
$5c,"measure@"              -> ;
$5c,"measuredangle"         -> ;
$5c,"measuring@false"       -> ;
$5c,"measuring@true"        -> ;
$5c,"medpagebreak"          -> ;
$5c,"medspace"              -> ;
$5c,"mho"                   -> ;
$5c,"mid@false"             -> ;
$5c,"mid@true"              -> ;
$5c,"midspace"              -> ;
$5c,"minaw@"                -> ;
$5c,"minCDarrowwidth"       -> ;
$5c,"minCDaw@"              -> ;
$5c,"mlineht@"              -> ;
$5c,"mod"                   -> ;
$5c,"msx@"                  -> ;
$5c,"msxfam"                -> ;
$5c,"msy@"                  -> ;
$5c,"msyfam"                -> ;
$5c,"mtagbox@"              -> ;
$5c,"multilimits@"          -> ;
$5c,"multimap"              -> ;
$5c,"multint@"              -> ;
$5c,"multintlimits@"        -> ;
$5c,"multispan@"            -> ;
$5c,"multline"              -> ;
$5c,"multline@"             -> ;
$5c,"multlinegap"           -> ;
$5c,"MultlineGap"           -> ;
$5c,"multlinegap@"          -> ;
$5c,"multlinetaggap@"       -> ;
$5c,"mwidth@"               -> ;
$5c,"napprox"               -> ;
$5c,"negintic@"             -> ;
$5c,"negmedspace"           -> ;
$5c,"negthickspace"         -> ;
$5c,"newbox@"               -> ;
$5c,"newcodes@"             -> ;
$5c,"newline"               -> ;
$5c,"newmcodes@"            -> ;
$5c,"newpage"               -> ;
$5c,"newtoks@"              -> ;
$5c,"nexists"               -> ;
$5c,"next@"                 -> ;
$5c,"nextii@"               -> ;
$5c,"nextiii@"              -> ;
$5c,"nextiv@"               -> ;
$5c,"nextix@"               -> ;
$5c,"nextv@"                -> ;
$5c,"nextvi@"               -> ;
$5c,"nextvii@"              -> ;
$5c,"nextviii@"             -> ;
$5c,"ngeq"                  -> ;
$5c,"ngeqq"                 -> ;
$5c,"ngeqslant"             -> ;
$5c,"ngtr"                  -> ;
$5c,"nleftarrow"            -> ;
$5c,"nLeftarrow"            -> ;
$5c,"nleftrightarrow"       -> ;
$5c,"nLeftrightarrow"       -> ;
$5c,"nleq"                  -> ;
$5c,"nleqq"                 -> ;
$5c,"nleqslant"             -> ;
$5c,"nless"                 -> ;
$5c,"nlimits@"              -> ;
$5c,"nmid"                  -> ;
$5c,"noaccents@"            -> ;
$5c,"NoBlackBoxes"          -> ;
$5c,"nolimits@"             -> ;
$5c,"NoLimitsOnInts"        -> ;
$5c,"NoLimitsOnNames"       -> ;
$5c,"NoLimitsOnSums"        -> ;
$5c,"nolinebreak"           -> ;
$5c,"nomathbreak"           -> ;
$5c,"nomultlinegap"         -> ;
$5c,"nondmatherr@"          -> ;
$5c,"nonmatherr@"           -> ;
$5c,"nonvmodeerr@"          -> ;
$5c,"nopagebreak"           -> ;
$5c,"nopages@"              -> ;
$5c,"not@"                  -> ;
$5c,"not@false"             -> ;
$5c,"not@true"              -> ;
$5c,"nparallel"             -> ;
$5c,"nprec"                 -> ;
$5c,"npreceq"               -> ;
$5c,"nrightarrow"           -> ;
$5c,"nRightarrow"           -> ;
$5c,"nshortmid"             -> ;
$5c,"nshortparallel"        -> ;
$5c,"nsim"                  -> ;
$5c,"nsubseteq"             -> ;
$5c,"nsubseteqq"            -> ;
$5c,"nsucc"                 -> ;
$5c,"nsucceq"               -> ;
$5c,"nsupseteq"             -> ;
$5c,"nsupseteqq"            -> ;
$5c,"ntriangleleft"         -> ;
$5c,"ntrianglelefteq"       -> ;
$5c,"ntriangleright"        -> ;
$5c,"ntrianglerighteq"      -> ;
$5c,"nvdash"                -> ;
$5c,"nvDash"                -> ;
$5c,"nVdash"                -> ;
$5c,"nVDash"                -> ;
$5c,"oldcodes@"             -> ;
$5c,"oldnos"                -> ;
$5c,"onecr@true"            -> ;
$5c,"onecr@false"           -> ;
$5c,"onlydmatherr@"         -> ;
$5c,"operatorname"          -> ;
$5c,"operatornamewithlimits"-> ;
$5c,"outsplit@"             -> ;
$5c,"overarrow"             -> ;         // (redefined in amstex.tex)
$5c,"overleftarrow@"        -> ;
$5c,"overleftrightarrow"    -> ;
$5c,"overleftrightarrow@"   -> ;
$5c,"overline@"             -> ;
$5c,"overrightarrow@"       -> ;
$5c,"overset"               -> ;
$5c,"oversetbrace"          -> ;
$5c,"P@"                    -> ;
$5c,"pagebreak"             -> ;
$5c,"pageheight"            -> ;
$5c,"pagewidth"             -> ;
$5c,"pitchfork"             -> ;
$5c,"plaincdots@"           -> ;
$5c,"plainfootnote"         -> ;         // undefined
$5c,"plainldots@"           -> ;
$5c,"plainproclaim"         -> ;
$5c,"plainroot@"            -> ;
$5c,"pmb"                   -> ;
$5c,"pmb@"                  -> ;
$5c,"pmb@@"                 -> ;
$5c,"pmbraise@"             -> ;
$5c,"pod"                   -> ;
$5c,"pointcount@"           -> ;
$5c,"preamble@"             -> ;
$5c,"Preamble@"             -> ;
$5c,"preamble@@"            -> ;
$5c,"precapprox"            -> ;
$5c,"preccurlyeq"           -> ;
$5c,"precnapprox"           -> ;
$5c,"precneqq"              -> ;
$5c,"precnsim"              -> ;
$5c,"precsim"               -> ;
$5c,"predefine"             -> ;
$5c,"preloaded@"            -> ;
$5c,"pretend"               -> ;
$5c,"prime@"                -> ;
$5c,"printoptions"          -> ;
$5c,"prod@"                 -> ;
$5c,"projlim"               -> ;
$5c,"qopname@"              -> ;
$5c,"qopnamewl@"            -> ;
$5c,"r"                     -> ;         // in \matrix
$5c,"ralign@"               -> ;
$5c,"rbrace@"               -> ;
$5c,"rcfrac"                -> ;
$5c,"rdelim@"               -> ;
$5c,"redefine"              -> ;
$5c,"refskip@"              -> ;
$5c,"relaxnext@"            -> ;
$5c,"rendmultline@"         -> ;
$5c,"rendsplit@"            -> ;
$5c,"ResetBuffer"           -> ;
$5c,"restriction"           -> ;
$5c,"rgather@"              -> ;
$5c,"rightappend@"          -> ;
$5c,"rightarrowtail"        -> ;
$5c,"rightdelim@"           -> ;
$5c,"rightdelim@false"      -> ;
$5c,"rightdelim@true"       -> ;
$5c,"rightleftarrows"       -> ;
$5c,"rightrightarrows"      -> ;
$5c,"rightsquigarrow"       -> ;
$5c,"rightthreetimes"       -> ;
$5c,"risingdotseq"          -> ;
$5c,"rlap@"                 -> ;
$5c,"rmfam"                 -> ;
$5c,"rmmeasure@"            -> ;
$5c,"rmultline@"            -> ;
$5c,"rmultline@@"           -> ;
$5c,"rmultline@@@"          -> ;
$5c,"rom@"                  -> ;
$5c,"rom@@"                 -> ;
$5c,"roman"                 -> ;
$5c,"roman@"                -> ;
$5c,"roman@@"               -> ;
$5c,"Rrightarrow"           -> ;
$5c,"Rsh"                   -> ;
$5c,"rtimes"                -> ;
$5c,"rtwidth@"              -> ;
$5c,"rwidth@"               -> ;
$5c,"S@"                    -> ;
$5c,"savealignat@"          -> ;
$5c,"saveskip@"             -> ;
$5c,"Sb"                    -> ;
$5c,"sevenmsx"              -> ;         // depends on font availability
$5c,"sevenmsy"              -> ;         // depends on font availability
$5c,"shave"                 -> ;
$5c,"shortmid"              -> ;
$5c,"shortparallel"         -> ;
$5c,"shoveleft"             -> ;
$5c,"shoveright"            -> ;
$5c,"showallocations"       -> ;
$5c,"sideset"               -> ;
$5c,"skewcharcount@"        -> ;
$5c,"slanted"               -> ;
$5c,"slanted@"              -> ;
$5c,"slanted@@"             -> ;
$5c,"sldl@"                 -> ;
$5c,"slimits@"              -> ;
$5c,"smallcaptionwidth@"    -> ;
$5c,"smallfrown"            -> ;
$5c,"smallmatrix"           -> ;
$5c,"smallpagebreak"        -> ;
$5c,"smallsmile"            -> ;
$5c,"smash@"                -> ;
$5c,"smc"                   -> ;
$5c,"snug"                  -> ;
$5c,"Sp"                    -> ;
$5c,"space@"                -> ;
$5c,"spacehdots"            -> ;
$5c,"spaceinnerdots"        -> ;
$5c,"spaces@"               -> ;
$5c,"spaces@@"              -> ;
$5c,"spacute"               -> ;
$5c,"spbar"                 -> ;
$5c,"spbreve"               -> ;
$5c,"spcheck"               -> ;
$5c,"spddddot"              -> ;
$5c,"spdddot"               -> ;
$5c,"spddot"                -> ;
$5c,"spdot"                 -> ;
$5c,"spgrave"               -> ;
$5c,"sphat"                 -> ;
$5c,"sphericalangle"        -> ;
$5c,"split"                 -> ;
$5c,"split@"                -> ;
$5c,"spreadlines"           -> ;
$5c,"spreadmatrixlines"     -> ;
$5c,"spreadmlines@"         -> ;
$5c,"sptilde"               -> ;
$5c,"spvec"                 -> ;
$5c,"sqsubset"              -> ;
$5c,"sqsupset"              -> ;
$5c,"square"                -> ;
$5c,"srdr@"                 -> ;
$5c,"ssize"                 -> ;
$5c,"sssize"                -> ;
$5c,"string@"               -> ;
$5c,"strip@"                -> ;
$5c,"strut@"                -> ;
$5c,"strutbox@"             -> ;
$5c,"Subset"                -> ;
$5c,"subseteqq"             -> ;
$5c,"subsetneq"             -> ;
$5c,"subsetneqq"            -> ;
$5c,"succapprox"            -> ;
$5c,"succcurlyeq"           -> ;
$5c,"succnapprox"           -> ;
$5c,"succneqq"              -> ;
$5c,"succnsim"              -> ;
$5c,"succsim"               -> ;
$5c,"sum@"                  -> ;
$5c,"Supset"                -> ;
$5c,"supseteqq"             -> ;
$5c,"supsetneq"             -> ;
$5c,"supsetneqq"            -> ;
$5c,"syntax"                -> ;
$5c,"syntax@true"           -> ;
$5c,"tag"                   -> ;
$5c,"tag@"                  -> ;
$5c,"tagform@"              -> ;
$5c,"tagin@"                -> ;
$5c,"tagin@false"           -> ;
$5c,"tagin@true"            -> ;
$5c,"TagsAsMath"            -> ;
$5c,"TagsAsText"            -> ;
$5c,"tagsleft@false"        -> ;
$5c,"tagsleft@true"         -> ;
$5c,"TagsOnLeft"            -> ;
$5c,"TagsOnRight"           -> ;
$5c,"tbinom"                -> ;
$5c,"tdots@"                -> ;
$5c,"tenmsx"                -> ;         // depends on font availability
$5c,"tenmsy"                -> ;         // depends on font availability
$5c,"text"                  -> ;
$5c,"text@"                 -> ;
$5c,"text@@"                -> ;
$5c,"textdef@"              -> ;
$5c,"textdef@@"             -> ;
$5c,"textfont@"             -> ;
$5c,"textfonti"             -> ;
$5c,"textfontii"            -> ;
$5c,"tfrac"                 -> ;
$5c,"thecaption@"           -> ;
$5c,"thedots@"              -> ;
$5c,"thefam@"               -> ;
$5c,"therefore"             -> ;
$5c,"theskewchar@"          -> ;
$5c,"thespace@"             -> ;
$5c,"thetag"                -> ;
$5c,"thickapprox"           -> ;
$5c,"thickfrac"             -> ;
$5c,"thickfracwithdelims"   -> ;
$5c,"thickness"             -> ;
$5c,"thicksim"              -> ;
$5c,"thickspace"            -> ;
$5c,"thorn"                 -> ;
$5c,"tie"                   -> ;
$5c,"Tilde"                 -> ;
$5c,"tildeaccent"           -> ;
$5c,"toks@@"                -> ;
$5c,"top@false"             -> ;
$5c,"top@true"              -> ;
$5c,"topaligned"            -> ;
$5c,"topfolded@false"       -> ;
$5c,"topfolded@true"        -> ;
$5c,"topfoldedtext"         -> ;
$5c,"TopOrBottomTagsOnSplits"       -> ;
$5c,"topshave"              -> ;
$5c,"topsmash"              -> ;
$5c,"topspace"              -> ;
$5c,"totwidth@"             -> ;
$5c,"triangledown"          -> ;
$5c,"trianglelefteq"        -> ;
$5c,"triangleq"             -> ;
$5c,"trianglerighteq"       -> ;
$5c,"tsize"                 -> ;
$5c,"twoheadleftarrow"      -> ;
$5c,"twoheadrightarrow"     -> ;
$5c,"ulcorner"              -> ;
$5c,"unbracefonts@"         -> ;
$5c,"undefined@"            -> ;
$5c,"underarrow"            -> ;
$5c,"underleftarrow"        -> ;
$5c,"underleftarrow@"       -> ;
$5c,"underleftrightarrow"   -> ;
$5c,"underleftrightarrow@"  -> ;
$5c,"underline@"            -> ;
$5c,"underrightarrow"       -> ;
$5c,"underrightarrow@"      -> ;
$5c,"underscore"            -> ;
$5c,"underset"              -> ;
$5c,"undersetbrace"         -> ;
$5c,"upharpoonleft"         -> ;
$5c,"upharpoonright"        -> ;
$5c,"uproot"                -> ;
$5c,"uproot@"               -> ;
$5c,"upuparrows"            -> ;
$5c,"urcorner"              -> ;
$5c,"varDelta"              -> ;
$5c,"varGamma"              -> ;
$5c,"varinjlim"             -> ;
$5c,"varkappa"              -> ;
$5c,"varLambda"             -> ;
$5c,"varliminf"             -> ;
$5c,"varlimsup"             -> ;
$5c,"varnothing"            -> ;
$5c,"varOmega"              -> ;
$5c,"varPhi"                -> ;
$5c,"varPi"                 -> ;
$5c,"varprojlim"            -> ;
$5c,"varpropto"             -> ;
$5c,"varPsi"                -> ;
$5c,"varSigma"              -> ;
$5c,"varsubsetneq"          -> ;
$5c,"varsubsetneqq"         -> ;
$5c,"varsupsetneq"          -> ;
$5c,"varsupsetneqq"         -> ;
$5c,"varTheta"              -> ;
$5c,"vartriangle"           -> ;
$5c,"vartriangleleft"       -> ;
$5c,"vartriangleright"      -> ;
$5c,"varUpsilon"            -> ;
$5c,"varXi"                 -> ;
$5c,"vcorrection"           -> ;
$5c,"vDash"                 -> ;
$5c,"Vdash"                 -> ;
$5c,"Vec"                   -> ;
$5c,"veebar"                -> ;
$5c,"vmatrix"               -> ;
$5c,"Vmatrix"               -> ;
$5c,"vmodeerr@"             -> ;
$5c,"vnonvmode@"            -> ;
$5c,"vspace"                -> ;
$5c,"vspace@"               -> ;
$5c,"Vvdash"                -> ;
$5c,"W@"                    -> ;
$5c,"xalignat"              -> ;
$5c,"xalignat@"             -> ;
$5c,"xat@false"             -> ;
$5c,"xat@true"              -> ;
$5c,"xxalignat"             -> ;
$5c,"xxalignat@"            -> ;
$5c,"xxattag@"              -> ;
$5c,"yen"                   -> ;
$5c,"zerocr@false"          -> ;
$5c,"zerocr@true"           -> ;
$5c,"\\"                    -> ;
$5c,"^^J"                   -> ;


/*** / AMSPPT.STY / ***/

$5c,"abstract"              -> ;
$5c,"abstract@"             -> ;
$5c,"abstract@true"         -> ;
$5c,"address"               -> ;
$5c,"addresscount@"         -> ;
$5c,"address*"              -> ;         // expands to *i, *ii, etc.
$5c,"addressnum@"           -> ;
$5c,"adjustfootnotemark"    -> ;
$5c,"affil"                 -> ;
$5c,"affil@true"            -> ;
$5c,"affilbox@"             -> ;
$5c,"afterbook@false"       -> ;
$5c,"afterbook@true"        -> ;
$5c,"amspptloaded@AmS"      -> ;
$5c,"author"                -> ;
$5c,"author@true"           -> ;
$5c,"authorbox@"            -> ;
$5c,"book"                  -> ;
$5c,"book@false"            -> ;
$5c,"book@true"             -> ;
$5c,"bookbox@"              -> ;
$5c,"bookinfo"              -> ;
$5c,"bookinfo@false"        -> ;
$5c,"bookinfo@true"         -> ;
$5c,"bookinfobox@"          -> ;
$5c,"by"                    -> ;
$5c,"by@false"              -> ;
$5c,"by@true"               -> ;
$5c,"bybox@"                -> ;
$5c,"bysame"                -> ;
$5c,"bysame@false"          -> ;
$5c,"bysame@true"           -> ;
$5c,"bysamebox@"            -> ;
$5c,"cite"                  -> ;
$5c,"date"                  -> ;
$5c,"date@"                 -> ;
$5c,"date@true"             -> ;
$5c,"demo"                  -> ;
$5c,"demo@"                 -> ;
$5c,"eightbf"               -> ;
$5c,"eightbig@"             -> ;
$5c,"eighti"                -> ;
$5c,"eightit"               -> ;
$5c,"eightmsx"              -> ;
$5c,"eightmsy"              -> ;
$5c,"eightpoint"            -> ;
$5c,"eightrm"               -> ;
$5c,"eightsl"               -> ;
$5c,"eightsy"               -> ;
$5c,"endaffil"              -> ;
$5c,"endauthor"             -> ;
$5c,"enddemo"               -> ;
$5c,"endheading"            -> ;
$5c,"endproclaim"           -> ;
$5c,"endref"                -> ;
$5c,"endref@"               -> ;
$5c,"endroster"             -> ;
$5c,"endtitle"              -> ;
$5c,"endtopmatter"          -> ;
$5c,"everypartoks@"         -> ;
$5c,"filhss@"               -> ;
$5c,"finalinfo"             -> ;
$5c,"finalinfo@false"       -> ;
$5c,"finalinfo@true"        -> ;
$5c,"finalinfobox@"         -> ;
$5c,"firstitem@false"       -> ;
$5c,"firstitem@true"        -> ;
$5c,"firstref@false"        -> ;
$5c,"firstref@true"         -> ;
$5c,"font@"                 -> ;
$5c,"footmarkform@"         -> ;
$5c,"footnotemark"          -> ;
$5c,"footnotetext"          -> ;
$5c,"heading"               -> ;
$5c,"headingbox@"           -> ;
$5c,"ifabstract@"           -> ;
$5c,"ifaffil@"              -> ;
$5c,"ifafterbook@"          -> ;
$5c,"ifauthor@"             -> ;
$5c,"ifbook@"               -> ;
$5c,"ifbookinfo@"           -> ;
$5c,"ifby@"                 -> ;
$5c,"ifbysame@"             -> ;
$5c,"ifdate@"               -> ;
$5c,"iffinalinfo@"          -> ;
$5c,"iffirstitem@"          -> ;
$5c,"iffirstref@"           -> ;
$5c,"ifinbook@"             -> ;
$5c,"ifissue@"              -> ;
$5c,"ifjour@"               -> ;
$5c,"ifkey@"                -> ;
$5c,"iflastref@"            -> ;
$5c,"iflogo@"               -> ;
$5c,"ifmanyby@"             -> ;
$5c,"ifnextRunin@"          -> ;
$5c,"ifno@"                 -> ;
$5c,"ifnofrills@"           -> ;
$5c,"ifnojourinfo@"         -> ;
$5c,"ifpage@"               -> ;
$5c,"ifpages@"              -> ;
$5c,"ifpaper@"              -> ;
$5c,"ifpaperinfo@"          -> ;
$5c,"ifprevbook@"           -> ;
$5c,"ifprevinbook@"         -> ;
$5c,"ifprevjour@"           -> ;
$5c,"ifproclaim@"           -> ;
$5c,"ifpubl@"               -> ;
$5c,"ifpubladdr@"           -> ;
$5c,"ifthanks@"             -> ;
$5c,"iftoappear@"           -> ;
$5c,"ifvol@"                -> ;
$5c,"ifyr@"                 -> ;
$5c,"inbook"                -> ;
$5c,"inbook@false"          -> ;
$5c,"inbook@true"           -> ;
$5c,"innerendproclaim@"     -> ;
$5c,"innerproclaim@"        -> ;
$5c,"issue"                 -> ;
$5c,"issue@false"           -> ;
$5c,"issue@true"            -> ;
$5c,"issuebox@"             -> ;
$5c,"item@"                 -> ;
$5c,"jour"                  -> ;
$5c,"jour@false"            -> ;
$5c,"jour@true"             -> ;
$5c,"jourbox"               -> ;
$5c,"jourbox@"              -> ;
$5c,"key"                   -> ;
$5c,"key@false"             -> ;
$5c,"key@true"              -> ;
$5c,"keybox@"               -> ;
$5c,"keywords"              -> ;
$5c,"keywords@"             -> ;
$5c,"lastref@false"         -> ;
$5c,"lastref@true"          -> ;
$5c,"leftskip@"             -> ;
$5c,"logo@false"            -> ;
$5c,"logo@true"             -> ;
$5c,"makefootnote@"         -> ;
$5c,"manyby"                -> ;
$5c,"manyby@false"          -> ;
$5c,"manyby@true"           -> ;
$5c,"maxbysamerule@"        -> ;
$5c,"moreref"               -> ;
$5c,"nextRunin@"            -> ;
$5c,"nextRunin@false"       -> ;
$5c,"nextRunin@true"        -> ;
$5c,"ninebf"                -> ;
$5c,"ninei"                 -> ;
$5c,"nineit"                -> ;
$5c,"ninemsx"               -> ;         // depends on font availability
$5c,"ninemsy"               -> ;         // depends on font availability
$5c,"ninerm"                -> ;
$5c,"ninesl"                -> ;
$5c,"ninesy"                -> ;
$5c,"no"                    -> ;
$5c,"no@false"              -> ;
$5c,"no@true"               -> ;
$5c,"nobox@"                -> ;
$5c,"nofrills"              -> ;
$5c,"nofrills@"             -> ;
$5c,"nofrills@false"        -> ;
$5c,"nofrills@true"         -> ;
$5c,"nojourinfo@false"      -> ;
$5c,"nojourinfo@true"       -> ;
$5c,"nologo"                -> ;
$5c,"output@"               -> ;
$5c,"overlong"              -> ;
$5c,"overlong@"             -> ;
$5c,"page"                  -> ;
$5c,"page@false"            -> ;
$5c,"page@true"             -> ;
$5c,"pages"                 -> ;
$5c,"pages@false"           -> ;
$5c,"pages@true"            -> ;
$5c,"pagesbox@"             -> ;
$5c,"paper"                 -> ;
$5c,"paper@false"           -> ;
$5c,"paper@true"            -> ;
$5c,"paperbox@"             -> ;
$5c,"paperinfo"             -> ;
$5c,"paperinfo@false"       -> ;
$5c,"paperinfo@true"        -> ;
$5c,"paperinfobox@"         -> ;
$5c,"par@"                  -> ;
$5c,"penalty@"              -> ;
$5c,"plainitem@"            -> ;
$5c,"pointsize@"            -> ;
$5c,"ppunbox@"              -> ;
$5c,"preabstract"           -> ;
$5c,"preaffil"              -> ;
$5c,"preauthor"             -> ;
$5c,"predate"               -> ;
$5c,"prepaper"              -> ;
$5c,"prepunct@"             -> ;
$5c,"pretitle"              -> ;
$5c,"previnbook@false"      -> ;
$5c,"previnbook@true"       -> ;
$5c,"prevjour@false"        -> ;
$5c,"prevjour@true"         -> ;
$5c,"proclaim@"             -> ;
$5c,"proclaim@false"        -> ;
$5c,"proclaim@true"         -> ;
$5c,"publ"                  -> ;
$5c,"publ@false"            -> ;
$5c,"publ@true"             -> ;
$5c,"publaddr"              -> ;
$5c,"publaddr@false"        -> ;
$5c,"publaddr@true"         -> ;
$5c,"publaddrbox@"          -> ;
$5c,"publbox@"              -> ;
$5c,"qed"                   -> ;
$5c,"ref"                   -> ;
$5c,"ref@"                  -> ;
$5c,"refdef@"               -> ;
$5c,"Refs"                  -> ;
$5c,"roster"                -> ;
$5c,"rostercount@"          -> ;
$5c,"rosterhangafter@"      -> ;
$5c,"rosteritem@"           -> ;
$5c,"runinitem"             -> ;
$5c,"Runinitem"             -> ;
$5c,"runinitem@"            -> ;
$5c,"setpunct@"             -> ;
$5c,"sixbf"                 -> ;
$5c,"sixi"                  -> ;
$5c,"sixmsx"                -> ;         // depends on font availability
$5c,"sixmsy"                -> ;         // depends on font availability
$5c,"sixrm"                 -> ;
$5c,"sixsy"                 -> ;
$5c,"styname"               -> ;
$5c,"styversion"            -> ;
$5c,"subheading"            -> ;
$5c,"subheading@"           -> ;
$5c,"subjclass"             -> ;
$5c,"subjclass@"            -> ;
$5c,"tenbig@"               -> ;
$5c,"tenpoint"              -> ;
$5c,"tensmc"                -> ;
$5c,"thanks"                -> ;
$5c,"thanks@"               -> ;
$5c,"thanks@true"           -> ;
$5c,"theabstract@"          -> ;
$5c,"thefootnotemark"       -> ;
$5c,"thekeywords@"          -> ;
$5c,"therosteritem"         -> ;
$5c,"thesubjclass@"         -> ;
$5c,"title"                 -> ;
$5c,"titlebox@"             -> ;
$5c,"toappear"              -> ;
$5c,"toappear@false"        -> ;
$5c,"toappear@true"         -> ;
$5c,"topmatter"             -> ;
$5c,"usualspace"            -> ;
$5c,"usualspace@"           -> ;
$5c,"vol"                   -> ;
$5c,"vol@false"             -> ;
$5c,"vol@true"              -> ;
$5c,"volbox@"               -> ;
$5c,"yr"                    -> ;
$5c,"yr@false"              -> ;
$5c,"yr@true"               -> ;
$5c,"yrbox@"                -> ;