-- TexHashInit.mesa -- last written by Doug Wyatt, November 9, 1979 5:52 PM DIRECTORY TexHashDefs: FROM "TexHashDefs", TexStringDefs: FROM "TexStringDefs", TexTableDefs: FROM "TexTableDefs", FrameDefs: FROM "FrameDefs"; TexHashInit: PROGRAM IMPORTS TexHashDefs,TexStringDefs,TexTableDefs,FrameDefs EXPORTS TexTableDefs = BEGIN OPEN TexTableDefs; IdEnter: PROCEDURE[s: STRING, cmd: Cmd, info: CmdInfo] = BEGIN SetHashEquiv[TexHashDefs.HashLookup[s,TRUE], cmd, info]; END; ChEnter: PROCEDURE[c: CHARACTER, cmd: Cmd, lnk: CmdInfo] = BEGIN s: STRING←[1]; -- a 1-character string TexStringDefs.AppendChar[s,c]; IdEnter[s,cmd,lnk]; END; InitHashA: PROCEDURE = BEGIN IdEnter["ifeven"L,ifeven,[ifeven[even]]]; IdEnter["ifpos"L,ifeven,[ifeven[pos]]]; IdEnter["ifvmode"L,ifmode,[ifmode[v]]]; IdEnter["ifhmode"L,ifmode,[ifmode[h]]]; IdEnter["ifmmode"L,ifmode,[ifmode[m]]]; IdEnter["if"L,ifT,[ifT[]]]; IdEnter["else"L,elsecode,[elsecode[]]]; IdEnter["output"L,output,[output[]]]; IdEnter["input"L,innput,[innput[]]]; IdEnter["end"L,stop,[stop[]]]; IdEnter["ddt"L,ddt,[ddt[]]]; IdEnter["char"L,ascii,[ascii[]]]; IdEnter["mathrm"L,fntfam,[fntfam[rm]]]; IdEnter["mathit"L,fntfam,[fntfam[it]]]; IdEnter["mathsy"L,fntfam,[fntfam[sy]]]; IdEnter["mathex"L,fntfam,[fntfam[ex]]]; IdEnter["setcount"L,setcount,[setcount[]]]; IdEnter["advcount"L,advcount,[advcount[]]]; IdEnter["count"L,count,[count[]]]; IdEnter["hsize"L,assignreal,[assignreal[hsize]]]; IdEnter["vsize"L,assignreal,[assignreal[vsize]]]; IdEnter["maxdepth"L,assignreal,[assignreal[maxdepth]]]; IdEnter["parindent"L,assignreal,[assignreal[parindent]]]; IdEnter["topbaseline"L,assignreal,[assignreal[topbaseline]]]; IdEnter["mathsurround"L,assignreal,[assignreal[mathsurround]]]; IdEnter["varunit"L,assignreal,[assignreal[varunit]]]; IdEnter["lineskiplimit"L,assignreal,[assignreal[lineskiplimit]]]; IdEnter["lineskip"L,assignglue,[assignglue[lineskip]]]; IdEnter["baselineskip"L,assignglue,[assignglue[baselineskip]]]; IdEnter["parskip"L,assignglue,[assignglue[parskip]]]; IdEnter["dispskip"L,assignglue,[assignglue[dispskip]]]; IdEnter["dispaskip"L,assignglue,[assignglue[dispaskip]]]; IdEnter["dispbskip"L,assignglue,[assignglue[dispbskip]]]; IdEnter["topskip"L,assignglue,[assignglue[topskip]]]; IdEnter["botskip"L,assignglue,[assignglue[botskip]]]; IdEnter["tabskip"L,assignglue,[assignglue[tabskip]]]; IdEnter["box"L,box,[box[box]]]; IdEnter["page"L,box,[box[page]]]; IdEnter["vbox"L,box,[box[vbox]]]; IdEnter["hbox"L,box,[box[hbox]]]; IdEnter["chcode"L,chcode,[chcode[code]]]; IdEnter["chpar"L,chcode,[chcode[par]]]; IdEnter["def"L,def,[def[def]]]; IdEnter["gdef"L,def,[def[gdef]]]; IdEnter["xdef"L,def,[def[xdef]]]; ChEnter[':,font,[font[]]]; IdEnter["cr"L,carret,[carret[]]]; IdEnter["par"L,parend,[parend[]]]; IdEnter["x"L,xt,[xt[]]]; END; InitHashB: PROCEDURE = BEGIN IdEnter["moveleft"L,hmove,[hmove[TRUE]]]; IdEnter["moveright"L,hmove,[hmove[FALSE]]]; IdEnter["raise"L,vmove,[vmove[TRUE]]]; IdEnter["lower"L,vmove,[vmove[FALSE]]]; IdEnter["save"L,save,[save[]]]; IdEnter["leaders"L,leaders,[leaders[]]]; IdEnter["halign"L,halign,[halign[]]]; IdEnter["valign"L,valign,[valign[]]]; IdEnter["noalign"L,noalign,[noalign[]]]; IdEnter["-"L,discr,[discr['-]]]; IdEnter["*"L,mdiscr,[mdiscr[[sy,2C]]]]; IdEnter["accent"L,newaccent,[newaccent[]]]; IdEnter["eqno"L,eqno,[eqno[]]]; ChEnter[40C,exspace,[exspace[]]]; ChEnter[11C,exspace,[exspace[]]]; -- \<tab> is like \<space> ChEnter[12C,exspace,[exspace[]]]; -- \<lf> is like \<space> ChEnter[13C,exspace,[exspace[]]]; -- \<vt> is like \<space> ChEnter[14C,exspace,[exspace[]]]; -- \<ff> is like \<space> ChEnter[15C,exspace,[exspace[]]]; -- \<cr> is like \<space> IdEnter["left"L,leftright,[leftright[left]]]; IdEnter["right"L,leftright,[leftright[right]]]; IdEnter["mathop"L,mathinput,[mathinput[Op,op]]]; IdEnter["mathbin"L,mathinput,[mathinput[Bin,none]]]; IdEnter["mathrel"L,mathinput,[mathinput[Rel,none]]]; IdEnter["mathopen"L,mathinput,[mathinput[Open,none]]]; IdEnter["mathclose"L,mathinput,[mathinput[Close,none]]]; IdEnter["mathpunct"L,mathinput,[mathinput[Punct,none]]]; IdEnter["sqrt"L,mathinput,[mathinput[Ord,sqrt]]]; IdEnter["overline"L,mathinput,[mathinput[Ord,over]]]; IdEnter["underline"L,mathinput,[mathinput[Ord,under]]]; IdEnter["limitswitch"L,limsw,[limsw[]]]; IdEnter["above"L,above,[above[above]]]; IdEnter["atop"L,above,[above[atop]]]; IdEnter["over"L,above,[above[over]]]; IdEnter["comb"L,above,[above[comb]]]; IdEnter["topinsert"L,topbotins,[topbotins[top]]]; IdEnter["botinsert"L,topbotins,[topbotins[bot]]]; IdEnter["topmark"L,topbotmark,[topbotmark[top]]]; IdEnter["botmark"L,topbotmark,[topbotmark[bot]]]; IdEnter["firstmark"L,topbotmark,[topbotmark[first]]]; IdEnter["mark"L,mark,[mark[]]]; IdEnter["penalty"L,penlty,[penlty[]]]; IdEnter["noindent"L,noindent,[noindent[]]]; IdEnter["eject"L,eject,[eject[]]]; IdEnter["vfill"L,vskip,[vskip[fill]]]; IdEnter["vfil"L,vskip,[vskip[fil]]]; IdEnter["vfilneg"L,vskip,[vskip[filneg]]]; IdEnter["vss"L,vskip,[vskip[lowerfill]]]; IdEnter["vskip"L,vskip,[vskip[skip]]]; IdEnter["hfill"L,hskip,[hskip[fill]]]; IdEnter["hfil"L,hskip,[hskip[fil]]]; IdEnter["hfilneg"L,hskip,[hskip[filneg]]]; IdEnter["hss"L,hskip,[hskip[lowerfill]]]; IdEnter["hskip"L,hskip,[hskip[skip]]]; IdEnter["vrule"L,vrule,[vrule[]]]; IdEnter["hrule"L,hrule,[hrule[]]]; END; InitHashC: PROCEDURE = BEGIN ChEnter[',,mathspace,[mathspace[thin]]]; ChEnter[';,mathspace,[mathspace[thick]]]; ChEnter[',mathspace,[mathspace[th]]]; ChEnter['>,mathspace,[mathspace[op]]]; ChEnter[',mathspace,[mathspace[negth]]]; ChEnter['<,mathspace,[mathspace[negop]]]; ChEnter['!,mathspace,[mathspace[negthin]]]; ChEnter['?,mathspace,[mathspace[negthick]]]; IdEnter["quad"L,mathspace,[mathspace[quad]]]; IdEnter["dispstyle"L,mathstyle,[mathstyle[disp]]]; IdEnter["textstyle"L,mathstyle,[mathstyle[text]]]; IdEnter["scriptstyle"L,mathstyle,[mathstyle[script]]]; IdEnter["scriptscriptstyle"L,mathstyle,[mathstyle[scriptscript]]]; ChEnter['/,italcorr,[italcorr[]]]; IdEnter["uppercase"L,caseshift,[caseshift[upper]]]; IdEnter["lowercase"L,caseshift,[caseshift[lower]]]; IdEnter["vcenter"L,vcenter,[vcenter[vcenter]]]; IdEnter["vtop"L,vcenter,[vcenter[vtop]]]; IdEnter["hangindent"L,hangindent,[hangindent[]]]; IdEnter["unskip"L,unskip,[unskip[]]]; -- The following codes refer to TEX's special non-ascii fonts; IdEnter["Gamma"L,mathonly,[mathonly[[Ord,[rm,00C]]]]]; -- u.c. gamma IdEnter["Delta"L,mathonly,[mathonly[[Ord,[rm,01C]]]]]; -- u.c. delta IdEnter["Theta"L,mathonly,[mathonly[[Ord,[rm,02C]]]]]; -- u.c. theta IdEnter["Lambda"L,mathonly,[mathonly[[Ord,[rm,03C]]]]]; -- u.c. lambda IdEnter["Xi"L,mathonly,[mathonly[[Ord,[rm,04C]]]]]; -- u.c. xi IdEnter["Pi"L,mathonly,[mathonly[[Ord,[rm,05C]]]]]; -- u.c. pi IdEnter["Sigma"L,mathonly,[mathonly[[Ord,[rm,06C]]]]]; -- u.c. sigma IdEnter["Upsilon"L,mathonly,[mathonly[[Ord,[rm,07C]]]]]; -- u.c. upsilon IdEnter["Phi"L,mathonly,[mathonly[[Ord,[rm,10C]]]]]; -- u.c. phi IdEnter["Psi"L,mathonly,[mathonly[[Ord,[rm,11C]]]]]; -- u.c. psi IdEnter["Omega"L,mathonly,[mathonly[[Ord,[rm,12C]]]]]; -- u.c. omega ChEnter['i,nonmathletter,[nonmathletter[13C]]]; -- dotless i ChEnter['j,nonmathletter,[nonmathletter[14C]]]; -- dotless j ChEnter['`,accent,[accent[15C]]]; -- grave accent ChEnter['',accent,[accent[16C]]]; -- acute accent ChEnter['A,accent,[accent[17C]]]; -- circumflex (hat) accent ChEnter['v,accent,[accent[20C]]]; -- inverted circumflex accent (Slavic) ChEnter['u,accent,[accent[21C]]]; -- breve ChEnter['=,accent,[accent[22C]]]; -- macron (bar) accent ChEnter['",accent,[accent[23C]]]; -- umlaut or dieresis ChEnter['s,accent,[accent[24C]]]; -- tilde ChEnter['b,accent,[accent[25C]]]; -- vector accent ChEnter['H,accent,[accent[26C]]]; -- long Hungarian umlaut ChEnter['a,accent,[accent[27C]]]; -- small circle accent (Scandinavian) ChEnter['c,accent,[accent[30C]]]; -- cedilla (French, Polish, Navajo, etc.) ChEnter['l,accent,[accent[31C]]]; -- cross for lower case l (Polish) ChEnter['t,accent,[accent[32C]]]; -- tie for Russian ligatures IdEnter["ss"L,nonmathletter,[nonmathletter[33C]]]; -- German ligature ss IdEnter["ae"L,nonmathletter,[nonmathletter[34C]]]; -- Latin or Scandinavian ligature ae IdEnter["oe"L,nonmathletter,[nonmathletter[35C]]]; -- French ligature oe IdEnter["Ae"L,nonmathletter,[nonmathletter[36C]]]; -- Latin or Scandinavian ligature AE IdEnter["Oe"L,nonmathletter,[nonmathletter[37C]]]; -- French ligature OE ChEnter['o,nonmathletter,[nonmathletter[40C]]]; -- o with slash (Scandinavian) ChEnter['O,nonmathletter,[nonmathletter[100C]]]; -- O with slash (Scandinavian) IdEnter["Gammait"L,mathonly,[mathonly[[Ord,[it,00C]]]]]; -- u.c. italic gamma IdEnter["Deltait"L,mathonly,[mathonly[[Ord,[it,01C]]]]]; -- u.c. italic delta IdEnter["Thetait"L,mathonly,[mathonly[[Ord,[it,02C]]]]]; -- u.c. italic theta IdEnter["Lambdait"L,mathonly,[mathonly[[Ord,[it,03C]]]]]; -- u.c. italic lambda IdEnter["Xiit"L,mathonly,[mathonly[[Ord,[it,04C]]]]]; -- u.c. italic xi IdEnter["Piit"L,mathonly,[mathonly[[Ord,[it,05C]]]]]; -- u.c. italic pi IdEnter["Sigmait"L,mathonly,[mathonly[[Ord,[it,06C]]]]]; -- u.c. italic sigma IdEnter["Upsilonit"L,mathonly,[mathonly[[Ord,[it,07C]]]]]; -- u.c. italic upsilon IdEnter["Phiit"L,mathonly,[mathonly[[Ord,[it,10C]]]]]; -- u.c. italic phi IdEnter["Psiit"L,mathonly,[mathonly[[Ord,[it,11C]]]]]; -- u.c. italic psi IdEnter["Omegait"L,mathonly,[mathonly[[Ord,[it,12C]]]]]; -- u.c. italic omega END; InitHashD: PROCEDURE = BEGIN IdEnter["alpha"L,mathonly,[mathonly[[Ord,[it,13C]]]]]; -- l.c. alpha IdEnter["beta"L,mathonly,[mathonly[[Ord,[it,14C]]]]]; -- l.c. beta IdEnter["gamma"L,mathonly,[mathonly[[Ord,[it,15C]]]]]; -- l.c. gamma IdEnter["delta"L,mathonly,[mathonly[[Ord,[it,16C]]]]]; -- l.c. delta IdEnter["epsilon"L,mathonly,[mathonly[[Ord,[it,17C]]]]]; -- l.c. epsilon IdEnter["zeta"L,mathonly,[mathonly[[Ord,[it,20C]]]]]; -- l.c. zeta IdEnter["eta"L,mathonly,[mathonly[[Ord,[it,21C]]]]]; -- l.c. eta IdEnter["theta"L,mathonly,[mathonly[[Ord,[it,22C]]]]]; -- l.c. theta IdEnter["iota"L,mathonly,[mathonly[[Ord,[it,23C]]]]]; -- l.c. iota IdEnter["kappa"L,mathonly,[mathonly[[Ord,[it,24C]]]]]; -- l.c. kappa IdEnter["lambda"L,mathonly,[mathonly[[Ord,[it,25C]]]]]; -- l.c. lambda IdEnter["mu"L,mathonly,[mathonly[[Ord,[it,26C]]]]]; -- l.c. mu IdEnter["nu"L,mathonly,[mathonly[[Ord,[it,27C]]]]]; -- l.c. nu IdEnter["xi"L,mathonly,[mathonly[[Ord,[it,30C]]]]]; -- l.c. xi IdEnter["pi"L,mathonly,[mathonly[[Ord,[it,31C]]]]]; -- l.c. pi IdEnter["rho"L,mathonly,[mathonly[[Ord,[it,32C]]]]]; -- l.c. rho IdEnter["sigma"L,mathonly,[mathonly[[Ord,[it,33C]]]]]; -- l.c. sigma IdEnter["tau"L,mathonly,[mathonly[[Ord,[it,34C]]]]]; -- l.c. tau IdEnter["upsilon"L,mathonly,[mathonly[[Ord,[it,35C]]]]]; -- l.c. upsilon IdEnter["phi"L,mathonly,[mathonly[[Ord,[it,36C]]]]]; -- l.c. phi IdEnter["chi"L,mathonly,[mathonly[[Ord,[it,37C]]]]]; -- l.c. chi IdEnter["iit"L,mathonly,[mathonly[[Ord,[it,40C]]]]]; -- dotless italic i IdEnter["lscr"L,mathonly,[mathonly[[Ord,[it,43C]]]]]; -- l.c. script ell IdEnter["wp"L,mathonly,[mathonly[[Ord,[it,44C]]]]]; -- Weierstrass p IdEnter["partial"L,mathonly,[mathonly[[Ord,[it,45C]]]]]; -- partial derivative sign IdEnter["jit"L,mathonly,[mathonly[[Ord,[it,100C]]]]]; -- dotless italic j IdEnter["psi"L,mathonly,[mathonly[[Ord,[it,173C]]]]]; -- l.c. psi IdEnter["omega"L,mathonly,[mathonly[[Ord,[it,174C]]]]]; -- l.c. omega IdEnter["varphi"L,mathonly,[mathonly[[Ord,[it,175C]]]]]; -- variant l.c. phi (not pointed at top) IdEnter["vartheta"L,mathonly,[mathonly[[Ord,[it,176C]]]]]; -- variant l.c. theta (not closed at left) IdEnter["varomega"L,mathonly,[mathonly[[Ord,[it,177C]]]]]; -- variant l.c. omega (closed with bar at top) END; InitHashE: PROCEDURE = BEGIN IdEnter["cdot"L,mathonly,[mathonly[[Bin,[sy,01C]]]]]; -- centered dot IdEnter["times"L,mathonly,[mathonly[[Bin,[sy,02C]]]]]; -- cross product IdEnter["ast"L,mathonly,[mathonly[[Bin,[sy,03C]]]]]; -- asterisk resting on baseline IdEnter["rslash"L,mathonly,[mathonly[[Bin,[sy,04C]]]]]; -- reverse slash (\) IdEnter["circ"L,mathonly,[mathonly[[Bin,[sy,05C]]]]]; -- small circle operator IdEnter["pm"L,mathonly,[mathonly[[Bin,[sy,06C]]]]]; -- plus-or-minus IdEnter["mp"L,mathonly,[mathonly[[Bin,[sy,07C]]]]]; -- minus-or-plus IdEnter["oplus"L,mathonly,[mathonly[[Bin,[sy,10C]]]]]; -- circle plus IdEnter["ominus"L,mathonly,[mathonly[[Bin,[sy,11C]]]]]; -- circle minus IdEnter["otimes"L,mathonly,[mathonly[[Bin,[sy,12C]]]]]; -- circle times () IdEnter["odiv"L,mathonly,[mathonly[[Bin,[sy,13C]]]]]; -- circle divide IdEnter["odot"L,mathonly,[mathonly[[Bin,[sy,14C]]]]]; -- circle dot IdEnter["div"L,mathonly,[mathonly[[Bin,[sy,15C]]]]]; -- elementary division (-:-) IdEnter["interc"L,mathonly,[mathonly[[Bin,[sy,16C]]]]]; -- intercalation product IdEnter["bullet"L,mathonly,[mathonly[[Bin,[sy,17C]]]]]; -- filled-in circle operator IdEnter["perp"L,mathonly,[mathonly[[Rel,[sy,20C]]]]]; -- perpendicular (|) IdEnter["bot"L,mathonly,[mathonly[[Ord,[sy,20C]]]]]; -- Scott bottom (|) IdEnter["subset"L,mathonly,[mathonly[[Rel,[sy,22C]]]]]; -- IdEnter["supset"L,mathonly,[mathonly[[Rel,[sy,23C]]]]]; -- IdEnter["preceq"L,mathonly,[mathonly[[Rel,[sy,26C]]]]]; -- precedes or equals IdEnter["succeq"L,mathonly,[mathonly[[Rel,[sy,27C]]]]]; -- succeeds or equals IdEnter["approx"L,mathonly,[mathonly[[Rel,[sy,31C]]]]]; -- approximate equality IdEnter["doteq"L,mathonly,[mathonly[[Rel,[sy,35C]]]]]; -- dot over equals IdEnter["prec"L,mathonly,[mathonly[[Rel,[sy,36C]]]]]; -- precedes (curly version of <) IdEnter["succ"L,mathonly,[mathonly[[Rel,[sy,37C]]]]]; -- succeeds (curly version of >) IdEnter["up"L,mathonly,[mathonly[[Rel,[sy,42C]]]]]; -- ↑ IdEnter["down"L,mathonly,[mathonly[[Rel,[sy,43C]]]]]; -- IdEnter["lsls"L,mathonly,[mathonly[[Rel,[sy,45C]]]]]; -- << IdEnter["grgr"L,mathonly,[mathonly[[Rel,[sy,46C]]]]]; -- >> IdEnter["simeq"L,mathonly,[mathonly[[Rel,[sy,47C]]]]]; -- - IdEnter["←"L,mathonly,[mathonly[[Rel,[sy,50C]]]]]; -- <= IdEnter[""L,mathonly,[mathonly[[Rel,[sy,51C]]]]]; -- => IdEnter["↑"L,mathonly,[mathonly[[Rel,[sy,52C]]]]]; -- || IdEnter[""L,mathonly,[mathonly[[Rel,[sy,53C]]]]]; -- || IdEnter[""L,mathonly,[mathonly[[Rel,[sy,54C]]]]]; -- <=> IdEnter["lsh"L,mathonly,[mathonly[[Bin,[sy,55C]]]]]; -- left shift symbol IdEnter["rsh"L,mathonly,[mathonly[[Bin,[sy,56C]]]]]; -- right shift symbol IdEnter["mapsto"L,mathonly,[mathonly[[Rel,[sy,57C]]]]]; -- | IdEnter["prime"L,mathonly,[mathonly[[Ord,[sy,60C]]]]]; -- prime (intended to appear in script size only) IdEnter["infty"L,mathonly,[mathonly[[Ord,[sy,61C]]]]]; -- infinity IdEnter["in"L,mathonly,[mathonly[[Rel,[sy,62C]]]]]; -- meaning set element IdEnter["notin"L,mathonly,[mathonly[[Rel,[sy,63C]]]]]; -- / IdEnter["emptyset"L,mathonly,[mathonly[[Ord,[sy,64C]]]]]; -- /0 IdEnter["angle"L,mathonly,[mathonly[[Ord,[sy,66C]]]]]; -- / IdEnter["aleph"L,mathonly,[mathonly[[Ord,[sy,73C]]]]]; -- u.c. aleph IdEnter["real"L,mathonly,[mathonly[[Ord,[sy,74C]]]]]; -- u.c. Fraktur R IdEnter["imag"L,mathonly,[mathonly[[Ord,[sy,75C]]]]]; -- u.c. Fraktur I IdEnter["top"L,mathonly,[mathonly[[Ord,[sy,76C]]]]]; -- Scott top (upside down perpendicular) IdEnter["not"L,mathonly,[mathonly[[Rel,[sy,100C]]]]]; -- zero-width character negates a relation symbol END; InitHashF: PROCEDURE = BEGIN IdEnter["Ascr"L,mathonly,[mathonly[[Ord,[sy,101C]]]]]; -- u.c. script A IdEnter["Bscr"L,mathonly,[mathonly[[Ord,[sy,102C]]]]]; -- u.c. script B IdEnter["Cscr"L,mathonly,[mathonly[[Ord,[sy,103C]]]]]; -- u.c. script C IdEnter["Dscr"L,mathonly,[mathonly[[Ord,[sy,104C]]]]]; -- u.c. script D IdEnter["Escr"L,mathonly,[mathonly[[Ord,[sy,105C]]]]]; -- u.c. script E IdEnter["Fscr"L,mathonly,[mathonly[[Ord,[sy,106C]]]]]; -- u.c. script F IdEnter["Gscr"L,mathonly,[mathonly[[Ord,[sy,107C]]]]]; -- u.c. script G IdEnter["Hscr"L,mathonly,[mathonly[[Ord,[sy,110C]]]]]; -- u.c. script H IdEnter["Iscr"L,mathonly,[mathonly[[Ord,[sy,111C]]]]]; -- u.c. script I IdEnter["Jscr"L,mathonly,[mathonly[[Ord,[sy,112C]]]]]; -- u.c. script J IdEnter["Kscr"L,mathonly,[mathonly[[Ord,[sy,113C]]]]]; -- u.c. script K IdEnter["Lscr"L,mathonly,[mathonly[[Ord,[sy,114C]]]]]; -- u.c. script L IdEnter["Mscr"L,mathonly,[mathonly[[Ord,[sy,115C]]]]]; -- u.c. script M IdEnter["Nscr"L,mathonly,[mathonly[[Ord,[sy,116C]]]]]; -- u.c. script N IdEnter["Oscr"L,mathonly,[mathonly[[Ord,[sy,117C]]]]]; -- u.c. script O IdEnter["Pscr"L,mathonly,[mathonly[[Ord,[sy,120C]]]]]; -- u.c. script P IdEnter["Qscr"L,mathonly,[mathonly[[Ord,[sy,121C]]]]]; -- u.c. script Q IdEnter["Rscr"L,mathonly,[mathonly[[Ord,[sy,122C]]]]]; -- u.c. script R IdEnter["Sscr"L,mathonly,[mathonly[[Ord,[sy,123C]]]]]; -- u.c. script S IdEnter["Tscr"L,mathonly,[mathonly[[Ord,[sy,124C]]]]]; -- u.c. script T IdEnter["Uscr"L,mathonly,[mathonly[[Ord,[sy,125C]]]]]; -- u.c. script U IdEnter["Vscr"L,mathonly,[mathonly[[Ord,[sy,126C]]]]]; -- u.c. script V IdEnter["Wscr"L,mathonly,[mathonly[[Ord,[sy,127C]]]]]; -- u.c. script W IdEnter["Xscr"L,mathonly,[mathonly[[Ord,[sy,130C]]]]]; -- u.c. script X IdEnter["Yscr"L,mathonly,[mathonly[[Ord,[sy,131C]]]]]; -- u.c. script Y IdEnter["Zscr"L,mathonly,[mathonly[[Ord,[sy,132C]]]]]; -- u.c. script Z IdEnter["uplus"L,mathonly,[mathonly[[Bin,[sy,135C]]]]]; -- multiset union + IdEnter["vdash"L,mathonly,[mathonly[[Open,[sy,140C]]]]]; -- |- (left turnstile) IdEnter["dashv"L,mathonly,[mathonly[[Close,[sy,141C]]]]]; -- -| (right turnstile) IdEnter["lfloor"L,mathonly,[mathonly[[Open,[sy,142C]]]]]; -- left floor bracket IdEnter["rfloor"L,mathonly,[mathonly[[Close,[sy,143C]]]]]; -- right floor bracket IdEnter["lceil"L,mathonly,[mathonly[[Open,[sy,144C]]]]]; -- left ceiling bracket IdEnter["rceil"L,mathonly,[mathonly[[Close,[sy,145C]]]]]; -- right ceiling bracket ChEnter['{,mathonly,[mathonly[[Open,[sy,146C]]]]]; -- left brace ChEnter[176C,mathonly,[mathonly[[Close,[sy,147C]]]]]; -- Stanford's right brace ChEnter[175C,mathonly,[mathonly[[Close,[sy,147C]]]]]; -- Ascii right brace IdEnter["langle"L,mathonly,[mathonly[[Open,[sy,150C]]]]]; -- left angle bracket IdEnter["rangle"L,mathonly,[mathonly[[Close,[sy,151C]]]]]; -- right angle bracket IdEnter["leftv"L,mathonly,[mathonly[[Open,[sy,152C]]]]]; -- | treated as left bracket IdEnter["rightv"L,mathonly,[mathonly[[Close,[sy,152C]]]]]; -- | treated as right bracket IdEnter["relv"L,mathonly,[mathonly[[Rel,[sy,152C]]]]]; -- | treated as relation (divides, or set def'n) ChEnter['|,mathonly,[mathonly[[Ord,[sy,153C]]]]]; -- || IdEnter["leftvv"L,mathonly,[mathonly[[Open,[sy,153C]]]]]; -- || treated as left bracket IdEnter["rightvv"L,mathonly,[mathonly[[Close,[sy,153C]]]]]; -- || treated as right bracket IdEnter["relvv"L,mathonly,[mathonly[[Rel,[sy,153C]]]]]; -- || treated as relation (disjointness) IdEnter["dleft"L,mathonly,[mathonly[[Open,[sy,154C]]]]]; -- double left bracket IdEnter["dright"L,mathonly,[mathonly[[Close,[sy,155C]]]]]; -- double right bracket IdEnter["surd"L,mathonly,[mathonly[[Ord,[sy,160C]]]]]; -- radical (square root) sign IdEnter["#"L,mathonly,[mathonly[[Ord,[sy,161C]]]]]; -- sharp sign (hash mark or American pound) IdEnter["nabla"L,mathonly,[mathonly[[Ord,[sy,162C]]]]]; -- inverted u.c. delta IdEnter["smallint"L,mathonly,[mathonly[[Op,[sy,163C]]]]]; -- small integral sign IdEnter["lub"L,mathonly,[mathonly[[Bin,[sy,164C]]]]]; -- square union sign in Scott semantics IdEnter["glb"L,mathonly,[mathonly[[Bin,[sy,165C]]]]]; -- square intersection sign in Scott semantics IdEnter["sqsub"L,mathonly,[mathonly[[Rel,[sy,166C]]]]]; -- square inclusion sign in Scott semantics IdEnter["section"L,mathonly,[mathonly[[Ord,[sy,170C]]]]]; -- section symbol IdEnter["dag"L,mathonly,[mathonly[[Ord,[sy,171C]]]]]; -- dagger IdEnter["ddag"L,mathonly,[mathonly[[Ord,[sy,172C]]]]]; -- double dagger IdEnter["P"L,mathonly,[mathonly[[Ord,[sy,173C]]]]]; -- paragraph symbol IdEnter["@"L,mathonly,[mathonly[[Ord,[sy,174C]]]]]; -- at sign IdEnter["copyright"L,mathonly,[mathonly[[Ord,[sy,175C]]]]]; -- c in circle IdEnter["sterling"L,mathonly,[mathonly[[Ord,[sy,176C]]]]]; -- British pound sign IdEnter["$"L,mathonly,[mathonly[[Ord,[sy,177C]]]]]; -- dollar sign IdEnter["squnion"L,mathonly,[mathonly[[Op,[ex,106C]]]]]; -- large square union sign IdEnter["oint"L,mathonly,[mathonly[[Op,[ex,110C]]]]]; -- large contour integral sign IdEnter["odotprod"L,mathonly,[mathonly[[Op,[ex,112C]]]]]; -- large circle-dot sign IdEnter["osum"L,mathonly,[mathonly[[Op,[ex,114C]]]]]; -- large circle-plus sign IdEnter["oprod"L,mathonly,[mathonly[[Op,[ex,116C]]]]]; -- large circle-times sign IdEnter["sum"L,mathonly,[mathonly[[Op,[ex,120C]]]]]; -- large Sigma sign for summation IdEnter["prod"L,mathonly,[mathonly[[Op,[ex,121C]]]]]; -- large Pi sign for product IdEnter["int"L,mathonly,[mathonly[[Op,[ex,122C]]]]]; -- large integral sign IdEnter["union"L,mathonly,[mathonly[[Op,[ex,123C]]]]]; -- large set union sign IdEnter["inter"L,mathonly,[mathonly[[Op,[ex,124C]]]]]; -- large set intersection sign IdEnter["munion"L,mathonly,[mathonly[[Op,[ex,125C]]]]]; -- large multiset union sign (U with +) IdEnter["meet"L,mathonly,[mathonly[[Op,[ex,126C]]]]]; -- large logical or (lattice meet) sign IdEnter["join"L,mathonly,[mathonly[[Op,[ex,127C]]]]]; -- large logical and (lattice join) sign END; -- main body code InitHashF; InitHashE; InitHashD; InitHashC; InitHashB; InitHashA; FrameDefs.SelfDestruct; END.