1 <!-- Mathematical, Greek and Symbolic characters for HTML -->
3 <!-- Character entity set. Typical invocation:
4 <!ENTITY % HTMLsymbol PUBLIC
5 "-//W3C//ENTITIES Symbols//EN//HTML">
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.
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. CDATA values are decimal
18 conversions of the ISO 10646 values and refer to the document
19 character set. Names are ISO 10646 names.
23 <!-- Latin Extended-B -->
24 <!ENTITY fnof CDATA "ƒ" -- latin small f with hook = function
25 = florin, U+0192 ISOtech -->
28 <!ENTITY Alpha CDATA "Α" -- greek capital letter alpha, U+0391 -->
29 <!ENTITY Beta CDATA "Β" -- greek capital letter beta, U+0392 -->
30 <!ENTITY Gamma CDATA "Γ" -- greek capital letter gamma,
32 <!ENTITY Delta CDATA "Δ" -- greek capital letter delta,
34 <!ENTITY Epsilon CDATA "Ε" -- greek capital letter epsilon, U+0395 -->
35 <!ENTITY Zeta CDATA "Ζ" -- greek capital letter zeta, U+0396 -->
36 <!ENTITY Eta CDATA "Η" -- greek capital letter eta, U+0397 -->
37 <!ENTITY Theta CDATA "Θ" -- greek capital letter theta,
39 <!ENTITY Iota CDATA "Ι" -- greek capital letter iota, U+0399 -->
40 <!ENTITY Kappa CDATA "Κ" -- greek capital letter kappa, U+039A -->
41 <!ENTITY Lambda CDATA "Λ" -- greek capital letter lambda,
43 <!ENTITY Mu CDATA "Μ" -- greek capital letter mu, U+039C -->
44 <!ENTITY Nu CDATA "Ν" -- greek capital letter nu, U+039D -->
45 <!ENTITY Xi CDATA "Ξ" -- greek capital letter xi, U+039E ISOgrk3 -->
46 <!ENTITY Omicron CDATA "Ο" -- greek capital letter omicron, U+039F -->
47 <!ENTITY Pi CDATA "Π" -- greek capital letter pi, U+03A0 ISOgrk3 -->
48 <!ENTITY Rho CDATA "Ρ" -- greek capital letter rho, U+03A1 -->
49 <!-- there is no Sigmaf, and no U+03A2 character either -->
50 <!ENTITY Sigma CDATA "Σ" -- greek capital letter sigma,
52 <!ENTITY Tau CDATA "Τ" -- greek capital letter tau, U+03A4 -->
53 <!ENTITY Upsilon CDATA "Υ" -- greek capital letter upsilon,
55 <!ENTITY Phi CDATA "Φ" -- greek capital letter phi,
57 <!ENTITY Chi CDATA "Χ" -- greek capital letter chi, U+03A7 -->
58 <!ENTITY Psi CDATA "Ψ" -- greek capital letter psi,
60 <!ENTITY Omega CDATA "Ω" -- greek capital letter omega,
63 <!ENTITY alpha CDATA "α" -- greek small letter alpha,
65 <!ENTITY beta CDATA "β" -- greek small letter beta, U+03B2 ISOgrk3 -->
66 <!ENTITY gamma CDATA "γ" -- greek small letter gamma,
68 <!ENTITY delta CDATA "δ" -- greek small letter delta,
70 <!ENTITY epsilon CDATA "ε" -- greek small letter epsilon,
72 <!ENTITY zeta CDATA "ζ" -- greek small letter zeta, U+03B6 ISOgrk3 -->
73 <!ENTITY eta CDATA "η" -- greek small letter eta, U+03B7 ISOgrk3 -->
74 <!ENTITY theta CDATA "θ" -- greek small letter theta,
76 <!ENTITY iota CDATA "ι" -- greek small letter iota, U+03B9 ISOgrk3 -->
77 <!ENTITY kappa CDATA "κ" -- greek small letter kappa,
79 <!ENTITY lambda CDATA "λ" -- greek small letter lambda,
81 <!ENTITY mu CDATA "μ" -- greek small letter mu, U+03BC ISOgrk3 -->
82 <!ENTITY nu CDATA "ν" -- greek small letter nu, U+03BD ISOgrk3 -->
83 <!ENTITY xi CDATA "ξ" -- greek small letter xi, U+03BE ISOgrk3 -->
84 <!ENTITY omicron CDATA "ο" -- greek small letter omicron, U+03BF NEW -->
85 <!ENTITY pi CDATA "π" -- greek small letter pi, U+03C0 ISOgrk3 -->
86 <!ENTITY rho CDATA "ρ" -- greek small letter rho, U+03C1 ISOgrk3 -->
87 <!ENTITY sigmaf CDATA "ς" -- greek small letter final sigma,
89 <!ENTITY sigma CDATA "σ" -- greek small letter sigma,
91 <!ENTITY tau CDATA "τ" -- greek small letter tau, U+03C4 ISOgrk3 -->
92 <!ENTITY upsilon CDATA "υ" -- greek small letter upsilon,
94 <!ENTITY phi CDATA "φ" -- greek small letter phi, U+03C6 ISOgrk3 -->
95 <!ENTITY chi CDATA "χ" -- greek small letter chi, U+03C7 ISOgrk3 -->
96 <!ENTITY psi CDATA "ψ" -- greek small letter psi, U+03C8 ISOgrk3 -->
97 <!ENTITY omega CDATA "ω" -- greek small letter omega,
99 <!ENTITY thetasym CDATA "ϑ" -- greek small letter theta symbol,
101 <!ENTITY upsih CDATA "ϒ" -- greek upsilon with hook symbol,
103 <!ENTITY piv CDATA "ϖ" -- greek pi symbol, U+03D6 ISOgrk3 -->
105 <!-- General Punctuation -->
106 <!ENTITY bull CDATA "•" -- bullet = black small circle,
108 <!-- bullet is NOT the same as bullet operator, U+2219 -->
109 <!ENTITY hellip CDATA "…" -- horizontal ellipsis = three dot leader,
111 <!ENTITY prime CDATA "′" -- prime = minutes = feet, U+2032 ISOtech -->
112 <!ENTITY Prime CDATA "″" -- double prime = seconds = inches,
114 <!ENTITY oline CDATA "‾" -- overline = spacing overscore,
116 <!ENTITY frasl CDATA "⁄" -- fraction slash, U+2044 NEW -->
118 <!-- Letterlike Symbols -->
119 <!ENTITY weierp CDATA "℘" -- script capital P = power set
120 = Weierstrass p, U+2118 ISOamso -->
121 <!ENTITY image CDATA "ℑ" -- blackletter capital I = imaginary part,
123 <!ENTITY real CDATA "ℜ" -- blackletter capital R = real part symbol,
125 <!ENTITY trade CDATA "™" -- trade mark sign, U+2122 ISOnum -->
126 <!ENTITY alefsym CDATA "ℵ" -- alef symbol = first transfinite cardinal,
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 -->
132 <!ENTITY larr CDATA "←" -- leftwards arrow, U+2190 ISOnum -->
133 <!ENTITY uarr CDATA "↑" -- upwards arrow, U+2191 ISOnum-->
134 <!ENTITY rarr CDATA "→" -- rightwards arrow, U+2192 ISOnum -->
135 <!ENTITY darr CDATA "↓" -- downwards arrow, U+2193 ISOnum -->
136 <!ENTITY harr CDATA "↔" -- left right arrow, U+2194 ISOamsa -->
137 <!ENTITY crarr CDATA "↵" -- downwards arrow with corner leftwards
138 = carriage return, U+21B5 NEW -->
139 <!ENTITY lArr CDATA "⇐" -- leftwards double arrow, U+21D0 ISOtech -->
140 <!-- ISO 10646 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 CDATA "⇑" -- upwards double arrow, U+21D1 ISOamsa -->
144 <!ENTITY rArr CDATA "⇒" -- rightwards double arrow,
146 <!-- ISO 10646 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 CDATA "⇓" -- downwards double arrow, U+21D3 ISOamsa -->
150 <!ENTITY hArr CDATA "⇔" -- left right double arrow,
153 <!-- Mathematical Operators -->
154 <!ENTITY forall CDATA "∀" -- for all, U+2200 ISOtech -->
155 <!ENTITY part CDATA "∂" -- partial differential, U+2202 ISOtech -->
156 <!ENTITY exist CDATA "∃" -- there exists, U+2203 ISOtech -->
157 <!ENTITY empty CDATA "∅" -- empty set = null set = diameter,
159 <!ENTITY nabla CDATA "∇" -- nabla = backward difference,
161 <!ENTITY isin CDATA "∈" -- element of, U+2208 ISOtech -->
162 <!ENTITY notin CDATA "∉" -- not an element of, U+2209 ISOtech -->
163 <!ENTITY ni CDATA "∋" -- contains as member, U+220B ISOtech -->
164 <!-- should there be a more memorable name than 'ni'? -->
165 <!ENTITY prod CDATA "∏" -- n-ary product = product sign,
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 CDATA "∑" -- 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 CDATA "−" -- minus sign, U+2212 ISOtech -->
173 <!ENTITY lowast CDATA "∗" -- asterisk operator, U+2217 ISOtech -->
174 <!ENTITY radic CDATA "√" -- square root = radical sign,
176 <!ENTITY prop CDATA "∝" -- proportional to, U+221D ISOtech -->
177 <!ENTITY infin CDATA "∞" -- infinity, U+221E ISOtech -->
178 <!ENTITY ang CDATA "∠" -- angle, U+2220 ISOamso -->
179 <!ENTITY and CDATA "∧" -- logical and = wedge, U+2227 ISOtech -->
180 <!ENTITY or CDATA "∨" -- logical or = vee, U+2228 ISOtech -->
181 <!ENTITY cap CDATA "∩" -- intersection = cap, U+2229 ISOtech -->
182 <!ENTITY cup CDATA "∪" -- union = cup, U+222A ISOtech -->
183 <!ENTITY int CDATA "∫" -- integral, U+222B ISOtech -->
184 <!ENTITY there4 CDATA "∴" -- therefore, U+2234 ISOtech -->
185 <!ENTITY sim CDATA "∼" -- tilde operator = varies with = similar to,
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 CDATA "≅" -- approximately equal to, U+2245 ISOtech -->
190 <!ENTITY asymp CDATA "≈" -- almost equal to = asymptotic to,
192 <!ENTITY ne CDATA "≠" -- not equal to, U+2260 ISOtech -->
193 <!ENTITY equiv CDATA "≡" -- identical to, U+2261 ISOtech -->
194 <!ENTITY le CDATA "≤" -- less-than or equal to, U+2264 ISOtech -->
195 <!ENTITY ge CDATA "≥" -- greater-than or equal to,
197 <!ENTITY sub CDATA "⊂" -- subset of, U+2282 ISOtech -->
198 <!ENTITY sup CDATA "⊃" -- 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?
202 <!ENTITY nsub CDATA "⊄" -- not a subset of, U+2284 ISOamsn -->
203 <!ENTITY sube CDATA "⊆" -- subset of or equal to, U+2286 ISOtech -->
204 <!ENTITY supe CDATA "⊇" -- superset of or equal to,
206 <!ENTITY oplus CDATA "⊕" -- circled plus = direct sum,
208 <!ENTITY otimes CDATA "⊗" -- circled times = vector product,
210 <!ENTITY perp CDATA "⊥" -- up tack = orthogonal to = perpendicular,
212 <!ENTITY sdot CDATA "⋅" -- dot operator, U+22C5 ISOamsb -->
213 <!-- dot operator is NOT the same character as U+00B7 middle dot -->
215 <!-- Miscellaneous Technical -->
216 <!ENTITY lceil CDATA "⌈" -- left ceiling = apl upstile,
218 <!ENTITY rceil CDATA "⌉" -- right ceiling, U+2309 ISOamsc -->
219 <!ENTITY lfloor CDATA "⌊" -- left floor = apl downstile,
221 <!ENTITY rfloor CDATA "⌋" -- right floor, U+230B ISOamsc -->
222 <!ENTITY lang CDATA "〈" -- left-pointing angle bracket = bra,
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 CDATA "〉" -- right-pointing angle bracket = ket,
228 <!-- rang is NOT the same character as U+003E 'greater than'
229 or U+203A 'single right-pointing angle quotation mark' -->
231 <!-- Geometric Shapes -->
232 <!ENTITY loz CDATA "◊" -- lozenge, U+25CA ISOpub -->
234 <!-- Miscellaneous Symbols -->
235 <!ENTITY spades CDATA "♠" -- black spade suit, U+2660 ISOpub -->
236 <!-- black here seems to mean filled as opposed to hollow -->
237 <!ENTITY clubs CDATA "♣" -- black club suit = shamrock,
239 <!ENTITY hearts CDATA "♥" -- black heart suit = valentine,
241 <!ENTITY diams CDATA "♦" -- black diamond suit, U+2666 ISOpub -->