<!--
    -   (c) Copyright 1987-1993 Hewlett-Packard Company
    -
    -   Permission to use, copy, and distribute this Document Type
    -   Definition (DTD) is hereby granted, provided that the above
    -   copyright notice appear in all copies and that both that copyright
    -   notice and this permission notice appear in supporting hardcopy and
    -   online documentation.  All other rights reserved.
    -
    -   The name of Hewlett-Packard Company or the Hewlett-Packard logo may
    -   not be used in advertising or publicity pertaining to distribution
    -   of this DTD without specific, written prior permission.
    -   Hewlett-Packard Company makes no representations about the
    -   suitability of this DTD for any purpose.  It is provided "as is"
    -   without express or implied warranty.
    -
    -   Hewlett-Packard disclaims all warranties with regard to this DTD,
    -   including all implied warranties of merchantability and fitness, in
    -   no event shall Hewlett-Packard Company be liable for any special,
    -   indirect or consequential damages or any damages whatsoever
    -   resulting from loss of use, data or profits, whether in an action
    -   of contract, negligence or other tortious action, arising out of or
    -   in connection with the use or performance of this DTD.
    -->

<!-- Character entity set. Typical invocation:
 Character entity set. Typical invocation:
     <!ENTITY % HPtexchars PUBLIC
       "-//Hewlett-Packard//ENTITIES Texchars//EN">
     %HPtexchars;
-->


<!--Entities for Standard Greek Characters Lowercase-->
<!entity alpha SDATA "[alpha]" >
<!entity beta  SDATA "[beta]" >
<!entity gamma SDATA "[gamma]" >
<!entity delta SDATA "[delta]" >
<!entity epsilon SDATA "[epsilon]" >

<!entity varepsilon SDATA "[varepsilon]" >
<!entity zeta SDATA "[zeta]" >
<!entity eta SDATA "[eta]" >
<!entity theta SDATA "[theta]" >
<!entity vartheta SDATA "[vartheta]" >

<!entity iota SDATA "[iota]" >
<!entity kappa SDATA "[kappa]" >
<!entity lambda SDATA "[lambda]" >
<!entity mu SDATA "[mu]" >
<!entity nu SDATA "[nu]" >

<!entity xi SDATA "[xi]" >

<!entity pi SDATA "[pi]" >
<!entity varpi SDATA "[varpi]" >
<!entity rho SDATA "[rho]" >

<!entity varrho SDATA "[varrho]" >
<!entity sigma SDATA "[sigma]" >
<!entity varsigma SDATA "[varsigma]" >
<!entity tau SDATA "[tau]" >
<!entity upsilon SDATA "[upsilon]" >

<!entity phi SDATA "[phi]" >
<!entity varphi SDATA "[varphi]" >
<!entity chi SDATA "[chi]" >
<!entity psi SDATA "[psi]" >
<!entity omega SDATA "[omega]" >

<!--Entities for Standard Greek Characters Uppercase-->
<!entity Ugamma SDATA "[Ugamma]" >
<!entity Udelta  SDATA "[Udelta]" >
<!entity Utheta SDATA "[Utheta]" >
<!entity Ulambda SDATA "[Ulambda]" >
<!entity Uxi SDATA "[Uxi]" >

<!entity Upi SDATA "[Upi]" >
<!entity Usigma SDATA "[Usigma]" >
<!entity Uupsilon SDATA "[Uupsilon]" >
<!entity Uphi SDATA "[Uphi]" >
<!entity Upsi SDATA "[Upsi]" >

<!entity Uomega SDATA "[Uomega]" >


<!--Entities for Calligraphic Letters-->
<!entity CA SDATA "[CA]" >
<!entity CB SDATA "[CB]" >
<!entity CC SDATA "[CC]" >
<!entity CD SDATA "[CD]" >
<!entity CE SDATA "[CE]" >
<!entity CF SDATA "[CF]" >
<!entity CG SDATA "[CG]" >
<!entity CH SDATA "[CH]" >
<!entity CI SDATA "[CI]" >
<!entity CJ SDATA "[CJ]" >
<!entity CK SDATA "[CK]" >
<!entity CL SDATA "[CL]" >
<!entity CM SDATA "[CM]" >
<!entity CN SDATA "[CN]" >
<!entity CO SDATA "[CO]" >
<!entity CP SDATA "[CP]" >
<!entity CQ SDATA "[CQ]" >
<!entity CR SDATA "[CR]" >
<!entity CS SDATA "[CS]" >
<!entity CT SDATA "[CT]" >
<!entity CU SDATA "[CU]" >
<!entity CV SDATA "[CV]" >
<!entity CW SDATA "[CW]" >
<!entity CX SDATA "[CX]" >
<!entity CY SDATA "[CY]" >
<!entity CZ SDATA "[CZ]" >


<!--Entities for Miscellaneous Symbols-->
<!entity aleph SDATA "[aleph]" >
<!entity prime  SDATA "[prime]" >
<!entity forall SDATA "[forall]" >
<!entity hbar SDATA "[hbar]" >
<!entity emptyset SDATA "[emptyset]" >

<!entity exists SDATA "[exists]" >
<!entity imath SDATA "[imath]" >
<!entity nabla SDATA "[nabla]" >
<!entity neg SDATA "[neg]" >
<!entity jmath SDATA "[jmath]" >

<!entity surd SDATA "[surd]" >
<!entity flat SDATA "[flat]" >
<!entity ell SDATA "[ell]" >
<!entity top SDATA "[top]" >
<!entity natural SDATA "[natural]" >

<!entity wp SDATA "[wp]" >

<!entity bot SDATA "[bot]" >
<!entity sharp SDATA "[sharp]" >
<!entity re SDATA "[re]" >

<!entity vbar SDATA "[vbar]" >
<!entity clubsuit SDATA "[clubsuit]" >
<!entity im SDATA "[im]" >
<!entity angle SDATA "[angle]" >
<!entity diamondsuit SDATA "[diamondsuit]" >

<!entity partial SDATA "[partial]" >
<!entity triangle SDATA "[triangle]" >
<!entity heartsuit SDATA "[heartsuit]" >
<!entity infty SDATA "[infty]" >
<!entity backslash SDATA "[backslash]" >

<!entity spadesuit SDATA "[spadesuit]" >
<!entity S SDATA "[S]" >
<!entity P SDATA "[P]" >

<!--Entities for Large Operators-->
<!entity sum  SDATA "[sum]" >
<!entity bigcap SDATA "[bigcap]" >
<!entity bigodot SDATA "[bigodot]" >
<!entity prod  SDATA "[prod]" >
<!entity bigcup SDATA "[bigcup]" >
<!entity bigotimes SDATA "[bigotimes]" >
<!entity coprod  SDATA "[coprod]" >
<!entity bigsqcup SDATA "[bigsqcup]" >
<!entity bigoplus SDATA "[bigoplus]" >
<!entity int  SDATA "[int]" >
<!entity bigvee SDATA "[bigvee]" >
<!entity biguplus SDATA "[biguplus]" >
<!entity oint  SDATA "[oint]" >
<!entity bigwedge SDATA "[bigwedge]" >


<!--Entities for Binary Operators-->
<!entity cap  SDATA "[cap]" >
<!entity vee SDATA "[vee]" >
<!entity mp SDATA "[mp]" >
<!entity cup SDATA "[cup]" >

<!entity wedge SDATA "[wedge]" >
<!entity setminus SDATA "[setminus]" >
<!entity uplus SDATA "[uplus]" >
<!entity oplus SDATA "[oplus]" >
<!entity cdot SDATA "[cdot]" >

<!entity sqcap SDATA "[sqcap]" >
<!entity ominus SDATA "[ominus]" >
<!entity sqcup SDATA "[sqcup]" >
<!entity otimes SDATA "[otimes]" >

<!entity ast SDATA "[ast]" >
<!entity triangleleft SDATA "[triangleleft]" >
<!entity oslash SDATA "[oslash]" >
<!entity star SDATA "[star]" >

<!entity triangleright SDATA "[triangleright]" >
<!entity odot SDATA "[odot]" >
<!entity diamond SDATA "[diamond]" >
<!entity wr SDATA "[wr]" >
<!entity dagger SDATA "[dagger]" >

<!entity circ SDATA "[circ]" >
<!entity bigcirc SDATA "[bigcirc]" >
<!entity ddagger SDATA "[ddagger]" >
<!entity bullet SDATA "[bullet]" >
<!entity bigtriangleup SDATA "[bigtriangleup]" >

<!entity amalg SDATA "[amalg]" >
<!entity bigtriangledown SDATA "[bigtriangledown]" >


<!--Entities for Relations-->
<!entity equiv SDATA "[equiv]" >
<!entity prec SDATA "[prec]" >
<!entity succ SDATA "[succ]" >

<!entity sim SDATA "[sim]" >
<!entity preceq SDATA "[preceq]" >
<!entity succeq SDATA "[succeq]" >
<!entity simeq SDATA "[simeq]" >
<!entity ll SDATA "[ll]" >

<!entity gg SDATA "[gg]" >
<!entity asymp SDATA "[asymp]" >
<!entity subset SDATA "[subset]" >
<!entity supset SDATA "[supset]" >
<!entity approx SDATA "[approx]" >

<!entity subseteq SDATA "[subseteq]" >

<!entity supseteq SDATA "[supseteq]" >
<!entity cong SDATA "[cong]" >
<!entity sqsubseteq SDATA "[sqsubseteq]" >

<!entity sqsupseteq SDATA "[sqsupseteq]" >
<!entity bowtie SDATA "[bowtie]" >
<!entity in SDATA "[in]" >
<!entity ni SDATA "[ni]" >
<!entity propto SDATA "[propto]" >

<!entity vdash SDATA "[vdash]" >
<!entity dashv SDATA "[dashv]" >
<!entity models SDATA "[models]" >
<!entity smile SDATA "[smile]" >
<!entity mid SDATA "[mid]" >

<!entity doteq SDATA "[doteq]" >
<!entity frown SDATA "[frown]" >
<!entity parallel SDATA "[parallel]" >
<!entity perp SDATA "[perp]" >


<!--Entities for Negative Relations--> 
<!entity not-l SDATA "[not-l]" >
<!entity not-g  SDATA "[not-g]" >
<!entity not-eq SDATA "[not-eq]" >
<!entity not-leq SDATA "[not-leq]" >
<!entity not-geq SDATA "[not-geq]" >

<!entity not-equiv SDATA "[not-equiv]" >
<!entity not-prec SDATA "[not-prec]" >
<!entity not-succ SDATA "[not-succ]" >
<!entity not-sim SDATA "[not-sim]" >
<!entity not-preceq SDATA "[not-preceq]" >

<!entity not-succeq SDATA "[not-succeq]" >
<!entity not-simeq SDATA "[not-simeq]" >
<!entity not-subset SDATA "[not-subset]" >
<!entity not-supset SDATA "[not-supset]" >
<!entity not-approx SDATA "[not-approx]" >

<!entity not-subseteq SDATA "[not-subseteq]" >

<!entity not-supseteq SDATA "[not-supseteq]" >
<!entity not-cong SDATA "[not-cong]" >
<!entity not-sqsubseteq SDATA "[not-sqsubseteq]" >

<!entity not-sqsupseteq SDATA "[not-sqsupseteq]" >
<!entity not-asymp SDATA "[not-asymp]" >


<!--Entities for Arrows-->
<!entity leftarrow SDATA "[leftarrow]" >
<!entity longleftarrow  SDATA "[longleftarrow]" >
<!entity uparrow SDATA "[uparrow]" >
<!entity bigleftarrow SDATA "[bigleftarrow]" >
<!entity biglongleftarrow SDATA "[biglongleftarrow]" >

<!entity biguparrow SDATA "[biguparrow]" >
<!entity rightarrow SDATA "[rightarrow]" >
<!entity longrightarrow SDATA "[longrightarrow]" >
<!entity downarrow SDATA "[downarrow]" >
<!entity bigrightarrow SDATA "[bigrightarrow]" >

<!entity biglongrightarrow SDATA "[biglongrightarrow]" >
<!entity bigdownarrow SDATA "[bigdownarrow]" >
<!entity leftrightarrow SDATA "[leftrightarrow]" >
<!entity longleftrightarrow SDATA "[longleftrightarrow]" >
<!entity updownarrow SDATA "[updownarrow]" >

<!entity bigleftrightarrow SDATA "[bigleftrightarrow]" >
<!entity biglongleftrightarrow SDATA "[biglongleftrightarrow]" >
<!entity bigupdownarrow SDATA "[bigupdownarrow]" >
<!entity mapsto SDATA "[mapsto]" >
<!entity longmapsto SDATA "[longmapsto]" >

<!entity nearrow SDATA "[nearrow]" >
<!entity hookleftarrow SDATA "[hookleftarrow]" >
<!entity hookrightarrow SDATA "[hookrightarrow]" >
<!entity searrow SDATA "[searrow]" >
<!entity leftharpoonup SDATA "[leftharpoonup]" >

<!entity rightharpoonup SDATA "[rightharpoonup]" >
<!entity swarrow SDATA "[swarrow]" >
<!entity leftharpoondown SDATA "[leftharpoondown]" >
<!entity rightharpoondown SDATA "[rightharpoondown]" >
<!entity nwarrow SDATA "[nwarrow]" >

<!entity rightleftharpoons SDATA "[rightleftharpoons]" >