adam@1592: <!-- Mathematical, Greek and Symbolic characters for XHTML --> adam@1592: adam@1592: <!-- Character entity set. Typical invocation: adam@1592: <!ENTITY % HTMLsymbol PUBLIC adam@1592: "-//W3C//ENTITIES Symbols for XHTML//EN" adam@1592: "http://www.w3.org/TR/xhtml1/DTD/xhtml-symbol.ent"> adam@1592: %HTMLsymbol; adam@1592: --> adam@1592: adam@1592: <!-- Portions (C) International Organization for Standardization 1986: adam@1592: Permission to copy in any form is granted for use with adam@1592: conforming SGML systems and applications as defined in adam@1592: ISO 8879, provided this notice is included in all copies. adam@1592: --> adam@1592: adam@1592: <!-- Relevant ISO entity set is given unless names are newly introduced. adam@1592: New names (i.e., not in ISO 8879 list) do not clash with any adam@1592: existing ISO 8879 entity names. ISO 10646 character numbers adam@1592: are given for each character, in hex. values are decimal adam@1592: conversions of the ISO 10646 values and refer to the document adam@1592: character set. Names are Unicode names. adam@1592: --> adam@1592: adam@1592: <!-- Latin Extended-B --> adam@1592: <!ENTITY fnof "ƒ"> <!-- latin small letter f with hook = function adam@1592: = florin, U+0192 ISOtech --> adam@1592: adam@1592: <!-- Greek --> adam@1592: <!ENTITY Alpha "Α"> <!-- greek capital letter alpha, U+0391 --> adam@1592: <!ENTITY Beta "Β"> <!-- greek capital letter beta, U+0392 --> adam@1592: <!ENTITY Gamma "Γ"> <!-- greek capital letter gamma, adam@1592: U+0393 ISOgrk3 --> adam@1592: <!ENTITY Delta "Δ"> <!-- greek capital letter delta, adam@1592: U+0394 ISOgrk3 --> adam@1592: <!ENTITY Epsilon "Ε"> <!-- greek capital letter epsilon, U+0395 --> adam@1592: <!ENTITY Zeta "Ζ"> <!-- greek capital letter zeta, U+0396 --> adam@1592: <!ENTITY Eta "Η"> <!-- greek capital letter eta, U+0397 --> adam@1592: <!ENTITY Theta "Θ"> <!-- greek capital letter theta, adam@1592: U+0398 ISOgrk3 --> adam@1592: <!ENTITY Iota "Ι"> <!-- greek capital letter iota, U+0399 --> adam@1592: <!ENTITY Kappa "Κ"> <!-- greek capital letter kappa, U+039A --> adam@1592: <!ENTITY Lambda "Λ"> <!-- greek capital letter lamda, adam@1592: U+039B ISOgrk3 --> adam@1592: <!ENTITY Mu "Μ"> <!-- greek capital letter mu, U+039C --> adam@1592: <!ENTITY Nu "Ν"> <!-- greek capital letter nu, U+039D --> adam@1592: <!ENTITY Xi "Ξ"> <!-- greek capital letter xi, U+039E ISOgrk3 --> adam@1592: <!ENTITY Omicron "Ο"> <!-- greek capital letter omicron, U+039F --> adam@1592: <!ENTITY Pi "Π"> <!-- greek capital letter pi, U+03A0 ISOgrk3 --> adam@1592: <!ENTITY Rho "Ρ"> <!-- greek capital letter rho, U+03A1 --> adam@1592: <!-- there is no Sigmaf, and no U+03A2 character either --> adam@1592: <!ENTITY Sigma "Σ"> <!-- greek capital letter sigma, adam@1592: U+03A3 ISOgrk3 --> adam@1592: <!ENTITY Tau "Τ"> <!-- greek capital letter tau, U+03A4 --> adam@1592: <!ENTITY Upsilon "Υ"> <!-- greek capital letter upsilon, adam@1592: U+03A5 ISOgrk3 --> adam@1592: <!ENTITY Phi "Φ"> <!-- greek capital letter phi, adam@1592: U+03A6 ISOgrk3 --> adam@1592: <!ENTITY Chi "Χ"> <!-- greek capital letter chi, U+03A7 --> adam@1592: <!ENTITY Psi "Ψ"> <!-- greek capital letter psi, adam@1592: U+03A8 ISOgrk3 --> adam@1592: <!ENTITY Omega "Ω"> <!-- greek capital letter omega, adam@1592: U+03A9 ISOgrk3 --> adam@1592: adam@1592: <!ENTITY alpha "α"> <!-- greek small letter alpha, adam@1592: U+03B1 ISOgrk3 --> adam@1592: <!ENTITY beta "β"> <!-- greek small letter beta, U+03B2 ISOgrk3 --> adam@1592: <!ENTITY gamma "γ"> <!-- greek small letter gamma, adam@1592: U+03B3 ISOgrk3 --> adam@1592: <!ENTITY delta "δ"> <!-- greek small letter delta, adam@1592: U+03B4 ISOgrk3 --> adam@1592: <!ENTITY epsilon "ε"> <!-- greek small letter epsilon, adam@1592: U+03B5 ISOgrk3 --> adam@1592: <!ENTITY zeta "ζ"> <!-- greek small letter zeta, U+03B6 ISOgrk3 --> adam@1592: <!ENTITY eta "η"> <!-- greek small letter eta, U+03B7 ISOgrk3 --> adam@1592: <!ENTITY theta "θ"> <!-- greek small letter theta, adam@1592: U+03B8 ISOgrk3 --> adam@1592: <!ENTITY iota "ι"> <!-- greek small letter iota, U+03B9 ISOgrk3 --> adam@1592: <!ENTITY kappa "κ"> <!-- greek small letter kappa, adam@1592: U+03BA ISOgrk3 --> adam@1592: <!ENTITY lambda "λ"> <!-- greek small letter lamda, adam@1592: U+03BB ISOgrk3 --> adam@1592: <!ENTITY mu "μ"> <!-- greek small letter mu, U+03BC ISOgrk3 --> adam@1592: <!ENTITY nu "ν"> <!-- greek small letter nu, U+03BD ISOgrk3 --> adam@1592: <!ENTITY xi "ξ"> <!-- greek small letter xi, U+03BE ISOgrk3 --> adam@1592: <!ENTITY omicron "ο"> <!-- greek small letter omicron, U+03BF NEW --> adam@1592: <!ENTITY pi "π"> <!-- greek small letter pi, U+03C0 ISOgrk3 --> adam@1592: <!ENTITY rho "ρ"> <!-- greek small letter rho, U+03C1 ISOgrk3 --> adam@1592: <!ENTITY sigmaf "ς"> <!-- greek small letter final sigma, adam@1592: U+03C2 ISOgrk3 --> adam@1592: <!ENTITY sigma "σ"> <!-- greek small letter sigma, adam@1592: U+03C3 ISOgrk3 --> adam@1592: <!ENTITY tau "τ"> <!-- greek small letter tau, U+03C4 ISOgrk3 --> adam@1592: <!ENTITY upsilon "υ"> <!-- greek small letter upsilon, adam@1592: U+03C5 ISOgrk3 --> adam@1592: <!ENTITY phi "φ"> <!-- greek small letter phi, U+03C6 ISOgrk3 --> adam@1592: <!ENTITY chi "χ"> <!-- greek small letter chi, U+03C7 ISOgrk3 --> adam@1592: <!ENTITY psi "ψ"> <!-- greek small letter psi, U+03C8 ISOgrk3 --> adam@1592: <!ENTITY omega "ω"> <!-- greek small letter omega, adam@1592: U+03C9 ISOgrk3 --> adam@1592: <!ENTITY thetasym "ϑ"> <!-- greek theta symbol, adam@1592: U+03D1 NEW --> adam@1592: <!ENTITY upsih "ϒ"> <!-- greek upsilon with hook symbol, adam@1592: U+03D2 NEW --> adam@1592: <!ENTITY piv "ϖ"> <!-- greek pi symbol, U+03D6 ISOgrk3 --> adam@1592: adam@1592: <!-- General Punctuation --> adam@1592: <!ENTITY bull "•"> <!-- bullet = black small circle, adam@1592: U+2022 ISOpub --> adam@1592: <!-- bullet is NOT the same as bullet operator, U+2219 --> adam@1592: <!ENTITY hellip "…"> <!-- horizontal ellipsis = three dot leader, adam@1592: U+2026 ISOpub --> adam@1592: <!ENTITY prime "′"> <!-- prime = minutes = feet, U+2032 ISOtech --> adam@1592: <!ENTITY Prime "″"> <!-- double prime = seconds = inches, adam@1592: U+2033 ISOtech --> adam@1592: <!ENTITY oline "‾"> <!-- overline = spacing overscore, adam@1592: U+203E NEW --> adam@1592: <!ENTITY frasl "⁄"> <!-- fraction slash, U+2044 NEW --> adam@1592: adam@1592: <!-- Letterlike Symbols --> adam@1592: <!ENTITY weierp "℘"> <!-- script capital P = power set adam@1592: = Weierstrass p, U+2118 ISOamso --> adam@1592: <!ENTITY image "ℑ"> <!-- black-letter capital I = imaginary part, adam@1592: U+2111 ISOamso --> adam@1592: <!ENTITY real "ℜ"> <!-- black-letter capital R = real part symbol, adam@1592: U+211C ISOamso --> adam@1592: <!ENTITY trade "™"> <!-- trade mark sign, U+2122 ISOnum --> adam@1592: <!ENTITY alefsym "ℵ"> <!-- alef symbol = first transfinite cardinal, adam@1592: U+2135 NEW --> adam@1592: <!-- alef symbol is NOT the same as hebrew letter alef, adam@1592: U+05D0 although the same glyph could be used to depict both characters --> adam@1592: adam@1592: <!-- Arrows --> adam@1592: <!ENTITY larr "←"> <!-- leftwards arrow, U+2190 ISOnum --> adam@1592: <!ENTITY uarr "↑"> <!-- upwards arrow, U+2191 ISOnum--> adam@1592: <!ENTITY rarr "→"> <!-- rightwards arrow, U+2192 ISOnum --> adam@1592: <!ENTITY darr "↓"> <!-- downwards arrow, U+2193 ISOnum --> adam@1592: <!ENTITY harr "↔"> <!-- left right arrow, U+2194 ISOamsa --> adam@1592: <!ENTITY crarr "↵"> <!-- downwards arrow with corner leftwards adam@1592: = carriage return, U+21B5 NEW --> adam@1592: <!ENTITY lArr "⇐"> <!-- leftwards double arrow, U+21D0 ISOtech --> adam@1592: <!-- Unicode does not say that lArr is the same as the 'is implied by' arrow adam@1592: but also does not have any other character for that function. So lArr can adam@1592: be used for 'is implied by' as ISOtech suggests --> adam@1592: <!ENTITY uArr "⇑"> <!-- upwards double arrow, U+21D1 ISOamsa --> adam@1592: <!ENTITY rArr "⇒"> <!-- rightwards double arrow, adam@1592: U+21D2 ISOtech --> adam@1592: <!-- Unicode does not say this is the 'implies' character but does not have adam@1592: another character with this function so rArr can be used for 'implies' adam@1592: as ISOtech suggests --> adam@1592: <!ENTITY dArr "⇓"> <!-- downwards double arrow, U+21D3 ISOamsa --> adam@1592: <!ENTITY hArr "⇔"> <!-- left right double arrow, adam@1592: U+21D4 ISOamsa --> adam@1592: adam@1592: <!-- Mathematical Operators --> adam@1592: <!ENTITY forall "∀"> <!-- for all, U+2200 ISOtech --> adam@1592: <!ENTITY part "∂"> <!-- partial differential, U+2202 ISOtech --> adam@1592: <!ENTITY exist "∃"> <!-- there exists, U+2203 ISOtech --> adam@1592: <!ENTITY empty "∅"> <!-- empty set = null set, U+2205 ISOamso --> adam@1592: <!ENTITY nabla "∇"> <!-- nabla = backward difference, adam@1592: U+2207 ISOtech --> adam@1592: <!ENTITY isin "∈"> <!-- element of, U+2208 ISOtech --> adam@1592: <!ENTITY notin "∉"> <!-- not an element of, U+2209 ISOtech --> adam@1592: <!ENTITY ni "∋"> <!-- contains as member, U+220B ISOtech --> adam@1592: <!ENTITY prod "∏"> <!-- n-ary product = product sign, adam@1592: U+220F ISOamsb --> adam@1592: <!-- prod is NOT the same character as U+03A0 'greek capital letter pi' though adam@1592: the same glyph might be used for both --> adam@1592: <!ENTITY sum "∑"> <!-- n-ary summation, U+2211 ISOamsb --> adam@1592: <!-- sum is NOT the same character as U+03A3 'greek capital letter sigma' adam@1592: though the same glyph might be used for both --> adam@1592: <!ENTITY minus "−"> <!-- minus sign, U+2212 ISOtech --> adam@1592: <!ENTITY lowast "∗"> <!-- asterisk operator, U+2217 ISOtech --> adam@1592: <!ENTITY radic "√"> <!-- square root = radical sign, adam@1592: U+221A ISOtech --> adam@1592: <!ENTITY prop "∝"> <!-- proportional to, U+221D ISOtech --> adam@1592: <!ENTITY infin "∞"> <!-- infinity, U+221E ISOtech --> adam@1592: <!ENTITY ang "∠"> <!-- angle, U+2220 ISOamso --> adam@1592: <!ENTITY and "∧"> <!-- logical and = wedge, U+2227 ISOtech --> adam@1592: <!ENTITY or "∨"> <!-- logical or = vee, U+2228 ISOtech --> adam@1592: <!ENTITY cap "∩"> <!-- intersection = cap, U+2229 ISOtech --> adam@1592: <!ENTITY cup "∪"> <!-- union = cup, U+222A ISOtech --> adam@1592: <!ENTITY int "∫"> <!-- integral, U+222B ISOtech --> adam@1592: <!ENTITY there4 "∴"> <!-- therefore, U+2234 ISOtech --> adam@1592: <!ENTITY sim "∼"> <!-- tilde operator = varies with = similar to, adam@1592: U+223C ISOtech --> adam@1592: <!-- tilde operator is NOT the same character as the tilde, U+007E, adam@1592: although the same glyph might be used to represent both --> adam@1592: <!ENTITY cong "≅"> <!-- approximately equal to, U+2245 ISOtech --> adam@1592: <!ENTITY asymp "≈"> <!-- almost equal to = asymptotic to, adam@1592: U+2248 ISOamsr --> adam@1592: <!ENTITY ne "≠"> <!-- not equal to, U+2260 ISOtech --> adam@1592: <!ENTITY equiv "≡"> <!-- identical to, U+2261 ISOtech --> adam@1592: <!ENTITY le "≤"> <!-- less-than or equal to, U+2264 ISOtech --> adam@1592: <!ENTITY ge "≥"> <!-- greater-than or equal to, adam@1592: U+2265 ISOtech --> adam@1592: <!ENTITY sub "⊂"> <!-- subset of, U+2282 ISOtech --> adam@1592: <!ENTITY sup "⊃"> <!-- superset of, U+2283 ISOtech --> adam@1592: <!ENTITY nsub "⊄"> <!-- not a subset of, U+2284 ISOamsn --> adam@1592: <!ENTITY sube "⊆"> <!-- subset of or equal to, U+2286 ISOtech --> adam@1592: <!ENTITY supe "⊇"> <!-- superset of or equal to, adam@1592: U+2287 ISOtech --> adam@1592: <!ENTITY oplus "⊕"> <!-- circled plus = direct sum, adam@1592: U+2295 ISOamsb --> adam@1592: <!ENTITY otimes "⊗"> <!-- circled times = vector product, adam@1592: U+2297 ISOamsb --> adam@1592: <!ENTITY perp "⊥"> <!-- up tack = orthogonal to = perpendicular, adam@1592: U+22A5 ISOtech --> adam@1592: <!ENTITY sdot "⋅"> <!-- dot operator, U+22C5 ISOamsb --> adam@1592: <!-- dot operator is NOT the same character as U+00B7 middle dot --> adam@1592: adam@1592: <!-- Miscellaneous Technical --> adam@1592: <!ENTITY lceil "⌈"> <!-- left ceiling = APL upstile, adam@1592: U+2308 ISOamsc --> adam@1592: <!ENTITY rceil "⌉"> <!-- right ceiling, U+2309 ISOamsc --> adam@1592: <!ENTITY lfloor "⌊"> <!-- left floor = APL downstile, adam@1592: U+230A ISOamsc --> adam@1592: <!ENTITY rfloor "⌋"> <!-- right floor, U+230B ISOamsc --> adam@1592: <!ENTITY lang "〈"> <!-- left-pointing angle bracket = bra, adam@1592: U+2329 ISOtech --> adam@1592: <!-- lang is NOT the same character as U+003C 'less than sign' adam@1592: or U+2039 'single left-pointing angle quotation mark' --> adam@1592: <!ENTITY rang "〉"> <!-- right-pointing angle bracket = ket, adam@1592: U+232A ISOtech --> adam@1592: <!-- rang is NOT the same character as U+003E 'greater than sign' adam@1592: or U+203A 'single right-pointing angle quotation mark' --> adam@1592: adam@1592: <!-- Geometric Shapes --> adam@1592: <!ENTITY loz "◊"> <!-- lozenge, U+25CA ISOpub --> adam@1592: adam@1592: <!-- Miscellaneous Symbols --> adam@1592: <!ENTITY spades "♠"> <!-- black spade suit, U+2660 ISOpub --> adam@1592: <!-- black here seems to mean filled as opposed to hollow --> adam@1592: <!ENTITY clubs "♣"> <!-- black club suit = shamrock, adam@1592: U+2663 ISOpub --> adam@1592: <!ENTITY hearts "♥"> <!-- black heart suit = valentine, adam@1592: U+2665 ISOpub --> adam@1592: <!ENTITY diams "♦"> <!-- black diamond suit, U+2666 ISOpub -->