<!-- Mathematical, Greek and Symbolic characters for HTML -->

<!-- Character entity set. Typical invocation:
     <!ENTITY % HTMLsymbol PUBLIC
       "-//W3C//ENTITIES Symbols//EN//HTML">
     %HTMLsymbol; -->

<!-- Portions (C) 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.
-->

<!-- Relevant ISO entity set is given unless names are newly introduced.
     New names (i.e., not in ISO 8879 list) do not clash with any
     existing ISO 8879 entity names. ISO 10646 character numbers
     are given for each character, in hex. CDATA values are decimal
     conversions of the ISO 10646 values and refer to the document
     character set. Names are Unicode 2.0 names. 

-->

<!-- Latin Extended-B -->
<!ENTITY fnof      "&#402;" >

<!-- Greek -->
<!ENTITY Alpha     "&#913;" >
<!ENTITY Beta      "&#914;" >
<!ENTITY Gamma     "&#915;" >
<!ENTITY Delta     "&#916;" >
<!ENTITY Epsilon   "&#917;" >
<!ENTITY Zeta      "&#918;" >
<!ENTITY Eta       "&#919;" >
<!ENTITY Theta     "&#920;" >
<!ENTITY Iota      "&#921;" >
<!ENTITY Kappa     "&#922;" >
<!ENTITY Lambda    "&#923;" >
<!ENTITY Mu        "&#924;" >
<!ENTITY Nu        "&#925;" >
<!ENTITY Xi        "&#926;" >
<!ENTITY Omicron   "&#927;" >
<!ENTITY Pi        "&#928;" >
<!ENTITY Rho       "&#929;" >

<!-- there is no Sigmaf, and no U+03A2 character either -->
<!ENTITY Sigma     "&#931;" >
<!ENTITY Tau       "&#932;" >
<!ENTITY Upsilon   "&#933;" >
<!ENTITY Phi       "&#934;" >
<!ENTITY Chi       "&#935;" >
<!ENTITY Psi       "&#936;" >
<!ENTITY Omega     "&#937;" >

<!ENTITY alpha     "&#945;" >
<!ENTITY beta      "&#946;" >
<!ENTITY gamma     "&#947;" >
<!ENTITY delta     "&#948;" >
<!ENTITY epsilon   "&#949;" >
<!ENTITY zeta      "&#950;" >
<!ENTITY eta       "&#951;" >
<!ENTITY theta     "&#952;" >
<!ENTITY iota      "&#953;" >
<!ENTITY kappa     "&#954;" >
<!ENTITY lambda    "&#955;" >
<!ENTITY mu        "&#956;" >
<!ENTITY nu        "&#957;" >
<!ENTITY xi        "&#958;" >
<!ENTITY omicron   "&#959;" >
<!ENTITY pi        "&#960;" >
<!ENTITY rho       "&#961;" >
<!ENTITY sigmaf    "&#962;" >
<!ENTITY sigma     "&#963;" >
<!ENTITY tau       "&#964;" >
<!ENTITY upsilon   "&#965;" >
<!ENTITY phi       "&#966;" >
<!ENTITY chi       "&#967;" >
<!ENTITY psi       "&#968;" >
<!ENTITY omega     "&#969;" >
<!ENTITY thetasym  "&#977;" >
<!ENTITY upsih     "&#978;" >
<!ENTITY piv       "&#982;" >

<!-- General Punctuation -->
<!ENTITY bull      "&#8226;" >

<!-- bullet is NOT the same as bullet operator, U+2219 -->
<!ENTITY hellip    "&#8230;" >
<!ENTITY prime     "&#8242;" >
<!ENTITY Prime     "&#8243;" >
<!ENTITY oline     "&#8254;" >
<!ENTITY frasl     "&#8260;" >

<!-- Letterlike Symbols -->
<!ENTITY weierp    "&#8472;" >
<!ENTITY image     "&#8465;" >
<!ENTITY real      "&#8476;" >
<!ENTITY trade     "&#8482;" >
<!ENTITY alefsym   "&#8501;" >

<!-- alef symbol is NOT the same as hebrew letter alef,
     U+05D0 although the same glyph could be used to depict both characters -->

<!-- Arrows -->
<!ENTITY larr      "&#8592;" >
<!ENTITY uarr      "&#8593;" >
<!ENTITY rarr      "&#8594;" >
<!ENTITY darr      "&#8595;" >
<!ENTITY harr      "&#8596;" >
<!ENTITY crarr     "&#8629;" >
<!ENTITY lArr      "&#8656;" >

<!-- Unicode does not say that lArr is the same as the 'is implied by' arrow
    but also does not have any other character for that function. So ? lArr can
    be used for 'is implied by' as ISOtech suggests -->
<!ENTITY uArr      "&#8657;" >
<!ENTITY rArr      "&#8658;" >

<!-- Unicode does not say this is the 'implies' character but does not have 
     another character with this function so ?
     rArr can be used for 'implies' as ISOtech suggests -->
<!ENTITY dArr      "&#8659;" >
<!ENTITY hArr      "&#8660;" >

<!-- Mathematical Operators -->
<!ENTITY forall    "&#8704;" >
<!ENTITY part      "&#8706;" >
<!ENTITY exist     "&#8707;" >
<!ENTITY empty     "&#8709;" >
<!ENTITY nabla     "&#8711;" >
<!ENTITY isin      "&#8712;" >
<!ENTITY notin     "&#8713;" >
<!ENTITY ni        "&#8715;" >

<!-- should there be a more memorable name than 'ni'? -->
<!ENTITY prod      "&#8719;" >

<!-- prod is NOT the same character as U+03A0 'greek capital letter pi' though
     the same glyph might be used for both -->
<!ENTITY sum       "&#8721;" >

<!-- sum is NOT the same character as U+03A3 'greek capital letter sigma'
     though the same glyph might be used for both -->
<!ENTITY minus     "&#8722;" >
<!ENTITY lowast    "&#8727;" >
<!ENTITY radic     "&#8730;" >
<!ENTITY prop      "&#8733;" >
<!ENTITY infin     "&#8734;" >
<!ENTITY ang       "&#8736;" >
<!ENTITY and       "&#8743;" >
<!ENTITY or        "&#8744;" >
<!ENTITY cap       "&#8745;" >
<!ENTITY cup       "&#8746;" >
<!ENTITY int       "&#8747;" >
<!ENTITY there4    "&#8756;" >
<!ENTITY sim       "&#8764;" >

<!-- tilde operator is NOT the same character as the tilde, U+007E,
     although the same glyph might be used to represent both  -->
<!ENTITY cong      "&#8773;" >
<!ENTITY asymp     "&#8776;" >
<!ENTITY ne        "&#8800;" >
<!ENTITY equiv     "&#8801;" >
<!ENTITY le        "&#8804;" >
<!ENTITY ge        "&#8805;" >
<!ENTITY sub       "&#8834;" >
<!ENTITY sup       "&#8835;" >

<!-- note that nsup, 'not a superset of, U+2283' is not covered by the Symbol 
     font encoding and is not included. Should it be, for symmetry?
     It is in ISOamsn  --> 
<!ENTITY nsub      "&#8836;" >
<!ENTITY sube      "&#8838;" >
<!ENTITY supe      "&#8839;" >
<!ENTITY oplus     "&#8853;" >
<!ENTITY otimes    "&#8855;" >
<!ENTITY perp      "&#8869;" >
<!ENTITY sdot      "&#8901;" >

<!-- dot operator is NOT the same character as U+00B7 middle dot -->

<!-- Miscellaneous Technical -->
<!ENTITY lceil     "&#8968;" >
<!ENTITY rceil     "&#8969;" >
<!ENTITY lfloor    "&#8970;" >
<!ENTITY rfloor    "&#8971;" >
<!ENTITY lang      "&#9001;" >

<!-- lang is NOT the same character as U+003C 'less than' 
     or U+2039 'single left-pointing angle quotation mark' -->
<!ENTITY rang      "&#9002;" >

<!-- rang is NOT the same character as U+003E 'greater than' 
     or U+203A 'single right-pointing angle quotation mark' -->

<!-- Geometric Shapes -->
<!ENTITY loz       "&#9674;" >

<!-- Miscellaneous Symbols -->
<!ENTITY spades    "&#9824;" >

<!-- black here seems to mean filled as opposed to hollow -->
<!ENTITY clubs     "&#9827;" >
<!ENTITY hearts    "&#9829;" >
<!ENTITY diams     "&#9830;" >