|
0
|
1 <!-- Mathematical, Greek and Symbolic characters for HTML -->
|
|
|
2
|
|
|
3 <!-- Character entity set. Typical invocation:
|
|
|
4 <!ENTITY % HTMLsymbol PUBLIC
|
|
|
5 "-//W3C//ENTITIES Symbolic//EN//HTML">
|
|
|
6 %HTMLsymbol; -->
|
|
|
7
|
|
|
8 <!-- Portions (C) International Organization for Standardization 1986:
|
|
|
9 Permission to copy in any form is granted for use with
|
|
|
10 conforming SGML systems and applications as defined in
|
|
|
11 ISO 8879, provided this notice is included in all copies.
|
|
|
12 -->
|
|
|
13
|
|
|
14 <!-- Relevant ISO entity set is given unless names are newly introduced.
|
|
|
15 New names (i.e., not in ISO 8879 list) do not clash with any
|
|
|
16 existing ISO 8879 entity names. ISO 10646 character numbers
|
|
|
17 are given for each character, in hex. values are decimal
|
|
|
18 conversions of the ISO 10646 values and refer to the document
|
|
|
19 character set. Names are Unicode 2.0 names.
|
|
|
20
|
|
|
21 -->
|
|
|
22
|
|
|
23 <!-- Latin Extended-B -->
|
|
|
24 <!ENTITY fnof "ƒ"> <!-- latin small f with hook = function
|
|
|
25 = florin, U+0192 ISOtech -->
|
|
|
26
|
|
|
27 <!-- Greek -->
|
|
|
28 <!ENTITY Alpha "Α"> <!-- greek capital letter alpha, U+0391 -->
|
|
|
29 <!ENTITY Beta "Β"> <!-- greek capital letter beta, U+0392 -->
|
|
|
30 <!ENTITY Gamma "Γ"> <!-- greek capital letter gamma,
|
|
|
31 U+0393 ISOgrk3 -->
|
|
|
32 <!ENTITY Delta "Δ"> <!-- greek capital letter delta,
|
|
|
33 U+0394 ISOgrk3 -->
|
|
|
34 <!ENTITY Epsilon "Ε"> <!-- greek capital letter epsilon, U+0395 -->
|
|
|
35 <!ENTITY Zeta "Ζ"> <!-- greek capital letter zeta, U+0396 -->
|
|
|
36 <!ENTITY Eta "Η"> <!-- greek capital letter eta, U+0397 -->
|
|
|
37 <!ENTITY Theta "Θ"> <!-- greek capital letter theta,
|
|
|
38 U+0398 ISOgrk3 -->
|
|
|
39 <!ENTITY Iota "Ι"> <!-- greek capital letter iota, U+0399 -->
|
|
|
40 <!ENTITY Kappa "Κ"> <!-- greek capital letter kappa, U+039A -->
|
|
|
41 <!ENTITY Lambda "Λ"> <!-- greek capital letter lambda,
|
|
|
42 U+039B ISOgrk3 -->
|
|
|
43 <!ENTITY Mu "Μ"> <!-- greek capital letter mu, U+039C -->
|
|
|
44 <!ENTITY Nu "Ν"> <!-- greek capital letter nu, U+039D -->
|
|
|
45 <!ENTITY Xi "Ξ"> <!-- greek capital letter xi, U+039E ISOgrk3 -->
|
|
|
46 <!ENTITY Omicron "Ο"> <!-- greek capital letter omicron, U+039F -->
|
|
|
47 <!ENTITY Pi "Π"> <!-- greek capital letter pi, U+03A0 ISOgrk3 -->
|
|
|
48 <!ENTITY Rho "Ρ"> <!-- greek capital letter rho, U+03A1 -->
|
|
|
49 <!-- there is no Sigmaf, and no U+03A2 character either -->
|
|
|
50 <!ENTITY Sigma "Σ"> <!-- greek capital letter sigma,
|
|
|
51 U+03A3 ISOgrk3 -->
|
|
|
52 <!ENTITY Tau "Τ"> <!-- greek capital letter tau, U+03A4 -->
|
|
|
53 <!ENTITY Upsilon "Υ"> <!-- greek capital letter upsilon,
|
|
|
54 U+03A5 ISOgrk3 -->
|
|
|
55 <!ENTITY Phi "Φ"> <!-- greek capital letter phi,
|
|
|
56 U+03A6 ISOgrk3 -->
|
|
|
57 <!ENTITY Chi "Χ"> <!-- greek capital letter chi, U+03A7 -->
|
|
|
58 <!ENTITY Psi "Ψ"> <!-- greek capital letter psi,
|
|
|
59 U+03A8 ISOgrk3 -->
|
|
|
60 <!ENTITY Omega "Ω"> <!-- greek capital letter omega,
|
|
|
61 U+03A9 ISOgrk3 -->
|
|
|
62
|
|
|
63 <!ENTITY alpha "α"> <!-- greek small letter alpha,
|
|
|
64 U+03B1 ISOgrk3 -->
|
|
|
65 <!ENTITY beta "β"> <!-- greek small letter beta, U+03B2 ISOgrk3 -->
|
|
|
66 <!ENTITY gamma "γ"> <!-- greek small letter gamma,
|
|
|
67 U+03B3 ISOgrk3 -->
|
|
|
68 <!ENTITY delta "δ"> <!-- greek small letter delta,
|
|
|
69 U+03B4 ISOgrk3 -->
|
|
|
70 <!ENTITY epsilon "ε"> <!-- greek small letter epsilon,
|
|
|
71 U+03B5 ISOgrk3 -->
|
|
|
72 <!ENTITY zeta "ζ"> <!-- greek small letter zeta, U+03B6 ISOgrk3 -->
|
|
|
73 <!ENTITY eta "η"> <!-- greek small letter eta, U+03B7 ISOgrk3 -->
|
|
|
74 <!ENTITY theta "θ"> <!-- greek small letter theta,
|
|
|
75 U+03B8 ISOgrk3 -->
|
|
|
76 <!ENTITY iota "ι"> <!-- greek small letter iota, U+03B9 ISOgrk3 -->
|
|
|
77 <!ENTITY kappa "κ"> <!-- greek small letter kappa,
|
|
|
78 U+03BA ISOgrk3 -->
|
|
|
79 <!ENTITY lambda "λ"> <!-- greek small letter lambda,
|
|
|
80 U+03BB ISOgrk3 -->
|
|
|
81 <!ENTITY mu "μ"> <!-- greek small letter mu, U+03BC ISOgrk3 -->
|
|
|
82 <!ENTITY nu "ν"> <!-- greek small letter nu, U+03BD ISOgrk3 -->
|
|
|
83 <!ENTITY xi "ξ"> <!-- greek small letter xi, U+03BE ISOgrk3 -->
|
|
|
84 <!ENTITY omicron "ο"> <!-- greek small letter omicron, U+03BF NEW -->
|
|
|
85 <!ENTITY pi "π"> <!-- greek small letter pi, U+03C0 ISOgrk3 -->
|
|
|
86 <!ENTITY rho "ρ"> <!-- greek small letter rho, U+03C1 ISOgrk3 -->
|
|
|
87 <!ENTITY sigmaf "ς"> <!-- greek small letter final sigma,
|
|
|
88 U+03C2 ISOgrk3 -->
|
|
|
89 <!ENTITY sigma "σ"> <!-- greek small letter sigma,
|
|
|
90 U+03C3 ISOgrk3 -->
|
|
|
91 <!ENTITY tau "τ"> <!-- greek small letter tau, U+03C4 ISOgrk3 -->
|
|
|
92 <!ENTITY upsilon "υ"> <!-- greek small letter upsilon,
|
|
|
93 U+03C5 ISOgrk3 -->
|
|
|
94 <!ENTITY phi "φ"> <!-- greek small letter phi, U+03C6 ISOgrk3 -->
|
|
|
95 <!ENTITY chi "χ"> <!-- greek small letter chi, U+03C7 ISOgrk3 -->
|
|
|
96 <!ENTITY psi "ψ"> <!-- greek small letter psi, U+03C8 ISOgrk3 -->
|
|
|
97 <!ENTITY omega "ω"> <!-- greek small letter omega,
|
|
|
98 U+03C9 ISOgrk3 -->
|
|
|
99 <!ENTITY thetasym "ϑ"> <!-- greek small letter theta symbol,
|
|
|
100 U+03D1 NEW -->
|
|
|
101 <!ENTITY upsih "ϒ"> <!-- greek upsilon with hook symbol,
|
|
|
102 U+03D2 NEW -->
|
|
|
103 <!ENTITY piv "ϖ"> <!-- greek pi symbol, U+03D6 ISOgrk3 -->
|
|
|
104
|
|
|
105 <!-- General Punctuation -->
|
|
|
106 <!ENTITY bull "•"> <!-- bullet = black small circle,
|
|
|
107 U+2022 ISOpub -->
|
|
|
108 <!-- bullet is NOT the same as bullet operator, U+2219 -->
|
|
|
109 <!ENTITY hellip "…"> <!-- horizontal ellipsis = three dot leader,
|
|
|
110 U+2026 ISOpub -->
|
|
|
111 <!ENTITY prime "′"> <!-- prime = minutes = feet, U+2032 ISOtech -->
|
|
|
112 <!ENTITY Prime "″"> <!-- double prime = seconds = inches,
|
|
|
113 U+2033 ISOtech -->
|
|
|
114 <!ENTITY oline "‾"> <!-- overline = spacing overscore,
|
|
|
115 U+203E NEW -->
|
|
|
116 <!ENTITY frasl "⁄"> <!-- fraction slash, U+2044 NEW -->
|
|
|
117
|
|
|
118 <!-- Letterlike Symbols -->
|
|
|
119 <!ENTITY weierp "℘"> <!-- script capital P = power set
|
|
|
120 = Weierstrass p, U+2118 ISOamso -->
|
|
|
121 <!ENTITY image "ℑ"> <!-- blackletter capital I = imaginary part,
|
|
|
122 U+2111 ISOamso -->
|
|
|
123 <!ENTITY real "ℜ"> <!-- blackletter capital R = real part symbol,
|
|
|
124 U+211C ISOamso -->
|
|
|
125 <!ENTITY trade "™"> <!-- trade mark sign, U+2122 ISOnum -->
|
|
|
126 <!ENTITY alefsym "ℵ"> <!-- alef symbol = first transfinite cardinal,
|
|
|
127 U+2135 NEW -->
|
|
|
128 <!-- alef symbol is NOT the same as hebrew letter alef,
|
|
|
129 U+05D0 although the same glyph could be used to depict both characters -->
|
|
|
130
|
|
|
131 <!-- Arrows -->
|
|
|
132 <!ENTITY larr "←"> <!-- leftwards arrow, U+2190 ISOnum -->
|
|
|
133 <!ENTITY uarr "↑"> <!-- upwards arrow, U+2191 ISOnum-->
|
|
|
134 <!ENTITY rarr "→"> <!-- rightwards arrow, U+2192 ISOnum -->
|
|
|
135 <!ENTITY darr "↓"> <!-- downwards arrow, U+2193 ISOnum -->
|
|
|
136 <!ENTITY harr "↔"> <!-- left right arrow, U+2194 ISOamsa -->
|
|
|
137 <!ENTITY crarr "↵"> <!-- downwards arrow with corner leftwards
|
|
|
138 = carriage return, U+21B5 NEW -->
|
|
|
139 <!ENTITY lArr "⇐"> <!-- leftwards double arrow, U+21D0 ISOtech -->
|
|
|
140 <!-- Unicode does not say that lArr is the same as the 'is implied by' arrow
|
|
|
141 but also does not have any other character for that function. So ? lArr can
|
|
|
142 be used for 'is implied by' as ISOtech suggests -->
|
|
|
143 <!ENTITY uArr "⇑"> <!-- upwards double arrow, U+21D1 ISOamsa -->
|
|
|
144 <!ENTITY rArr "⇒"> <!-- rightwards double arrow,
|
|
|
145 U+21D2 ISOtech -->
|
|
|
146 <!-- Unicode does not say this is the 'implies' character but does not have
|
|
|
147 another character with this function so ?
|
|
|
148 rArr can be used for 'implies' as ISOtech suggests -->
|
|
|
149 <!ENTITY dArr "⇓"> <!-- downwards double arrow, U+21D3 ISOamsa -->
|
|
|
150 <!ENTITY hArr "⇔"> <!-- left right double arrow,
|
|
|
151 U+21D4 ISOamsa -->
|
|
|
152
|
|
|
153 <!-- Mathematical Operators -->
|
|
|
154 <!ENTITY forall "∀"> <!-- for all, U+2200 ISOtech -->
|
|
|
155 <!ENTITY part "∂"> <!-- partial differential, U+2202 ISOtech -->
|
|
|
156 <!ENTITY exist "∃"> <!-- there exists, U+2203 ISOtech -->
|
|
|
157 <!ENTITY empty "∅"> <!-- empty set = null set = diameter,
|
|
|
158 U+2205 ISOamso -->
|
|
|
159 <!ENTITY nabla "∇"> <!-- nabla = backward difference,
|
|
|
160 U+2207 ISOtech -->
|
|
|
161 <!ENTITY isin "∈"> <!-- element of, U+2208 ISOtech -->
|
|
|
162 <!ENTITY notin "∉"> <!-- not an element of, U+2209 ISOtech -->
|
|
|
163 <!ENTITY ni "∋"> <!-- contains as member, U+220B ISOtech -->
|
|
|
164 <!-- should there be a more memorable name than 'ni'? -->
|
|
|
165 <!ENTITY prod "∏"> <!-- n-ary product = product sign,
|
|
|
166 U+220F ISOamsb -->
|
|
|
167 <!-- prod is NOT the same character as U+03A0 'greek capital letter pi' though
|
|
|
168 the same glyph might be used for both -->
|
|
|
169 <!ENTITY sum "∑"> <!-- n-ary sumation, U+2211 ISOamsb -->
|
|
|
170 <!-- sum is NOT the same character as U+03A3 'greek capital letter sigma'
|
|
|
171 though the same glyph might be used for both -->
|
|
|
172 <!ENTITY minus "−"> <!-- minus sign, U+2212 ISOtech -->
|
|
|
173 <!ENTITY lowast "∗"> <!-- asterisk operator, U+2217 ISOtech -->
|
|
|
174 <!ENTITY radic "√"> <!-- square root = radical sign,
|
|
|
175 U+221A ISOtech -->
|
|
|
176 <!ENTITY prop "∝"> <!-- proportional to, U+221D ISOtech -->
|
|
|
177 <!ENTITY infin "∞"> <!-- infinity, U+221E ISOtech -->
|
|
|
178 <!ENTITY ang "∠"> <!-- angle, U+2220 ISOamso -->
|
|
|
179 <!ENTITY and "∧"> <!-- logical and = wedge, U+2227 ISOtech -->
|
|
|
180 <!ENTITY or "∨"> <!-- logical or = vee, U+2228 ISOtech -->
|
|
|
181 <!ENTITY cap "∩"> <!-- intersection = cap, U+2229 ISOtech -->
|
|
|
182 <!ENTITY cup "∪"> <!-- union = cup, U+222A ISOtech -->
|
|
|
183 <!ENTITY int "∫"> <!-- integral, U+222B ISOtech -->
|
|
|
184 <!ENTITY there4 "∴"> <!-- therefore, U+2234 ISOtech -->
|
|
|
185 <!ENTITY sim "∼"> <!-- tilde operator = varies with = similar to,
|
|
|
186 U+223C ISOtech -->
|
|
|
187 <!-- tilde operator is NOT the same character as the tilde, U+007E,
|
|
|
188 although the same glyph might be used to represent both -->
|
|
|
189 <!ENTITY cong "≅"> <!-- approximately equal to, U+2245 ISOtech -->
|
|
|
190 <!ENTITY asymp "≈"> <!-- almost equal to = asymptotic to,
|
|
|
191 U+2248 ISOamsr -->
|
|
|
192 <!ENTITY ne "≠"> <!-- not equal to, U+2260 ISOtech -->
|
|
|
193 <!ENTITY equiv "≡"> <!-- identical to, U+2261 ISOtech -->
|
|
|
194 <!ENTITY le "≤"> <!-- less-than or equal to, U+2264 ISOtech -->
|
|
|
195 <!ENTITY ge "≥"> <!-- greater-than or equal to,
|
|
|
196 U+2265 ISOtech -->
|
|
|
197 <!ENTITY sub "⊂"> <!-- subset of, U+2282 ISOtech -->
|
|
|
198 <!ENTITY sup "⊃"> <!-- superset of, U+2283 ISOtech -->
|
|
|
199 <!-- note that nsup, 'not a superset of, U+2283' is not covered by the Symbol
|
|
|
200 font encoding and is not included. Should it be, for symmetry?
|
|
|
201 It is in ISOamsn -->
|
|
|
202 <!ENTITY nsub "⊄"> <!-- not a subset of, U+2284 ISOamsn -->
|
|
|
203 <!ENTITY sube "⊆"> <!-- subset of or equal to, U+2286 ISOtech -->
|
|
|
204 <!ENTITY supe "⊇"> <!-- superset of or equal to,
|
|
|
205 U+2287 ISOtech -->
|
|
|
206 <!ENTITY oplus "⊕"> <!-- circled plus = direct sum,
|
|
|
207 U+2295 ISOamsb -->
|
|
|
208 <!ENTITY otimes "⊗"> <!-- circled times = vector product,
|
|
|
209 U+2297 ISOamsb -->
|
|
|
210 <!ENTITY perp "⊥"> <!-- up tack = orthogonal to = perpendicular,
|
|
|
211 U+22A5 ISOtech -->
|
|
|
212 <!ENTITY sdot "⋅"> <!-- dot operator, U+22C5 ISOamsb -->
|
|
|
213 <!-- dot operator is NOT the same character as U+00B7 middle dot -->
|
|
|
214
|
|
|
215 <!-- Miscellaneous Technical -->
|
|
|
216 <!ENTITY lceil "⌈"> <!-- left ceiling = apl upstile,
|
|
|
217 U+2308 ISOamsc -->
|
|
|
218 <!ENTITY rceil "⌉"> <!-- right ceiling, U+2309 ISOamsc -->
|
|
|
219 <!ENTITY lfloor "⌊"> <!-- left floor = apl downstile,
|
|
|
220 U+230A ISOamsc -->
|
|
|
221 <!ENTITY rfloor "⌋"> <!-- right floor, U+230B ISOamsc -->
|
|
|
222 <!ENTITY lang "〈"> <!-- left-pointing angle bracket = bra,
|
|
|
223 U+2329 ISOtech -->
|
|
|
224 <!-- lang is NOT the same character as U+003C 'less than'
|
|
|
225 or U+2039 'single left-pointing angle quotation mark' -->
|
|
|
226 <!ENTITY rang "〉"> <!-- right-pointing angle bracket = ket,
|
|
|
227 U+232A ISOtech -->
|
|
|
228 <!-- rang is NOT the same character as U+003E 'greater than'
|
|
|
229 or U+203A 'single right-pointing angle quotation mark' -->
|
|
|
230
|
|
|
231 <!-- Geometric Shapes -->
|
|
|
232 <!ENTITY loz "◊"> <!-- lozenge, U+25CA ISOpub -->
|
|
|
233
|
|
|
234 <!-- Miscellaneous Symbols -->
|
|
|
235 <!ENTITY spades "♠"> <!-- black spade suit, U+2660 ISOpub -->
|
|
|
236 <!-- black here seems to mean filled as opposed to hollow -->
|
|
|
237 <!ENTITY clubs "♣"> <!-- black club suit = shamrock,
|
|
|
238 U+2663 ISOpub -->
|
|
|
239 <!ENTITY hearts "♥"> <!-- black heart suit = valentine,
|
|
|
240 U+2665 ISOpub -->
|
|
|
241 <!ENTITY diams "♦"> <!-- black diamond suit, U+2666 ISOpub -->
|
