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