Ur/Web: xml/xhtml-symbol.ent annotate

annotate xml/xhtml-symbol.ent @ 2096:6b7749da1ddc

Broaden handling of wildcard rewrites

author	Adam Chlipala <adam@chlipala.net>
date	Wed, 24 Dec 2014 12:35:20 -0500
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 "ƒ"> <!-- 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 "Α"> <!-- greek capital letter alpha, U+0391 -->
adam@1592	30 <!ENTITY Beta "Β"> <!-- greek capital letter beta, U+0392 -->
adam@1592	31 <!ENTITY Gamma "Γ"> <!-- greek capital letter gamma,
adam@1592	32 U+0393 ISOgrk3 -->
adam@1592	33 <!ENTITY Delta "Δ"> <!-- greek capital letter delta,
adam@1592	34 U+0394 ISOgrk3 -->
adam@1592	35 <!ENTITY Epsilon "Ε"> <!-- greek capital letter epsilon, U+0395 -->
adam@1592	36 <!ENTITY Zeta "Ζ"> <!-- greek capital letter zeta, U+0396 -->
adam@1592	37 <!ENTITY Eta "Η"> <!-- greek capital letter eta, U+0397 -->
adam@1592	38 <!ENTITY Theta "Θ"> <!-- greek capital letter theta,
adam@1592	39 U+0398 ISOgrk3 -->
adam@1592	40 <!ENTITY Iota "Ι"> <!-- greek capital letter iota, U+0399 -->
adam@1592	41 <!ENTITY Kappa "Κ"> <!-- greek capital letter kappa, U+039A -->
adam@1592	42 <!ENTITY Lambda "Λ"> <!-- greek capital letter lamda,
adam@1592	43 U+039B ISOgrk3 -->
adam@1592	44 <!ENTITY Mu "Μ"> <!-- greek capital letter mu, U+039C -->
adam@1592	45 <!ENTITY Nu "Ν"> <!-- greek capital letter nu, U+039D -->
adam@1592	46 <!ENTITY Xi "Ξ"> <!-- greek capital letter xi, U+039E ISOgrk3 -->
adam@1592	47 <!ENTITY Omicron "Ο"> <!-- greek capital letter omicron, U+039F -->
adam@1592	48 <!ENTITY Pi "Π"> <!-- greek capital letter pi, U+03A0 ISOgrk3 -->
adam@1592	49 <!ENTITY Rho "Ρ"> <!-- greek capital letter rho, U+03A1 -->
adam@1592	50 <!-- there is no Sigmaf, and no U+03A2 character either -->
adam@1592	51 <!ENTITY Sigma "Σ"> <!-- greek capital letter sigma,
adam@1592	52 U+03A3 ISOgrk3 -->
adam@1592	53 <!ENTITY Tau "Τ"> <!-- greek capital letter tau, U+03A4 -->
adam@1592	54 <!ENTITY Upsilon "Υ"> <!-- greek capital letter upsilon,
adam@1592	55 U+03A5 ISOgrk3 -->
adam@1592	56 <!ENTITY Phi "Φ"> <!-- greek capital letter phi,
adam@1592	57 U+03A6 ISOgrk3 -->
adam@1592	58 <!ENTITY Chi "Χ"> <!-- greek capital letter chi, U+03A7 -->
adam@1592	59 <!ENTITY Psi "Ψ"> <!-- greek capital letter psi,
adam@1592	60 U+03A8 ISOgrk3 -->
adam@1592	61 <!ENTITY Omega "Ω"> <!-- greek capital letter omega,
adam@1592	62 U+03A9 ISOgrk3 -->
adam@1592	63
adam@1592	64 <!ENTITY alpha "α"> <!-- greek small letter alpha,
adam@1592	65 U+03B1 ISOgrk3 -->
adam@1592	66 <!ENTITY beta "β"> <!-- greek small letter beta, U+03B2 ISOgrk3 -->
adam@1592	67 <!ENTITY gamma "γ"> <!-- greek small letter gamma,
adam@1592	68 U+03B3 ISOgrk3 -->
adam@1592	69 <!ENTITY delta "δ"> <!-- greek small letter delta,
adam@1592	70 U+03B4 ISOgrk3 -->
adam@1592	71 <!ENTITY epsilon "ε"> <!-- greek small letter epsilon,
adam@1592	72 U+03B5 ISOgrk3 -->
adam@1592	73 <!ENTITY zeta "ζ"> <!-- greek small letter zeta, U+03B6 ISOgrk3 -->
adam@1592	74 <!ENTITY eta "η"> <!-- greek small letter eta, U+03B7 ISOgrk3 -->
adam@1592	75 <!ENTITY theta "θ"> <!-- greek small letter theta,
adam@1592	76 U+03B8 ISOgrk3 -->
adam@1592	77 <!ENTITY iota "ι"> <!-- greek small letter iota, U+03B9 ISOgrk3 -->
adam@1592	78 <!ENTITY kappa "κ"> <!-- greek small letter kappa,
adam@1592	79 U+03BA ISOgrk3 -->
adam@1592	80 <!ENTITY lambda "λ"> <!-- greek small letter lamda,
adam@1592	81 U+03BB ISOgrk3 -->
adam@1592	82 <!ENTITY mu "μ"> <!-- greek small letter mu, U+03BC ISOgrk3 -->
adam@1592	83 <!ENTITY nu "ν"> <!-- greek small letter nu, U+03BD ISOgrk3 -->
adam@1592	84 <!ENTITY xi "ξ"> <!-- greek small letter xi, U+03BE ISOgrk3 -->
adam@1592	85 <!ENTITY omicron "ο"> <!-- greek small letter omicron, U+03BF NEW -->
adam@1592	86 <!ENTITY pi "π"> <!-- greek small letter pi, U+03C0 ISOgrk3 -->
adam@1592	87 <!ENTITY rho "ρ"> <!-- greek small letter rho, U+03C1 ISOgrk3 -->
adam@1592	88 <!ENTITY sigmaf "ς"> <!-- greek small letter final sigma,
adam@1592	89 U+03C2 ISOgrk3 -->
adam@1592	90 <!ENTITY sigma "σ"> <!-- greek small letter sigma,
adam@1592	91 U+03C3 ISOgrk3 -->
adam@1592	92 <!ENTITY tau "τ"> <!-- greek small letter tau, U+03C4 ISOgrk3 -->
adam@1592	93 <!ENTITY upsilon "υ"> <!-- greek small letter upsilon,
adam@1592	94 U+03C5 ISOgrk3 -->
adam@1592	95 <!ENTITY phi "φ"> <!-- greek small letter phi, U+03C6 ISOgrk3 -->
adam@1592	96 <!ENTITY chi "χ"> <!-- greek small letter chi, U+03C7 ISOgrk3 -->
adam@1592	97 <!ENTITY psi "ψ"> <!-- greek small letter psi, U+03C8 ISOgrk3 -->
adam@1592	98 <!ENTITY omega "ω"> <!-- greek small letter omega,
adam@1592	99 U+03C9 ISOgrk3 -->
adam@1592	100 <!ENTITY thetasym "ϑ"> <!-- greek theta symbol,
adam@1592	101 U+03D1 NEW -->
adam@1592	102 <!ENTITY upsih "ϒ"> <!-- greek upsilon with hook symbol,
adam@1592	103 U+03D2 NEW -->
adam@1592	104 <!ENTITY piv "ϖ"> <!-- greek pi symbol, U+03D6 ISOgrk3 -->
adam@1592	105
adam@1592	106 <!-- General Punctuation -->
adam@1592	107 <!ENTITY bull "•"> <!-- 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 "…"> <!-- horizontal ellipsis = three dot leader,
adam@1592	111 U+2026 ISOpub -->
adam@1592	112 <!ENTITY prime "′"> <!-- prime = minutes = feet, U+2032 ISOtech -->
adam@1592	113 <!ENTITY Prime "″"> <!-- double prime = seconds = inches,
adam@1592	114 U+2033 ISOtech -->
adam@1592	115 <!ENTITY oline "‾"> <!-- overline = spacing overscore,
adam@1592	116 U+203E NEW -->
adam@1592	117 <!ENTITY frasl "⁄"> <!-- fraction slash, U+2044 NEW -->
adam@1592	118
adam@1592	119 <!-- Letterlike Symbols -->
adam@1592	120 <!ENTITY weierp "℘"> <!-- script capital P = power set
adam@1592	121 = Weierstrass p, U+2118 ISOamso -->
adam@1592	122 <!ENTITY image "ℑ"> <!-- black-letter capital I = imaginary part,
adam@1592	123 U+2111 ISOamso -->
adam@1592	124 <!ENTITY real "ℜ"> <!-- black-letter capital R = real part symbol,
adam@1592	125 U+211C ISOamso -->
adam@1592	126 <!ENTITY trade "™"> <!-- trade mark sign, U+2122 ISOnum -->
adam@1592	127 <!ENTITY alefsym "ℵ"> <!-- 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 "←"> <!-- leftwards arrow, U+2190 ISOnum -->
adam@1592	134 <!ENTITY uarr "↑"> <!-- upwards arrow, U+2191 ISOnum-->
adam@1592	135 <!ENTITY rarr "→"> <!-- rightwards arrow, U+2192 ISOnum -->
adam@1592	136 <!ENTITY darr "↓"> <!-- downwards arrow, U+2193 ISOnum -->
adam@1592	137 <!ENTITY harr "↔"> <!-- left right arrow, U+2194 ISOamsa -->
adam@1592	138 <!ENTITY crarr "↵"> <!-- downwards arrow with corner leftwards
adam@1592	139 = carriage return, U+21B5 NEW -->
adam@1592	140 <!ENTITY lArr "⇐"> <!-- 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 "⇑"> <!-- upwards double arrow, U+21D1 ISOamsa -->
adam@1592	145 <!ENTITY rArr "⇒"> <!-- 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 "⇓"> <!-- downwards double arrow, U+21D3 ISOamsa -->
adam@1592	151 <!ENTITY hArr "⇔"> <!-- left right double arrow,
adam@1592	152 U+21D4 ISOamsa -->
adam@1592	153
adam@1592	154 <!-- Mathematical Operators -->
adam@1592	155 <!ENTITY forall "∀"> <!-- for all, U+2200 ISOtech -->
adam@1592	156 <!ENTITY part "∂"> <!-- partial differential, U+2202 ISOtech -->
adam@1592	157 <!ENTITY exist "∃"> <!-- there exists, U+2203 ISOtech -->
adam@1592	158 <!ENTITY empty "∅"> <!-- empty set = null set, U+2205 ISOamso -->
adam@1592	159 <!ENTITY nabla "∇"> <!-- nabla = backward difference,
adam@1592	160 U+2207 ISOtech -->
adam@1592	161 <!ENTITY isin "∈"> <!-- element of, U+2208 ISOtech -->
adam@1592	162 <!ENTITY notin "∉"> <!-- not an element of, U+2209 ISOtech -->
adam@1592	163 <!ENTITY ni "∋"> <!-- contains as member, U+220B ISOtech -->
adam@1592	164 <!ENTITY prod "∏"> <!-- 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 "∑"> <!-- 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 "−"> <!-- minus sign, U+2212 ISOtech -->
adam@1592	172 <!ENTITY lowast "∗"> <!-- asterisk operator, U+2217 ISOtech -->
adam@1592	173 <!ENTITY radic "√"> <!-- square root = radical sign,
adam@1592	174 U+221A ISOtech -->
adam@1592	175 <!ENTITY prop "∝"> <!-- proportional to, U+221D ISOtech -->
adam@1592	176 <!ENTITY infin "∞"> <!-- infinity, U+221E ISOtech -->
adam@1592	177 <!ENTITY ang "∠"> <!-- angle, U+2220 ISOamso -->
adam@1592	178 <!ENTITY and "∧"> <!-- logical and = wedge, U+2227 ISOtech -->
adam@1592	179 <!ENTITY or "∨"> <!-- logical or = vee, U+2228 ISOtech -->
adam@1592	180 <!ENTITY cap "∩"> <!-- intersection = cap, U+2229 ISOtech -->
adam@1592	181 <!ENTITY cup "∪"> <!-- union = cup, U+222A ISOtech -->
adam@1592	182 <!ENTITY int "∫"> <!-- integral, U+222B ISOtech -->
adam@1592	183 <!ENTITY there4 "∴"> <!-- therefore, U+2234 ISOtech -->
adam@1592	184 <!ENTITY sim "∼"> <!-- 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 "≅"> <!-- approximately equal to, U+2245 ISOtech -->
adam@1592	189 <!ENTITY asymp "≈"> <!-- almost equal to = asymptotic to,
adam@1592	190 U+2248 ISOamsr -->
adam@1592	191 <!ENTITY ne "≠"> <!-- not equal to, U+2260 ISOtech -->
adam@1592	192 <!ENTITY equiv "≡"> <!-- identical to, U+2261 ISOtech -->
adam@1592	193 <!ENTITY le "≤"> <!-- less-than or equal to, U+2264 ISOtech -->
adam@1592	194 <!ENTITY ge "≥"> <!-- greater-than or equal to,
adam@1592	195 U+2265 ISOtech -->
adam@1592	196 <!ENTITY sub "⊂"> <!-- subset of, U+2282 ISOtech -->
adam@1592	197 <!ENTITY sup "⊃"> <!-- superset of, U+2283 ISOtech -->
adam@1592	198 <!ENTITY nsub "⊄"> <!-- not a subset of, U+2284 ISOamsn -->
adam@1592	199 <!ENTITY sube "⊆"> <!-- subset of or equal to, U+2286 ISOtech -->
adam@1592	200 <!ENTITY supe "⊇"> <!-- superset of or equal to,
adam@1592	201 U+2287 ISOtech -->
adam@1592	202 <!ENTITY oplus "⊕"> <!-- circled plus = direct sum,
adam@1592	203 U+2295 ISOamsb -->
adam@1592	204 <!ENTITY otimes "⊗"> <!-- circled times = vector product,
adam@1592	205 U+2297 ISOamsb -->
adam@1592	206 <!ENTITY perp "⊥"> <!-- up tack = orthogonal to = perpendicular,
adam@1592	207 U+22A5 ISOtech -->
adam@1592	208 <!ENTITY sdot "⋅"> <!-- 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 "⌈"> <!-- left ceiling = APL upstile,
adam@1592	213 U+2308 ISOamsc -->
adam@1592	214 <!ENTITY rceil "⌉"> <!-- right ceiling, U+2309 ISOamsc -->
adam@1592	215 <!ENTITY lfloor "⌊"> <!-- left floor = APL downstile,
adam@1592	216 U+230A ISOamsc -->
adam@1592	217 <!ENTITY rfloor "⌋"> <!-- right floor, U+230B ISOamsc -->
adam@1592	218 <!ENTITY lang "〈"> <!-- 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 "〉"> <!-- 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 "◊"> <!-- lozenge, U+25CA ISOpub -->
adam@1592	229
adam@1592	230 <!-- Miscellaneous Symbols -->
adam@1592	231 <!ENTITY spades "♠"> <!-- black spade suit, U+2660 ISOpub -->
adam@1592	232 <!-- black here seems to mean filled as opposed to hollow -->
adam@1592	233 <!ENTITY clubs "♣"> <!-- black club suit = shamrock,
adam@1592	234 U+2663 ISOpub -->
adam@1592	235 <!ENTITY hearts "♥"> <!-- black heart suit = valentine,
adam@1592	236 U+2665 ISOpub -->
adam@1592	237 <!ENTITY diams "♦"> <!-- black diamond suit, U+2666 ISOpub -->

Mercurial > urweb

annotate xml/xhtml-symbol.ent @ 2096:6b7749da1ddc