<!-- Portions © International Organization for Standardization 1986
     Permission to copy in any form is granted for use with
     conforming SGML systems and applications as defined in
     ISO 8879, provided this notice is included in all copies.
-->
<!-- Character entity set. Typical invocation:
     <!ENTITY % HTMLsymbol PUBLIC
       "-//W3C//ENTITIES Symbols//EN//HTML">
     %HTMLsymbol;
-->

<!-- Mathematical and Symbolic characters for HTML -->
<!-- new names do not clash with any existing ISO 8879 entity names -->

<!-- Assorted technical symbols, names taken from ISOtech except as noted -->

<!ENTITY prime    CDATA "&#8242;" -- prime, =minutes, =feet, U2032 -->
<!ENTITY oline    CDATA "&#8254;" -- overline, =spacing overscore, U203E !ISOtech -->
<!ENTITY fsla     CDATA "&#8260;" -- fraction slash, U2044 !ISOtech -->
<!ENTITY forall   CDATA "&#8704;" -- for all, U2200 -->
<!ENTITY exist    CDATA "&#8707;" -- there exists, U2203-->
<!ENTITY ni       CDATA "&#8715;" -- contains as member, U220B -->
<!ENTITY minus    CDATA "&#8722;" -- minus sign, U2212 -->
<!ENTITY lowast   CDATA "&#8727;" -- asterisk operator, U2217 -->
<!ENTITY infin    CDATA "&#8734;" -- infinity, U221E -->

<!ENTITY there4   CDATA "&#8756;" -- therefore, U2234  -->

<!ENTITY sim      CDATA "&#;" -- tilde operator, =varies with, =similar to, U223C -->
<!-- this is NOT the same character as the tilde, U007E, although the same 
     glyph might be used to represent both characters -->


<!ENTITY le       CDATA "&#8804;" -- less-than-or-equal, U2264  -->


<!ENTITY perp     CDATA "&#8869;" -- up tack, =orthogonal to, =perpendicular U22A5 -->

<!ENTITY cong     CDATA "&#8773;" -- approximately equal to, U2245  -->

<!ENTITY perp     CDATA "&#8869;" -- up tack =perpendicular, U22A5 -->

<!-- Modern Greek upper and lowercase letters -->
<!-- names taken from ISOgrk1 -->
<!-- would it be beter to extend the (incomplete list of) names in 
     ISOgrk3 ie Alpha, beta, etc -->

<!ENTITY agr    CDATA "&#945;" -- small alpha, Greek, U03B1 -->
<!ENTITY Agr    CDATA "&#913;" -- capital Alpha, Greek, U0391 -->
<!ENTITY bgr    CDATA "&#946;" -- small beta, Greek, U03B2 -->
<!ENTITY Bgr    CDATA "&#914;" -- capital Beta, Greek, U0392 -->
<!ENTITY ggr    CDATA "&#947;" -- small gamma, Greek, U03B3 -->
<!ENTITY Ggr    CDATA "&#915;" -- capital Gamma, Greek, U0393 -->
<!ENTITY dgr    CDATA "&#948;" -- small delta, Greek, U03B4 -->
<!ENTITY Dgr    CDATA "&#916;" -- capital Delta, Greek, U0394 -->
<!ENTITY egr    CDATA "&#949;" -- small epsilon, Greek, U03B5 -->
<!ENTITY Egr    CDATA "&#917;" -- capital Epsilon, Greek, U0395 -->
<!ENTITY zgr    CDATA "&#950;" -- small zeta, Greek, U03B6 -->
<!ENTITY Zgr    CDATA "&#918;" -- capital Zeta, Greek, U0396 -->
<!ENTITY eegr   CDATA "&#951;" -- small eta, Greek, U03B7 -->
<!ENTITY EEgr   CDATA "&#919;" -- capital Eta, Greek, U0397 -->
<!ENTITY thgr   CDATA "&#952;" -- small theta, Greek, U03B8 -->
<!ENTITY THgr   CDATA "&#920;" -- capital Theta, Greek, U0398 -->
<!ENTITY igr    CDATA "&#953;" -- small iota, Greek, U03B9 -->
<!ENTITY Igr    CDATA "&#921;" -- capital Iota, Greek, U0399 -->
<!ENTITY kgr    CDATA "&#954;" -- small kappa, Greek, U03BA -->
<!ENTITY Kgr    CDATA "&#922;" -- capital Kappa, Greek, U039A -->
<!ENTITY lgr    CDATA "&#955;" -- small lambda, Greek, U03BB -->
<!ENTITY Lgr    CDATA "&#923;" -- capital Lambda, Greek, U039B -->
<!ENTITY mgr    CDATA "&#956;" -- small mu, Greek, U03BC -->
<!ENTITY Mgr    CDATA "&#924;" -- capital Mu, Greek, U039C -->
<!ENTITY ngr    CDATA "&#957;" -- small nu, Greek, U03BD -->
<!ENTITY Ngr    CDATA "&#925;" -- capital Nu, Greek, U039D -->
<!ENTITY xgr    CDATA "&#958;" -- small xi, Greek, U03BE -->
<!ENTITY Xgr    CDATA "&#926;" -- capital Xi, Greek, U039E -->
<!ENTITY ogr    CDATA "&#959;" -- small omicron, Greek, U03BF -->
<!ENTITY Ogr    CDATA "&#927;" -- capital Omicron, Greek, U039F -->
<!ENTITY pgr    CDATA "&#960;" -- small pi, Greek, U03C0 -->
<!ENTITY Pgr    CDATA "&#928;" -- capital Pi, Greek, U03A0 -->
<!ENTITY rgr    CDATA "&#961;" -- small rho, Greek, U03C1 -->
<!ENTITY Rgr    CDATA "&#929;" -- capital Rho, Greek, U03A1 -->
<!ENTITY sfgr   CDATA "&#962;" -- final small sigma, Greek, U03C2 -->
<!-- (there is no Sfgr, and no U03A2 character either) -->
<!ENTITY sgr    CDATA "&#963;" -- small sigma, Greek, U03C3 -->
<!ENTITY Sgr    CDATA "&#931;" -- capital Sigma, Greek, U03A3 -->
<!ENTITY tgr    CDATA "&#964;" -- small tau, Greek, U03C4 -->
<!ENTITY Tgr    CDATA "&#932;" -- capital Tau, Greek, U03A4 -->
<!ENTITY ugr    CDATA "&#965;" -- small upsilon, Greek, U03C5 -->
<!ENTITY Ugr    CDATA "&#933;" -- capital Upsilon, Greek, U03A5 -->
<!ENTITY phgr   CDATA "&#966;" -- small phi, Greek, U03C6 -->
<!ENTITY PHgr   CDATA "&#934;" -- capital Phi, Greek, U03A6 -->
<!ENTITY khgr   CDATA "&#967;" -- small chi, Greek, U03C7 -->
<!ENTITY KHgr   CDATA "&#935;" -- capital Chi, Greek, U03A7 -->
<!ENTITY psgr   CDATA "&#968;" -- small psi, Greek, U03C8 -->
<!ENTITY PSgr   CDATA "&#936;" -- capital Psi, Greek, U03A8 -->
<!ENTITY ohgr   CDATA "&#969;" -- small omega, Greek, U03C9 -->
<!ENTITY OHgr   CDATA "&#937;" -- capital Omega, Greek, U03A9 -->

<!-- variants from ISOgrk3, not clear these are the right names -->
<!ENTITY thetav CDATA "&#977;" -- small theta symbol, Greek, U03D1 -->
<!ENTITY piv    CDATA "&#982;" -- small omega pi, Greek, U03D6 -->

<!-- new entity, not in ISOgrk 1-4 -->
<!ENTITY Uhgr   CDATA "&#978;" -- capital Upsilon hook, Greek, U03D2 -->