<!entity AElig sdata "{\AE}" >
<!entity Aacute sdata "\'{A}" >
<!entity Acirc sdata "\^{A}" >
<!entity Agrave sdata "\`{A}" >
<!entity Aring sdata "{\AA}" >
<!entity Atilde sdata "\~{A}" >
<!entity Auml sdata '\"{A}' >
<!entity Ccedil sdata "\c{C}" >
<!entity Delta sdata "\Delta " >
<!entity Eacute sdata "\'{E}" >
<!entity Egrave sdata "\`{E}" >
<!entity Euml sdata '\"{E}' >
<!entity Gamma sdata "\Gamma" >
<!entity Iacute sdata "\'{I}" >
<!entity Icirc sdata "\^{I}" >
<!entity Igrave sdata "\`{I}" >
<!entity Iuml sdata '\"{I}' >
<!entity Ntilde sdata "\~{N}" >
<!entity Oacute sdata "\'{O}" >
<!entity Ocirc sdata "\^{O}" >
<!entity Ograve sdata "\`{O}" >
<!entity Omega sdata "\Omega" >
<!entity Oslash sdata "{\O}" >
<!entity Otilde sdata "\~{O}" >
<!entity Ouml sdata '\"{O}' >
<!entity Phi sdata "\Phi" >
<!entity Pi sdata "\Pi" >
<!entity Prime sdata "\prime\prime" >
<!entity Prod sdata "\prod" >
<!entity Psi sdata "\Psi" >
<!entity Sigma sdata "\Sigma" >
<!entity Sum sdata "\sum" >
<!entity Theta sdata "\Theta" >
<!entity Uacute sdata "\'{U}" >
<!entity Ugrave sdata "\`{U}" >
<!entity Upsi sdata "\Upsilon" >
<!entity Uuml sdata '\"{U}' >
<!entity Xi sdata "\Xi" >
<!entity Yacute sdata "\'{Y}" >
<!entity aacute sdata "\'{a}" >
<!entity acirc sdata "\^{a}" >
<!entity aelig sdata "{\ae}" >
<!entity agrave sdata "\`{a}" >
<!entity aleph sdata "\aleph" >
<!entity alpha sdata "\alpha" >
<!entity amp sdata "\&" >
<!entity and sdata "\wedge" >
<!entity ang sdata "\angle" >
<!entity ap sdata "\approx" >
<!entity aring sdata "{\aa}" >
<!entity ast sdata "\mch{\ast}" >
<!entity atilde sdata "\~{a}" >
<!entity auml sdata '\"{a}' >
<!entity beta sdata "\beta" >
<!entity bottom sdata "\bot" >
<!entity bsol sdata "\(\backslash\)" -- was \verb+\+, but that leaves a leading space -->
<!entity bull sdata "\bullet" >
<!entity cap sdata "\cap" >
<!entity ccedil sdata "\c{c}" >
<!entity cent sdata "\hbox{\rm\rlap/c}" >
<!entity chi sdata "\chi" >
<!entity cir sdata "\circ" >
<!entity circ sdata "\verb+^+" >
<!entity clubs sdata "\clubsuit" >
<!entity colon sdata ":" >
<!entity comma sdata "," >
<!entity commat sdata "@" >
<!entity congr sdata "\cong" >
<!entity copy sdata "{\copyright}" >
<!entity cup sdata "\cup" >
<!entity dArr sdata "\Downarrow" >
<!entity darr sdata "\downarrow" >
<!entity delta sdata "\delta" >
<!entity diams sdata "\diamondsuit" >
<!entity divide sdata "\mch{\div}" >
<!entity dollar sdata "\$" >
<!entity dot sdata "\cdot" >
<!entity dquot sdata '{\tt "}' >
<!entity eacute sdata "\'{e}" >
<!entity ecirc sdata "\^{e}" >
<!entity egrave sdata "\`{e}" >
<!entity empty sdata "\emptyset" >
<!entity emsp sdata "\hspace{1em}" >
<!entity ensp sdata "\hspace{.5em}" >
<!entity epsi sdata "\varepsilon" >
<!entity equals sdata "=" >
<!entity equiv sdata "\equiv" >
<!entity ero sdata "&" >
<!entity eta sdata "\eta" >
<!entity etago sdata "</" >
<!entity euml sdata '\"{e}' >
<!entity exist sdata "\exists" >
<!entity forall sdata "\forall" >
<!entity gamma sdata "\gamma" >
<!entity ge sdata "\geq" >
<!entity gt sdata "{\(>\)}" >
<!entity hArr sdata "\Leftrightarrow" >
<!entity harr sdata "\leftrightarrow" >
<!entity hearts sdata "\heartsuit" >
<!entity hellip sdata "{\ldots}" >
<!entity hyphen sdata "-" >
<!entity iacute sdata "\'{\i}" >
<!entity icirc sdata "\^{\i}" >
<!entity iexcl sdata "{!`}" >
<!entity igrave sdata "\`{\i}" >
<!entity image sdata "\Im" >
<!entity infin sdata "\infty" >
<!entity int sdata "\int" >
<!entity iota sdata "\iota" >
<!entity iquest sdata "{?`}" >
<!entity isin sdata "\in" >
<!entity iuml sdata '\"{\i}' >
<!entity kappa sdata "\kappa" >
<!entity lArr sdata "\Leftarrow" >
<!entity lambda sdata "\lambda" >
<!entity lang sdata "{\langle}" >
<!entity larr sdata "\leftarrow" >
<!entity lcub sdata "\{" >
<!entity le sdata "\leq" >
<!entity lowbar sdata "\_" >
<!entity lpar sdata "(" >
<!entity lsqb sdata "\[" >
<!entity lt sdata "{\(<\)}" >
<!entity mdash sdata "{---}" >
<!entity mid sdata "\mid" >
<!entity minus sdata "-" >
<!entity mu sdata "\mch{\mu}" >
<!entity nabla sdata "\nabla" >
<!entity nbsp sdata "~" >
<!entity ndash sdata "{--}" >
<!entity ne sdata "\not=" >
<!entity nequiv sdata "\not\equiv" >
<!entity not sdata "\mch{\neg}" >
<!entity notin sdata "\not\in" >
<!entity nsub sdata "\not\subset" >
<!entity nsube sdata "\not\subseteq" >
<!entity nsup sdata "\not\supset" >
<!entity nsupe sdata "\not\supseteq" >
<!entity ntilde sdata "\~{n}" >
<!entity nu sdata "\nu" >
<!entity num sdata "\#" >
<!entity nvDash sdata "\not\models" >
<!entity nvdash sdata "\not\vdash" >
<!entity oacute sdata "\'{o}" >
<!entity ocirc sdata "\^{o}" >
<!entity ograve sdata "\`{o}" >
<!entity omega sdata "\omega" >
<!entity oplus sdata "\oplus" >
<!entity or sdata "\vee" >
<!entity oslash sdata "{\o}" >
<!entity otilde sdata "\^{o}" >
<!entity otimes sdata "\otimes" >
<!entity ouml sdata '\"{o}' >
<!entity para sdata "{\P}" >
<!entity part sdata "\partial" >
<!entity percnt sdata "\%" >
<!entity phis sdata "\phi" >
<!entity pi sdata "\pi" >
<!entity plus sdata "+" >
<!entity plusmn sdata "\mch{\pm}" >
<!entity pound sdata "{\pounds}" >
<!entity prime sdata "\prime" >
<!entity prop sdata "\propto" >
<!entity psi sdata "\psi" >
<!entity quot sdata "{\tt '}" >
<!entity rArr sdata "\Rightarrow" >
<!entity rang sdata "{\rangle}" >
<!entity rarr sdata "\rightarrow" >
<!entity rcub sdata "\}" >
<!entity real sdata "\Re" >
<!entity refnam sdata "">
<!entity rho sdata "\rho" >
<!entity rpar sdata ")" >
<!entity rsqb sdata "\]" >
<!entity sect sdata "{\S}" >
<!entity semi sdata ";" >
<!entity setmn sdata "\setminus" >
<!entity sigma sdata "\sigma" >
<!entity sigmav sdata "\varsigma" >
<!entity spades sdata "\spadesuit" >
<!entity square sdata "\Box" >
<!entity sub sdata "\subset" >
<!entity sube sdata "\subseteq" >
<!entity sup sdata "\supset" >
<!entity supe sdata "\supseteq" >
<!entity szlig sdata "{\ss}" >
<!entity tau sdata "\tau" >
<!entity thetas sdata "\theta" >
<!entity thinsp sdata "\hspace{.167em}" >
<!entity tilde sdata "\~{}" >
<!entity times sdata "\mch{\times}" >
<!entity tm sdata "\( ^{\rm{TM}}\)" >
<!entity uArr sdata "\Uparrow" >
<!entity uacute sdata "\'{u}" >
<!entity uarr sdata "\uparrow" >
<!entity ucirc sdata "\^{u}" >
<!entity ugrave sdata "\`{u}" >
<!entity upsi sdata "\upsilon" >
<!entity urlnam sdata "">
<!entity uuml sdata '\"{u}' >
<!entity vDash sdata "\models" >
<!entity vdash sdata "\vdash" >
<!entity verbar sdata "{\verbar}" >
<!entity xi sdata "\xi" >
<!entity yacute sdata "\'{y}" >
<!entity yuml sdata '\"{y}' >
<!entity zeta sdata "\zeta" >
