-- 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.