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