annotate xml/xhtml-symbol.ent @ 1855:0480b8f29a47

Undo 'let' inlining tweak; improve optimization of 'case' of type 'transaction'
author Adam Chlipala <adam@chlipala.net>
date Fri, 07 Jun 2013 16:11:52 -0400
parents 1c9f8f06c1d6
children
rev   line source
adam@1592 1 <!-- Mathematical, Greek and Symbolic characters for XHTML -->
adam@1592 2
adam@1592 3 <!-- Character entity set. Typical invocation:
adam@1592 4 <!ENTITY % HTMLsymbol PUBLIC
adam@1592 5 "-//W3C//ENTITIES Symbols for XHTML//EN"
adam@1592 6 "http://www.w3.org/TR/xhtml1/DTD/xhtml-symbol.ent">
adam@1592 7 %HTMLsymbol;
adam@1592 8 -->
adam@1592 9
adam@1592 10 <!-- Portions (C) International Organization for Standardization 1986:
adam@1592 11 Permission to copy in any form is granted for use with
adam@1592 12 conforming SGML systems and applications as defined in
adam@1592 13 ISO 8879, provided this notice is included in all copies.
adam@1592 14 -->
adam@1592 15
adam@1592 16 <!-- Relevant ISO entity set is given unless names are newly introduced.
adam@1592 17 New names (i.e., not in ISO 8879 list) do not clash with any
adam@1592 18 existing ISO 8879 entity names. ISO 10646 character numbers
adam@1592 19 are given for each character, in hex. values are decimal
adam@1592 20 conversions of the ISO 10646 values and refer to the document
adam@1592 21 character set. Names are Unicode names.
adam@1592 22 -->
adam@1592 23
adam@1592 24 <!-- Latin Extended-B -->
adam@1592 25 <!ENTITY fnof "&#402;"> <!-- latin small letter f with hook = function
adam@1592 26 = florin, U+0192 ISOtech -->
adam@1592 27
adam@1592 28 <!-- Greek -->
adam@1592 29 <!ENTITY Alpha "&#913;"> <!-- greek capital letter alpha, U+0391 -->
adam@1592 30 <!ENTITY Beta "&#914;"> <!-- greek capital letter beta, U+0392 -->
adam@1592 31 <!ENTITY Gamma "&#915;"> <!-- greek capital letter gamma,
adam@1592 32 U+0393 ISOgrk3 -->
adam@1592 33 <!ENTITY Delta "&#916;"> <!-- greek capital letter delta,
adam@1592 34 U+0394 ISOgrk3 -->
adam@1592 35 <!ENTITY Epsilon "&#917;"> <!-- greek capital letter epsilon, U+0395 -->
adam@1592 36 <!ENTITY Zeta "&#918;"> <!-- greek capital letter zeta, U+0396 -->
adam@1592 37 <!ENTITY Eta "&#919;"> <!-- greek capital letter eta, U+0397 -->
adam@1592 38 <!ENTITY Theta "&#920;"> <!-- greek capital letter theta,
adam@1592 39 U+0398 ISOgrk3 -->
adam@1592 40 <!ENTITY Iota "&#921;"> <!-- greek capital letter iota, U+0399 -->
adam@1592 41 <!ENTITY Kappa "&#922;"> <!-- greek capital letter kappa, U+039A -->
adam@1592 42 <!ENTITY Lambda "&#923;"> <!-- greek capital letter lamda,
adam@1592 43 U+039B ISOgrk3 -->
adam@1592 44 <!ENTITY Mu "&#924;"> <!-- greek capital letter mu, U+039C -->
adam@1592 45 <!ENTITY Nu "&#925;"> <!-- greek capital letter nu, U+039D -->
adam@1592 46 <!ENTITY Xi "&#926;"> <!-- greek capital letter xi, U+039E ISOgrk3 -->
adam@1592 47 <!ENTITY Omicron "&#927;"> <!-- greek capital letter omicron, U+039F -->
adam@1592 48 <!ENTITY Pi "&#928;"> <!-- greek capital letter pi, U+03A0 ISOgrk3 -->
adam@1592 49 <!ENTITY Rho "&#929;"> <!-- greek capital letter rho, U+03A1 -->
adam@1592 50 <!-- there is no Sigmaf, and no U+03A2 character either -->
adam@1592 51 <!ENTITY Sigma "&#931;"> <!-- greek capital letter sigma,
adam@1592 52 U+03A3 ISOgrk3 -->
adam@1592 53 <!ENTITY Tau "&#932;"> <!-- greek capital letter tau, U+03A4 -->
adam@1592 54 <!ENTITY Upsilon "&#933;"> <!-- greek capital letter upsilon,
adam@1592 55 U+03A5 ISOgrk3 -->
adam@1592 56 <!ENTITY Phi "&#934;"> <!-- greek capital letter phi,
adam@1592 57 U+03A6 ISOgrk3 -->
adam@1592 58 <!ENTITY Chi "&#935;"> <!-- greek capital letter chi, U+03A7 -->
adam@1592 59 <!ENTITY Psi "&#936;"> <!-- greek capital letter psi,
adam@1592 60 U+03A8 ISOgrk3 -->
adam@1592 61 <!ENTITY Omega "&#937;"> <!-- greek capital letter omega,
adam@1592 62 U+03A9 ISOgrk3 -->
adam@1592 63
adam@1592 64 <!ENTITY alpha "&#945;"> <!-- greek small letter alpha,
adam@1592 65 U+03B1 ISOgrk3 -->
adam@1592 66 <!ENTITY beta "&#946;"> <!-- greek small letter beta, U+03B2 ISOgrk3 -->
adam@1592 67 <!ENTITY gamma "&#947;"> <!-- greek small letter gamma,
adam@1592 68 U+03B3 ISOgrk3 -->
adam@1592 69 <!ENTITY delta "&#948;"> <!-- greek small letter delta,
adam@1592 70 U+03B4 ISOgrk3 -->
adam@1592 71 <!ENTITY epsilon "&#949;"> <!-- greek small letter epsilon,
adam@1592 72 U+03B5 ISOgrk3 -->
adam@1592 73 <!ENTITY zeta "&#950;"> <!-- greek small letter zeta, U+03B6 ISOgrk3 -->
adam@1592 74 <!ENTITY eta "&#951;"> <!-- greek small letter eta, U+03B7 ISOgrk3 -->
adam@1592 75 <!ENTITY theta "&#952;"> <!-- greek small letter theta,
adam@1592 76 U+03B8 ISOgrk3 -->
adam@1592 77 <!ENTITY iota "&#953;"> <!-- greek small letter iota, U+03B9 ISOgrk3 -->
adam@1592 78 <!ENTITY kappa "&#954;"> <!-- greek small letter kappa,
adam@1592 79 U+03BA ISOgrk3 -->
adam@1592 80 <!ENTITY lambda "&#955;"> <!-- greek small letter lamda,
adam@1592 81 U+03BB ISOgrk3 -->
adam@1592 82 <!ENTITY mu "&#956;"> <!-- greek small letter mu, U+03BC ISOgrk3 -->
adam@1592 83 <!ENTITY nu "&#957;"> <!-- greek small letter nu, U+03BD ISOgrk3 -->
adam@1592 84 <!ENTITY xi "&#958;"> <!-- greek small letter xi, U+03BE ISOgrk3 -->
adam@1592 85 <!ENTITY omicron "&#959;"> <!-- greek small letter omicron, U+03BF NEW -->
adam@1592 86 <!ENTITY pi "&#960;"> <!-- greek small letter pi, U+03C0 ISOgrk3 -->
adam@1592 87 <!ENTITY rho "&#961;"> <!-- greek small letter rho, U+03C1 ISOgrk3 -->
adam@1592 88 <!ENTITY sigmaf "&#962;"> <!-- greek small letter final sigma,
adam@1592 89 U+03C2 ISOgrk3 -->
adam@1592 90 <!ENTITY sigma "&#963;"> <!-- greek small letter sigma,
adam@1592 91 U+03C3 ISOgrk3 -->
adam@1592 92 <!ENTITY tau "&#964;"> <!-- greek small letter tau, U+03C4 ISOgrk3 -->
adam@1592 93 <!ENTITY upsilon "&#965;"> <!-- greek small letter upsilon,
adam@1592 94 U+03C5 ISOgrk3 -->
adam@1592 95 <!ENTITY phi "&#966;"> <!-- greek small letter phi, U+03C6 ISOgrk3 -->
adam@1592 96 <!ENTITY chi "&#967;"> <!-- greek small letter chi, U+03C7 ISOgrk3 -->
adam@1592 97 <!ENTITY psi "&#968;"> <!-- greek small letter psi, U+03C8 ISOgrk3 -->
adam@1592 98 <!ENTITY omega "&#969;"> <!-- greek small letter omega,
adam@1592 99 U+03C9 ISOgrk3 -->
adam@1592 100 <!ENTITY thetasym "&#977;"> <!-- greek theta symbol,
adam@1592 101 U+03D1 NEW -->
adam@1592 102 <!ENTITY upsih "&#978;"> <!-- greek upsilon with hook symbol,
adam@1592 103 U+03D2 NEW -->
adam@1592 104 <!ENTITY piv "&#982;"> <!-- greek pi symbol, U+03D6 ISOgrk3 -->
adam@1592 105
adam@1592 106 <!-- General Punctuation -->
adam@1592 107 <!ENTITY bull "&#8226;"> <!-- bullet = black small circle,
adam@1592 108 U+2022 ISOpub -->
adam@1592 109 <!-- bullet is NOT the same as bullet operator, U+2219 -->
adam@1592 110 <!ENTITY hellip "&#8230;"> <!-- horizontal ellipsis = three dot leader,
adam@1592 111 U+2026 ISOpub -->
adam@1592 112 <!ENTITY prime "&#8242;"> <!-- prime = minutes = feet, U+2032 ISOtech -->
adam@1592 113 <!ENTITY Prime "&#8243;"> <!-- double prime = seconds = inches,
adam@1592 114 U+2033 ISOtech -->
adam@1592 115 <!ENTITY oline "&#8254;"> <!-- overline = spacing overscore,
adam@1592 116 U+203E NEW -->
adam@1592 117 <!ENTITY frasl "&#8260;"> <!-- fraction slash, U+2044 NEW -->
adam@1592 118
adam@1592 119 <!-- Letterlike Symbols -->
adam@1592 120 <!ENTITY weierp "&#8472;"> <!-- script capital P = power set
adam@1592 121 = Weierstrass p, U+2118 ISOamso -->
adam@1592 122 <!ENTITY image "&#8465;"> <!-- black-letter capital I = imaginary part,
adam@1592 123 U+2111 ISOamso -->
adam@1592 124 <!ENTITY real "&#8476;"> <!-- black-letter capital R = real part symbol,
adam@1592 125 U+211C ISOamso -->
adam@1592 126 <!ENTITY trade "&#8482;"> <!-- trade mark sign, U+2122 ISOnum -->
adam@1592 127 <!ENTITY alefsym "&#8501;"> <!-- alef symbol = first transfinite cardinal,
adam@1592 128 U+2135 NEW -->
adam@1592 129 <!-- alef symbol is NOT the same as hebrew letter alef,
adam@1592 130 U+05D0 although the same glyph could be used to depict both characters -->
adam@1592 131
adam@1592 132 <!-- Arrows -->
adam@1592 133 <!ENTITY larr "&#8592;"> <!-- leftwards arrow, U+2190 ISOnum -->
adam@1592 134 <!ENTITY uarr "&#8593;"> <!-- upwards arrow, U+2191 ISOnum-->
adam@1592 135 <!ENTITY rarr "&#8594;"> <!-- rightwards arrow, U+2192 ISOnum -->
adam@1592 136 <!ENTITY darr "&#8595;"> <!-- downwards arrow, U+2193 ISOnum -->
adam@1592 137 <!ENTITY harr "&#8596;"> <!-- left right arrow, U+2194 ISOamsa -->
adam@1592 138 <!ENTITY crarr "&#8629;"> <!-- downwards arrow with corner leftwards
adam@1592 139 = carriage return, U+21B5 NEW -->
adam@1592 140 <!ENTITY lArr "&#8656;"> <!-- leftwards double arrow, U+21D0 ISOtech -->
adam@1592 141 <!-- Unicode does not say that lArr is the same as the 'is implied by' arrow
adam@1592 142 but also does not have any other character for that function. So lArr can
adam@1592 143 be used for 'is implied by' as ISOtech suggests -->
adam@1592 144 <!ENTITY uArr "&#8657;"> <!-- upwards double arrow, U+21D1 ISOamsa -->
adam@1592 145 <!ENTITY rArr "&#8658;"> <!-- rightwards double arrow,
adam@1592 146 U+21D2 ISOtech -->
adam@1592 147 <!-- Unicode does not say this is the 'implies' character but does not have
adam@1592 148 another character with this function so rArr can be used for 'implies'
adam@1592 149 as ISOtech suggests -->
adam@1592 150 <!ENTITY dArr "&#8659;"> <!-- downwards double arrow, U+21D3 ISOamsa -->
adam@1592 151 <!ENTITY hArr "&#8660;"> <!-- left right double arrow,
adam@1592 152 U+21D4 ISOamsa -->
adam@1592 153
adam@1592 154 <!-- Mathematical Operators -->
adam@1592 155 <!ENTITY forall "&#8704;"> <!-- for all, U+2200 ISOtech -->
adam@1592 156 <!ENTITY part "&#8706;"> <!-- partial differential, U+2202 ISOtech -->
adam@1592 157 <!ENTITY exist "&#8707;"> <!-- there exists, U+2203 ISOtech -->
adam@1592 158 <!ENTITY empty "&#8709;"> <!-- empty set = null set, U+2205 ISOamso -->
adam@1592 159 <!ENTITY nabla "&#8711;"> <!-- nabla = backward difference,
adam@1592 160 U+2207 ISOtech -->
adam@1592 161 <!ENTITY isin "&#8712;"> <!-- element of, U+2208 ISOtech -->
adam@1592 162 <!ENTITY notin "&#8713;"> <!-- not an element of, U+2209 ISOtech -->
adam@1592 163 <!ENTITY ni "&#8715;"> <!-- contains as member, U+220B ISOtech -->
adam@1592 164 <!ENTITY prod "&#8719;"> <!-- n-ary product = product sign,
adam@1592 165 U+220F ISOamsb -->
adam@1592 166 <!-- prod is NOT the same character as U+03A0 'greek capital letter pi' though
adam@1592 167 the same glyph might be used for both -->
adam@1592 168 <!ENTITY sum "&#8721;"> <!-- n-ary summation, U+2211 ISOamsb -->
adam@1592 169 <!-- sum is NOT the same character as U+03A3 'greek capital letter sigma'
adam@1592 170 though the same glyph might be used for both -->
adam@1592 171 <!ENTITY minus "&#8722;"> <!-- minus sign, U+2212 ISOtech -->
adam@1592 172 <!ENTITY lowast "&#8727;"> <!-- asterisk operator, U+2217 ISOtech -->
adam@1592 173 <!ENTITY radic "&#8730;"> <!-- square root = radical sign,
adam@1592 174 U+221A ISOtech -->
adam@1592 175 <!ENTITY prop "&#8733;"> <!-- proportional to, U+221D ISOtech -->
adam@1592 176 <!ENTITY infin "&#8734;"> <!-- infinity, U+221E ISOtech -->
adam@1592 177 <!ENTITY ang "&#8736;"> <!-- angle, U+2220 ISOamso -->
adam@1592 178 <!ENTITY and "&#8743;"> <!-- logical and = wedge, U+2227 ISOtech -->
adam@1592 179 <!ENTITY or "&#8744;"> <!-- logical or = vee, U+2228 ISOtech -->
adam@1592 180 <!ENTITY cap "&#8745;"> <!-- intersection = cap, U+2229 ISOtech -->
adam@1592 181 <!ENTITY cup "&#8746;"> <!-- union = cup, U+222A ISOtech -->
adam@1592 182 <!ENTITY int "&#8747;"> <!-- integral, U+222B ISOtech -->
adam@1592 183 <!ENTITY there4 "&#8756;"> <!-- therefore, U+2234 ISOtech -->
adam@1592 184 <!ENTITY sim "&#8764;"> <!-- tilde operator = varies with = similar to,
adam@1592 185 U+223C ISOtech -->
adam@1592 186 <!-- tilde operator is NOT the same character as the tilde, U+007E,
adam@1592 187 although the same glyph might be used to represent both -->
adam@1592 188 <!ENTITY cong "&#8773;"> <!-- approximately equal to, U+2245 ISOtech -->
adam@1592 189 <!ENTITY asymp "&#8776;"> <!-- almost equal to = asymptotic to,
adam@1592 190 U+2248 ISOamsr -->
adam@1592 191 <!ENTITY ne "&#8800;"> <!-- not equal to, U+2260 ISOtech -->
adam@1592 192 <!ENTITY equiv "&#8801;"> <!-- identical to, U+2261 ISOtech -->
adam@1592 193 <!ENTITY le "&#8804;"> <!-- less-than or equal to, U+2264 ISOtech -->
adam@1592 194 <!ENTITY ge "&#8805;"> <!-- greater-than or equal to,
adam@1592 195 U+2265 ISOtech -->
adam@1592 196 <!ENTITY sub "&#8834;"> <!-- subset of, U+2282 ISOtech -->
adam@1592 197 <!ENTITY sup "&#8835;"> <!-- superset of, U+2283 ISOtech -->
adam@1592 198 <!ENTITY nsub "&#8836;"> <!-- not a subset of, U+2284 ISOamsn -->
adam@1592 199 <!ENTITY sube "&#8838;"> <!-- subset of or equal to, U+2286 ISOtech -->
adam@1592 200 <!ENTITY supe "&#8839;"> <!-- superset of or equal to,
adam@1592 201 U+2287 ISOtech -->
adam@1592 202 <!ENTITY oplus "&#8853;"> <!-- circled plus = direct sum,
adam@1592 203 U+2295 ISOamsb -->
adam@1592 204 <!ENTITY otimes "&#8855;"> <!-- circled times = vector product,
adam@1592 205 U+2297 ISOamsb -->
adam@1592 206 <!ENTITY perp "&#8869;"> <!-- up tack = orthogonal to = perpendicular,
adam@1592 207 U+22A5 ISOtech -->
adam@1592 208 <!ENTITY sdot "&#8901;"> <!-- dot operator, U+22C5 ISOamsb -->
adam@1592 209 <!-- dot operator is NOT the same character as U+00B7 middle dot -->
adam@1592 210
adam@1592 211 <!-- Miscellaneous Technical -->
adam@1592 212 <!ENTITY lceil "&#8968;"> <!-- left ceiling = APL upstile,
adam@1592 213 U+2308 ISOamsc -->
adam@1592 214 <!ENTITY rceil "&#8969;"> <!-- right ceiling, U+2309 ISOamsc -->
adam@1592 215 <!ENTITY lfloor "&#8970;"> <!-- left floor = APL downstile,
adam@1592 216 U+230A ISOamsc -->
adam@1592 217 <!ENTITY rfloor "&#8971;"> <!-- right floor, U+230B ISOamsc -->
adam@1592 218 <!ENTITY lang "&#9001;"> <!-- left-pointing angle bracket = bra,
adam@1592 219 U+2329 ISOtech -->
adam@1592 220 <!-- lang is NOT the same character as U+003C 'less than sign'
adam@1592 221 or U+2039 'single left-pointing angle quotation mark' -->
adam@1592 222 <!ENTITY rang "&#9002;"> <!-- right-pointing angle bracket = ket,
adam@1592 223 U+232A ISOtech -->
adam@1592 224 <!-- rang is NOT the same character as U+003E 'greater than sign'
adam@1592 225 or U+203A 'single right-pointing angle quotation mark' -->
adam@1592 226
adam@1592 227 <!-- Geometric Shapes -->
adam@1592 228 <!ENTITY loz "&#9674;"> <!-- lozenge, U+25CA ISOpub -->
adam@1592 229
adam@1592 230 <!-- Miscellaneous Symbols -->
adam@1592 231 <!ENTITY spades "&#9824;"> <!-- black spade suit, U+2660 ISOpub -->
adam@1592 232 <!-- black here seems to mean filled as opposed to hollow -->
adam@1592 233 <!ENTITY clubs "&#9827;"> <!-- black club suit = shamrock,
adam@1592 234 U+2663 ISOpub -->
adam@1592 235 <!ENTITY hearts "&#9829;"> <!-- black heart suit = valentine,
adam@1592 236 U+2665 ISOpub -->
adam@1592 237 <!ENTITY diams "&#9830;"> <!-- black diamond suit, U+2666 ISOpub -->