Mercurial > repos > IBBoard.WarFoundry.API

annotate dtds/xhtml-symbol.ent @ 170:3045a168714a WarFoundry_v0.1beta4_Winforms WarFoundry_v0.1beta5_Winforms

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