envjs19 0.3.8.20101029121421

Sign up to get free protection for your applications and to get access to all the features.
Files changed (279) hide show
  1. data/.jslintrbrc +30 -0
  2. data/.project +17 -0
  3. data/CHANGELOG.rdoc +57 -0
  4. data/DTD/xhtml-lat1.ent +196 -0
  5. data/DTD/xhtml-special.ent +80 -0
  6. data/DTD/xhtml-symbol.ent +237 -0
  7. data/DTD/xhtml.soc +14 -0
  8. data/DTD/xhtml1-frameset.dtd +1235 -0
  9. data/DTD/xhtml1-strict.dtd +978 -0
  10. data/DTD/xhtml1-transitional.dtd +1201 -0
  11. data/DTD/xhtml1.dcl +192 -0
  12. data/Makefile +7 -0
  13. data/Manifest.txt +280 -0
  14. data/README.rdoc +65 -0
  15. data/Rakefile +196 -0
  16. data/Wakefile +11 -0
  17. data/bin/envjsrb +257 -0
  18. data/build.properties +9 -0
  19. data/build.xml +247 -0
  20. data/gm/jquery.js +6002 -0
  21. data/gm/mainx.js +2648 -0
  22. data/gm/sensx.js +135 -0
  23. data/gm/t.js +6 -0
  24. data/gm/x.html +76 -0
  25. data/htmlparser/BrowserTreeBuilder.java +456 -0
  26. data/htmlparser/README +34 -0
  27. data/htmlparser/build.sh +38 -0
  28. data/jsl/jsl +0 -0
  29. data/jsl/jsl.default.conf +129 -0
  30. data/jsl/jsl.exe +0 -0
  31. data/lib/envjs.rb +35 -0
  32. data/lib/envjs/event_loop.js +206 -0
  33. data/lib/envjs/net.rb +3 -0
  34. data/lib/envjs/net/cgi.rb +94 -0
  35. data/lib/envjs/net/file.rb +69 -0
  36. data/lib/envjs/options.rb +11 -0
  37. data/lib/envjs/runtime.rb +346 -0
  38. data/lib/envjs/tempfile.rb +24 -0
  39. data/licenses/GPL-LICENSE.txt +278 -0
  40. data/licenses/MIT-LICENSE.txt +20 -0
  41. data/src/base64.js +80 -0
  42. data/src/build.js +6 -0
  43. data/src/cruft/bad.html +24 -0
  44. data/src/cruft/dom.js +606 -0
  45. data/src/cruft/element.js +297 -0
  46. data/src/cruft/good.html +30 -0
  47. data/src/cruft/good.js +32 -0
  48. data/src/cruft/internal.js +81 -0
  49. data/src/cruft/parser.js +458 -0
  50. data/src/css/properties.js +293 -0
  51. data/src/css/rule.js +22 -0
  52. data/src/css/sizzle.js +717 -0
  53. data/src/css/stylesheet.js +52 -0
  54. data/src/dom/attr.js +55 -0
  55. data/src/dom/cdatasection.js +31 -0
  56. data/src/dom/characterdata.js +119 -0
  57. data/src/dom/comment.js +30 -0
  58. data/src/dom/doctype.js +9 -0
  59. data/src/dom/document.js +1023 -0
  60. data/src/dom/dom.js +134 -0
  61. data/src/dom/element.js +217 -0
  62. data/src/dom/entities.js +273 -0
  63. data/src/dom/exception.js +28 -0
  64. data/src/dom/fragment.js +37 -0
  65. data/src/dom/implementation.js +140 -0
  66. data/src/dom/instruction.js +51 -0
  67. data/src/dom/namednodemap.js +374 -0
  68. data/src/dom/namespace.js +50 -0
  69. data/src/dom/node.js +618 -0
  70. data/src/dom/nodelist.js +195 -0
  71. data/src/dom/parser.js +1207 -0
  72. data/src/dom/text.js +73 -0
  73. data/src/event/event.js +47 -0
  74. data/src/event/mouseevent.js +4 -0
  75. data/src/event/uievent.js +8 -0
  76. data/src/html/a.js +110 -0
  77. data/src/html/anchor.js +80 -0
  78. data/src/html/area.js +57 -0
  79. data/src/html/base.js +26 -0
  80. data/src/html/blockquote-q.js +19 -0
  81. data/src/html/body.js +19 -0
  82. data/src/html/button.js +21 -0
  83. data/src/html/canvas.js +14 -0
  84. data/src/html/col-colgroup.js +49 -0
  85. data/src/html/collection.js +72 -0
  86. data/src/html/cookie.js +153 -0
  87. data/src/html/del-ins.js +25 -0
  88. data/src/html/div.js +28 -0
  89. data/src/html/document.js +364 -0
  90. data/src/html/element.js +382 -0
  91. data/src/html/fieldset.js +19 -0
  92. data/src/html/form.js +484 -0
  93. data/src/html/frame.js +89 -0
  94. data/src/html/frameset.js +25 -0
  95. data/src/html/head.js +44 -0
  96. data/src/html/html.js +0 -0
  97. data/src/html/htmlparser.js +340 -0
  98. data/src/html/iframe.js +26 -0
  99. data/src/html/image.js +0 -0
  100. data/src/html/img.js +62 -0
  101. data/src/html/input-elements.js +307 -0
  102. data/src/html/input.js +65 -0
  103. data/src/html/label.js +26 -0
  104. data/src/html/legend.js +19 -0
  105. data/src/html/link.js +82 -0
  106. data/src/html/map.js +22 -0
  107. data/src/html/meta.js +37 -0
  108. data/src/html/object.js +89 -0
  109. data/src/html/optgroup.js +25 -0
  110. data/src/html/option.js +103 -0
  111. data/src/html/param.js +38 -0
  112. data/src/html/script.js +122 -0
  113. data/src/html/select.js +132 -0
  114. data/src/html/style.js +31 -0
  115. data/src/html/table.js +199 -0
  116. data/src/html/tbody-thead-tfoot.js +92 -0
  117. data/src/html/td-th.js +18 -0
  118. data/src/html/textarea.js +31 -0
  119. data/src/html/title.js +20 -0
  120. data/src/html/tr.js +114 -0
  121. data/src/intro.js +141 -0
  122. data/src/outro.js +70 -0
  123. data/src/parser/html5.detailed.js +10762 -0
  124. data/src/parser/html5.min.js +503 -0
  125. data/src/parser/html5.pretty.js +10815 -0
  126. data/src/parser/intro.js +42 -0
  127. data/src/parser/outro.js +9 -0
  128. data/src/platform/core.js +323 -0
  129. data/src/platform/johnson.js +484 -0
  130. data/src/platform/rhino.js +327 -0
  131. data/src/platform/static/intro.js +41 -0
  132. data/src/platform/static/outro.js +30 -0
  133. data/src/profile/aop.js +238 -0
  134. data/src/profile/profile.js +402 -0
  135. data/src/serializer/xml.js +21 -0
  136. data/src/svg/animatedstring.js +25 -0
  137. data/src/svg/document.js +25 -0
  138. data/src/svg/element.js +22 -0
  139. data/src/svg/locatable.js +17 -0
  140. data/src/svg/rect.js +18 -0
  141. data/src/svg/rectelement.js +24 -0
  142. data/src/svg/stylable.js +49 -0
  143. data/src/svg/svgelement.js +22 -0
  144. data/src/svg/transformable.js +15 -0
  145. data/src/window/css.js +15 -0
  146. data/src/window/dialog.js +16 -0
  147. data/src/window/document.js +28 -0
  148. data/src/window/event.js +265 -0
  149. data/src/window/history.js +62 -0
  150. data/src/window/location.js +156 -0
  151. data/src/window/navigator.js +48 -0
  152. data/src/window/screen.js +53 -0
  153. data/src/window/timer.js +21 -0
  154. data/src/window/window.js +284 -0
  155. data/src/window/xhr.js +135 -0
  156. data/src/xpath/expression.js +49 -0
  157. data/src/xpath/implementation.js +2505 -0
  158. data/src/xpath/result.js +67 -0
  159. data/src/xpath/util.js +551 -0
  160. data/src/xpath/xmltoken.js +149 -0
  161. data/src/xslt/COPYING +34 -0
  162. data/src/xslt/ajaxslt-0.8.1/AUTHORS +1 -0
  163. data/src/xslt/ajaxslt-0.8.1/ChangeLog +136 -0
  164. data/src/xslt/ajaxslt-0.8.1/Makefile +49 -0
  165. data/src/xslt/ajaxslt-0.8.1/README +102 -0
  166. data/src/xslt/ajaxslt-0.8.1/TODO +15 -0
  167. data/src/xslt/ajaxslt-0.8.1/dom.js +566 -0
  168. data/src/xslt/ajaxslt-0.8.1/dom_unittest.html +24 -0
  169. data/src/xslt/ajaxslt-0.8.1/dom_unittest.js +131 -0
  170. data/src/xslt/ajaxslt-0.8.1/simplelog.js +79 -0
  171. data/src/xslt/ajaxslt-0.8.1/test/xpath.html +18 -0
  172. data/src/xslt/ajaxslt-0.8.1/test/xpath_script.js +45 -0
  173. data/src/xslt/ajaxslt-0.8.1/test/xslt.html +58 -0
  174. data/src/xslt/ajaxslt-0.8.1/test/xslt_script.js +33 -0
  175. data/src/xslt/ajaxslt-0.8.1/unittestsuite.html +26 -0
  176. data/src/xslt/ajaxslt-0.8.1/xmltoken.js +149 -0
  177. data/src/xslt/ajaxslt-0.8.1/xmltoken_unittest.html +18 -0
  178. data/src/xslt/ajaxslt-0.8.1/xmltoken_unittest.js +811 -0
  179. data/src/xslt/ajaxslt-0.8.1/xpath_unittest.html +39 -0
  180. data/src/xslt/ajaxslt-0.8.1/xpath_unittest.js +557 -0
  181. data/src/xslt/ajaxslt-0.8.1/xpathdebug.js +234 -0
  182. data/src/xslt/ajaxslt-0.8.1/xslt_unittest.html +138 -0
  183. data/src/xslt/ajaxslt-0.8.1/xslt_unittest.js +68 -0
  184. data/src/xslt/implementation.js +625 -0
  185. data/src/xslt/processor.js +37 -0
  186. data/src/xslt/util.js +449 -0
  187. data/test/base64.js +80 -0
  188. data/test/call-load-test.js +15 -0
  189. data/test/data.js +45 -0
  190. data/test/debug.js +53 -0
  191. data/test/firebug/errorIcon.png +0 -0
  192. data/test/firebug/firebug.css +209 -0
  193. data/test/firebug/firebug.html +23 -0
  194. data/test/firebug/firebug.js +672 -0
  195. data/test/firebug/firebugx.js +10 -0
  196. data/test/firebug/infoIcon.png +0 -0
  197. data/test/firebug/warningIcon.png +0 -0
  198. data/test/fixtures/html/events.html +171 -0
  199. data/test/fixtures/html/iframe1.html +46 -0
  200. data/test/fixtures/html/iframe1a.html +46 -0
  201. data/test/fixtures/html/iframe2.html +45 -0
  202. data/test/fixtures/html/iframe3.html +28 -0
  203. data/test/fixtures/html/iframeN.html +57 -0
  204. data/test/fixtures/html/malformed.html +181 -0
  205. data/test/fixtures/html/scope.html +81 -0
  206. data/test/fixtures/html/trivial.html +19 -0
  207. data/test/fixtures/html/with_js.html +26 -0
  208. data/test/fixtures/images/icon-blue.png +0 -0
  209. data/test/fixtures/js/external_script.js +1 -0
  210. data/test/fixtures/js/script.js +1 -0
  211. data/test/fixtures/js/script_error.js +2 -0
  212. data/test/foo.html +8 -0
  213. data/test/foo.js +40 -0
  214. data/test/html/events.html +171 -0
  215. data/test/html/iframe1.html +46 -0
  216. data/test/html/iframe1a.html +46 -0
  217. data/test/html/iframe2.html +45 -0
  218. data/test/html/iframe3.html +30 -0
  219. data/test/html/iframeN.html +57 -0
  220. data/test/html/malformed.html +181 -0
  221. data/test/html/scope.html +87 -0
  222. data/test/html/script.js +1 -0
  223. data/test/html/trivial.html +19 -0
  224. data/test/html/with_js.html +26 -0
  225. data/test/index.html +328 -0
  226. data/test/java-prototype.js +9 -0
  227. data/test/jquery.js +6002 -0
  228. data/test/primary-tests.js +26 -0
  229. data/test/prototype-test.js +13 -0
  230. data/test/qunit.js +61 -0
  231. data/test/qunit/qunit/qunit.css +17 -0
  232. data/test/qunit/qunit/qunit.js +997 -0
  233. data/test/scope.html +19 -0
  234. data/test/scope.rb +24 -0
  235. data/test/smp/dmathieu/index.html +8 -0
  236. data/test/specs/dist/env.spec.js +1534 -0
  237. data/test/specs/envjs.spec.css +46 -0
  238. data/test/specs/parser/html.js +31 -0
  239. data/test/specs/parser/spec.html +40 -0
  240. data/test/specs/parser/xml.js +31 -0
  241. data/test/specs/qunit.bdd.js +210 -0
  242. data/test/specs/qunit.css +17 -0
  243. data/test/specs/qunit.js +997 -0
  244. data/test/specs/template/spec-0.js +31 -0
  245. data/test/specs/template/spec-1.js +31 -0
  246. data/test/specs/template/spec.html +40 -0
  247. data/test/specs/window/css.js +23 -0
  248. data/test/specs/window/dialog.js +25 -0
  249. data/test/specs/window/document.js +23 -0
  250. data/test/specs/window/event.js +25 -0
  251. data/test/specs/window/history.js +34 -0
  252. data/test/specs/window/location.js +34 -0
  253. data/test/specs/window/navigator.js +71 -0
  254. data/test/specs/window/screen.js +42 -0
  255. data/test/specs/window/spec.html +48 -0
  256. data/test/specs/window/timer.js +26 -0
  257. data/test/specs/window/window.js +53 -0
  258. data/test/specs/xhr/spec.html +47 -0
  259. data/test/specs/xhr/xhr.js +31 -0
  260. data/test/test.js +10 -0
  261. data/test/unit/dom.js +44 -0
  262. data/test/unit/elementmembers.js +92 -0
  263. data/test/unit/events.js +195 -0
  264. data/test/unit/fixtures/external_script.js +1 -0
  265. data/test/unit/form.js +40 -0
  266. data/test/unit/iframe.js +234 -0
  267. data/test/unit/insertion.js +23 -0
  268. data/test/unit/multi-window.js +212 -0
  269. data/test/unit/nu.validator.js +34 -0
  270. data/test/unit/onload.js +90 -0
  271. data/test/unit/parser.js +122 -0
  272. data/test/unit/prototypecompat.js +22 -0
  273. data/test/unit/proxy.js +6 -0
  274. data/test/unit/scope.js +209 -0
  275. data/test/unit/timer.js +115 -0
  276. data/test/unit/window.js +57 -0
  277. data/test/x.js +1 -0
  278. data/test/y.js +1 -0
  279. metadata +367 -0
data/.jslintrbrc ADDED
@@ -0,0 +1,30 @@
1
+ { "indent": 2,
2
+ "predef": [ "DOMDocument",
3
+ "DOMElement",
4
+ "SVGRect",
5
+ "SVGRectElement",
6
+ "SVGSVGElement",
7
+ "$w",
8
+ "__extend__",
9
+ "Ruby",
10
+ "debug",
11
+ "print",
12
+ "window",
13
+ "document",
14
+ "setTimeout",
15
+ "load",
16
+ "getFreshScopeObj",
17
+ "getProxyFor",
18
+ "$env",
19
+ "$debug"
20
+ ],
21
+ "white": false,
22
+ "onevar": false,
23
+ "nomen": false,
24
+ "regexp": false,
25
+ "plusplus": false,
26
+ "strict": false,
27
+ "eqeqeq": false,
28
+ "evil": true,
29
+ "gettersetter": true
30
+ }
data/.project ADDED
@@ -0,0 +1,17 @@
1
+ <?xml version="1.0" encoding="UTF-8"?>
2
+ <projectDescription>
3
+ <name>env-js</name>
4
+ <comment></comment>
5
+ <projects>
6
+ </projects>
7
+ <buildSpec>
8
+ <buildCommand>
9
+ <name>org.rubypeople.rdt.core.rubybuilder</name>
10
+ <arguments>
11
+ </arguments>
12
+ </buildCommand>
13
+ </buildSpec>
14
+ <natures>
15
+ <nature>org.rubypeople.rdt.core.rubynature</nature>
16
+ </natures>
17
+ </projectDescription>
data/CHANGELOG.rdoc ADDED
@@ -0,0 +1,57 @@
1
+ === 0.3.8 / 2010-09-14
2
+
3
+ * don't use static variable in cookie processing
4
+ * return name() lower case in html
5
+ * update url even when only hash change
6
+ * don't error out trying to remove event that doesn't exist (orslumen)
7
+ * When serializing multipart/form-data forms we need a pair of \r\n between the boundary and headers and the data value. Not just one. [Murray Steele]
8
+ * Fix for http://github.com/smparkes/env-js/issues/issue/19 [fiann]
9
+ * rejigger things so the xml parser works on XHR requests; pretty much just moving code
10
+ * add some dimensions that query ui needs to (barely) function
11
+ * include document ref in defaultView
12
+ * add some properties that help d&d simulation
13
+
14
+ === 0.3.7 / 2010-07-05
15
+
16
+ * Add support for https (heathkit)
17
+ * allow inserting <select multiple=multiple> tags with innerHTML [Tim Cowlishaw]
18
+
19
+ === 0.3.6 / 2010-05-31
20
+
21
+ * don't be sensitive to method case
22
+ * use different syntax for method lookup to work around Johnson wierdness
23
+ * fix sloppy syntax and handle formless form inputs
24
+
25
+ === 0.3.5 / 2010-05-19
26
+
27
+ * dont remove the gemspec so it can be used via gh (though not commited ... ?)
28
+ * Handle location on external redirects
29
+ * weird table issue; commented out upstream so ...
30
+
31
+ === 0.3.4 / 2010-04-22
32
+
33
+ * Hack file prot urls with hash change (for now); add hash change test
34
+ * add test; otherwise formating only
35
+
36
+ === 0.3.3 / 2010-04-21
37
+
38
+ * fix case where option parent missing (during parse)
39
+ * handle preventDefault (at least simple cases)
40
+
41
+ === 0.3.2 / 2010-04-21
42
+
43
+ * don't error out on empty options and handle options within optgroups
44
+
45
+ === 0.3.1 / 2010-03-30
46
+
47
+ * fix problem with set history fn name
48
+ * add jslintrb infra
49
+
50
+ === 0.3.0 / 2010-03-29
51
+
52
+ * minor changes for dependences and cleanup
53
+ * Tweak reload on about:blank and default waiting
54
+
55
+ === 0.1.0 / 2010-03-11
56
+
57
+ * First Hoe build
@@ -0,0 +1,196 @@
1
+ <!-- Portions (C) International Organization for Standardization 1986
2
+ Permission to copy in any form is granted for use with
3
+ conforming SGML systems and applications as defined in
4
+ ISO 8879, provided this notice is included in all copies.
5
+ -->
6
+ <!-- Character entity set. Typical invocation:
7
+ <!ENTITY % HTMLlat1 PUBLIC
8
+ "-//W3C//ENTITIES Latin 1 for XHTML//EN"
9
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml-lat1.ent">
10
+ %HTMLlat1;
11
+ -->
12
+
13
+ <!ENTITY nbsp "&#160;"> <!-- no-break space = non-breaking space,
14
+ U+00A0 ISOnum -->
15
+ <!ENTITY iexcl "&#161;"> <!-- inverted exclamation mark, U+00A1 ISOnum -->
16
+ <!ENTITY cent "&#162;"> <!-- cent sign, U+00A2 ISOnum -->
17
+ <!ENTITY pound "&#163;"> <!-- pound sign, U+00A3 ISOnum -->
18
+ <!ENTITY curren "&#164;"> <!-- currency sign, U+00A4 ISOnum -->
19
+ <!ENTITY yen "&#165;"> <!-- yen sign = yuan sign, U+00A5 ISOnum -->
20
+ <!ENTITY brvbar "&#166;"> <!-- broken bar = broken vertical bar,
21
+ U+00A6 ISOnum -->
22
+ <!ENTITY sect "&#167;"> <!-- section sign, U+00A7 ISOnum -->
23
+ <!ENTITY uml "&#168;"> <!-- diaeresis = spacing diaeresis,
24
+ U+00A8 ISOdia -->
25
+ <!ENTITY copy "&#169;"> <!-- copyright sign, U+00A9 ISOnum -->
26
+ <!ENTITY ordf "&#170;"> <!-- feminine ordinal indicator, U+00AA ISOnum -->
27
+ <!ENTITY laquo "&#171;"> <!-- left-pointing double angle quotation mark
28
+ = left pointing guillemet, U+00AB ISOnum -->
29
+ <!ENTITY not "&#172;"> <!-- not sign = angled dash,
30
+ U+00AC ISOnum -->
31
+ <!ENTITY shy "&#173;"> <!-- soft hyphen = discretionary hyphen,
32
+ U+00AD ISOnum -->
33
+ <!ENTITY reg "&#174;"> <!-- registered sign = registered trade mark sign,
34
+ U+00AE ISOnum -->
35
+ <!ENTITY macr "&#175;"> <!-- macron = spacing macron = overline
36
+ = APL overbar, U+00AF ISOdia -->
37
+ <!ENTITY deg "&#176;"> <!-- degree sign, U+00B0 ISOnum -->
38
+ <!ENTITY plusmn "&#177;"> <!-- plus-minus sign = plus-or-minus sign,
39
+ U+00B1 ISOnum -->
40
+ <!ENTITY sup2 "&#178;"> <!-- superscript two = superscript digit two
41
+ = squared, U+00B2 ISOnum -->
42
+ <!ENTITY sup3 "&#179;"> <!-- superscript three = superscript digit three
43
+ = cubed, U+00B3 ISOnum -->
44
+ <!ENTITY acute "&#180;"> <!-- acute accent = spacing acute,
45
+ U+00B4 ISOdia -->
46
+ <!ENTITY micro "&#181;"> <!-- micro sign, U+00B5 ISOnum -->
47
+ <!ENTITY para "&#182;"> <!-- pilcrow sign = paragraph sign,
48
+ U+00B6 ISOnum -->
49
+ <!ENTITY middot "&#183;"> <!-- middle dot = Georgian comma
50
+ = Greek middle dot, U+00B7 ISOnum -->
51
+ <!ENTITY cedil "&#184;"> <!-- cedilla = spacing cedilla, U+00B8 ISOdia -->
52
+ <!ENTITY sup1 "&#185;"> <!-- superscript one = superscript digit one,
53
+ U+00B9 ISOnum -->
54
+ <!ENTITY ordm "&#186;"> <!-- masculine ordinal indicator,
55
+ U+00BA ISOnum -->
56
+ <!ENTITY raquo "&#187;"> <!-- right-pointing double angle quotation mark
57
+ = right pointing guillemet, U+00BB ISOnum -->
58
+ <!ENTITY frac14 "&#188;"> <!-- vulgar fraction one quarter
59
+ = fraction one quarter, U+00BC ISOnum -->
60
+ <!ENTITY frac12 "&#189;"> <!-- vulgar fraction one half
61
+ = fraction one half, U+00BD ISOnum -->
62
+ <!ENTITY frac34 "&#190;"> <!-- vulgar fraction three quarters
63
+ = fraction three quarters, U+00BE ISOnum -->
64
+ <!ENTITY iquest "&#191;"> <!-- inverted question mark
65
+ = turned question mark, U+00BF ISOnum -->
66
+ <!ENTITY Agrave "&#192;"> <!-- latin capital letter A with grave
67
+ = latin capital letter A grave,
68
+ U+00C0 ISOlat1 -->
69
+ <!ENTITY Aacute "&#193;"> <!-- latin capital letter A with acute,
70
+ U+00C1 ISOlat1 -->
71
+ <!ENTITY Acirc "&#194;"> <!-- latin capital letter A with circumflex,
72
+ U+00C2 ISOlat1 -->
73
+ <!ENTITY Atilde "&#195;"> <!-- latin capital letter A with tilde,
74
+ U+00C3 ISOlat1 -->
75
+ <!ENTITY Auml "&#196;"> <!-- latin capital letter A with diaeresis,
76
+ U+00C4 ISOlat1 -->
77
+ <!ENTITY Aring "&#197;"> <!-- latin capital letter A with ring above
78
+ = latin capital letter A ring,
79
+ U+00C5 ISOlat1 -->
80
+ <!ENTITY AElig "&#198;"> <!-- latin capital letter AE
81
+ = latin capital ligature AE,
82
+ U+00C6 ISOlat1 -->
83
+ <!ENTITY Ccedil "&#199;"> <!-- latin capital letter C with cedilla,
84
+ U+00C7 ISOlat1 -->
85
+ <!ENTITY Egrave "&#200;"> <!-- latin capital letter E with grave,
86
+ U+00C8 ISOlat1 -->
87
+ <!ENTITY Eacute "&#201;"> <!-- latin capital letter E with acute,
88
+ U+00C9 ISOlat1 -->
89
+ <!ENTITY Ecirc "&#202;"> <!-- latin capital letter E with circumflex,
90
+ U+00CA ISOlat1 -->
91
+ <!ENTITY Euml "&#203;"> <!-- latin capital letter E with diaeresis,
92
+ U+00CB ISOlat1 -->
93
+ <!ENTITY Igrave "&#204;"> <!-- latin capital letter I with grave,
94
+ U+00CC ISOlat1 -->
95
+ <!ENTITY Iacute "&#205;"> <!-- latin capital letter I with acute,
96
+ U+00CD ISOlat1 -->
97
+ <!ENTITY Icirc "&#206;"> <!-- latin capital letter I with circumflex,
98
+ U+00CE ISOlat1 -->
99
+ <!ENTITY Iuml "&#207;"> <!-- latin capital letter I with diaeresis,
100
+ U+00CF ISOlat1 -->
101
+ <!ENTITY ETH "&#208;"> <!-- latin capital letter ETH, U+00D0 ISOlat1 -->
102
+ <!ENTITY Ntilde "&#209;"> <!-- latin capital letter N with tilde,
103
+ U+00D1 ISOlat1 -->
104
+ <!ENTITY Ograve "&#210;"> <!-- latin capital letter O with grave,
105
+ U+00D2 ISOlat1 -->
106
+ <!ENTITY Oacute "&#211;"> <!-- latin capital letter O with acute,
107
+ U+00D3 ISOlat1 -->
108
+ <!ENTITY Ocirc "&#212;"> <!-- latin capital letter O with circumflex,
109
+ U+00D4 ISOlat1 -->
110
+ <!ENTITY Otilde "&#213;"> <!-- latin capital letter O with tilde,
111
+ U+00D5 ISOlat1 -->
112
+ <!ENTITY Ouml "&#214;"> <!-- latin capital letter O with diaeresis,
113
+ U+00D6 ISOlat1 -->
114
+ <!ENTITY times "&#215;"> <!-- multiplication sign, U+00D7 ISOnum -->
115
+ <!ENTITY Oslash "&#216;"> <!-- latin capital letter O with stroke
116
+ = latin capital letter O slash,
117
+ U+00D8 ISOlat1 -->
118
+ <!ENTITY Ugrave "&#217;"> <!-- latin capital letter U with grave,
119
+ U+00D9 ISOlat1 -->
120
+ <!ENTITY Uacute "&#218;"> <!-- latin capital letter U with acute,
121
+ U+00DA ISOlat1 -->
122
+ <!ENTITY Ucirc "&#219;"> <!-- latin capital letter U with circumflex,
123
+ U+00DB ISOlat1 -->
124
+ <!ENTITY Uuml "&#220;"> <!-- latin capital letter U with diaeresis,
125
+ U+00DC ISOlat1 -->
126
+ <!ENTITY Yacute "&#221;"> <!-- latin capital letter Y with acute,
127
+ U+00DD ISOlat1 -->
128
+ <!ENTITY THORN "&#222;"> <!-- latin capital letter THORN,
129
+ U+00DE ISOlat1 -->
130
+ <!ENTITY szlig "&#223;"> <!-- latin small letter sharp s = ess-zed,
131
+ U+00DF ISOlat1 -->
132
+ <!ENTITY agrave "&#224;"> <!-- latin small letter a with grave
133
+ = latin small letter a grave,
134
+ U+00E0 ISOlat1 -->
135
+ <!ENTITY aacute "&#225;"> <!-- latin small letter a with acute,
136
+ U+00E1 ISOlat1 -->
137
+ <!ENTITY acirc "&#226;"> <!-- latin small letter a with circumflex,
138
+ U+00E2 ISOlat1 -->
139
+ <!ENTITY atilde "&#227;"> <!-- latin small letter a with tilde,
140
+ U+00E3 ISOlat1 -->
141
+ <!ENTITY auml "&#228;"> <!-- latin small letter a with diaeresis,
142
+ U+00E4 ISOlat1 -->
143
+ <!ENTITY aring "&#229;"> <!-- latin small letter a with ring above
144
+ = latin small letter a ring,
145
+ U+00E5 ISOlat1 -->
146
+ <!ENTITY aelig "&#230;"> <!-- latin small letter ae
147
+ = latin small ligature ae, U+00E6 ISOlat1 -->
148
+ <!ENTITY ccedil "&#231;"> <!-- latin small letter c with cedilla,
149
+ U+00E7 ISOlat1 -->
150
+ <!ENTITY egrave "&#232;"> <!-- latin small letter e with grave,
151
+ U+00E8 ISOlat1 -->
152
+ <!ENTITY eacute "&#233;"> <!-- latin small letter e with acute,
153
+ U+00E9 ISOlat1 -->
154
+ <!ENTITY ecirc "&#234;"> <!-- latin small letter e with circumflex,
155
+ U+00EA ISOlat1 -->
156
+ <!ENTITY euml "&#235;"> <!-- latin small letter e with diaeresis,
157
+ U+00EB ISOlat1 -->
158
+ <!ENTITY igrave "&#236;"> <!-- latin small letter i with grave,
159
+ U+00EC ISOlat1 -->
160
+ <!ENTITY iacute "&#237;"> <!-- latin small letter i with acute,
161
+ U+00ED ISOlat1 -->
162
+ <!ENTITY icirc "&#238;"> <!-- latin small letter i with circumflex,
163
+ U+00EE ISOlat1 -->
164
+ <!ENTITY iuml "&#239;"> <!-- latin small letter i with diaeresis,
165
+ U+00EF ISOlat1 -->
166
+ <!ENTITY eth "&#240;"> <!-- latin small letter eth, U+00F0 ISOlat1 -->
167
+ <!ENTITY ntilde "&#241;"> <!-- latin small letter n with tilde,
168
+ U+00F1 ISOlat1 -->
169
+ <!ENTITY ograve "&#242;"> <!-- latin small letter o with grave,
170
+ U+00F2 ISOlat1 -->
171
+ <!ENTITY oacute "&#243;"> <!-- latin small letter o with acute,
172
+ U+00F3 ISOlat1 -->
173
+ <!ENTITY ocirc "&#244;"> <!-- latin small letter o with circumflex,
174
+ U+00F4 ISOlat1 -->
175
+ <!ENTITY otilde "&#245;"> <!-- latin small letter o with tilde,
176
+ U+00F5 ISOlat1 -->
177
+ <!ENTITY ouml "&#246;"> <!-- latin small letter o with diaeresis,
178
+ U+00F6 ISOlat1 -->
179
+ <!ENTITY divide "&#247;"> <!-- division sign, U+00F7 ISOnum -->
180
+ <!ENTITY oslash "&#248;"> <!-- latin small letter o with stroke,
181
+ = latin small letter o slash,
182
+ U+00F8 ISOlat1 -->
183
+ <!ENTITY ugrave "&#249;"> <!-- latin small letter u with grave,
184
+ U+00F9 ISOlat1 -->
185
+ <!ENTITY uacute "&#250;"> <!-- latin small letter u with acute,
186
+ U+00FA ISOlat1 -->
187
+ <!ENTITY ucirc "&#251;"> <!-- latin small letter u with circumflex,
188
+ U+00FB ISOlat1 -->
189
+ <!ENTITY uuml "&#252;"> <!-- latin small letter u with diaeresis,
190
+ U+00FC ISOlat1 -->
191
+ <!ENTITY yacute "&#253;"> <!-- latin small letter y with acute,
192
+ U+00FD ISOlat1 -->
193
+ <!ENTITY thorn "&#254;"> <!-- latin small letter thorn,
194
+ U+00FE ISOlat1 -->
195
+ <!ENTITY yuml "&#255;"> <!-- latin small letter y with diaeresis,
196
+ U+00FF ISOlat1 -->
@@ -0,0 +1,80 @@
1
+ <!-- Special characters for XHTML -->
2
+
3
+ <!-- Character entity set. Typical invocation:
4
+ <!ENTITY % HTMLspecial PUBLIC
5
+ "-//W3C//ENTITIES Special for XHTML//EN"
6
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml-special.ent">
7
+ %HTMLspecial;
8
+ -->
9
+
10
+ <!-- Portions (C) International Organization for Standardization 1986:
11
+ Permission to copy in any form is granted for use with
12
+ conforming SGML systems and applications as defined in
13
+ ISO 8879, provided this notice is included in all copies.
14
+ -->
15
+
16
+ <!-- Relevant ISO entity set is given unless names are newly introduced.
17
+ New names (i.e., not in ISO 8879 list) do not clash with any
18
+ existing ISO 8879 entity names. ISO 10646 character numbers
19
+ are given for each character, in hex. values are decimal
20
+ conversions of the ISO 10646 values and refer to the document
21
+ character set. Names are Unicode names.
22
+ -->
23
+
24
+ <!-- C0 Controls and Basic Latin -->
25
+ <!ENTITY quot "&#34;"> <!-- quotation mark, U+0022 ISOnum -->
26
+ <!ENTITY amp "&#38;#38;"> <!-- ampersand, U+0026 ISOnum -->
27
+ <!ENTITY lt "&#38;#60;"> <!-- less-than sign, U+003C ISOnum -->
28
+ <!ENTITY gt "&#62;"> <!-- greater-than sign, U+003E ISOnum -->
29
+ <!ENTITY apos "&#39;"> <!-- apostrophe = APL quote, U+0027 ISOnum -->
30
+
31
+ <!-- Latin Extended-A -->
32
+ <!ENTITY OElig "&#338;"> <!-- latin capital ligature OE,
33
+ U+0152 ISOlat2 -->
34
+ <!ENTITY oelig "&#339;"> <!-- latin small ligature oe, U+0153 ISOlat2 -->
35
+ <!-- ligature is a misnomer, this is a separate character in some languages -->
36
+ <!ENTITY Scaron "&#352;"> <!-- latin capital letter S with caron,
37
+ U+0160 ISOlat2 -->
38
+ <!ENTITY scaron "&#353;"> <!-- latin small letter s with caron,
39
+ U+0161 ISOlat2 -->
40
+ <!ENTITY Yuml "&#376;"> <!-- latin capital letter Y with diaeresis,
41
+ U+0178 ISOlat2 -->
42
+
43
+ <!-- Spacing Modifier Letters -->
44
+ <!ENTITY circ "&#710;"> <!-- modifier letter circumflex accent,
45
+ U+02C6 ISOpub -->
46
+ <!ENTITY tilde "&#732;"> <!-- small tilde, U+02DC ISOdia -->
47
+
48
+ <!-- General Punctuation -->
49
+ <!ENTITY ensp "&#8194;"> <!-- en space, U+2002 ISOpub -->
50
+ <!ENTITY emsp "&#8195;"> <!-- em space, U+2003 ISOpub -->
51
+ <!ENTITY thinsp "&#8201;"> <!-- thin space, U+2009 ISOpub -->
52
+ <!ENTITY zwnj "&#8204;"> <!-- zero width non-joiner,
53
+ U+200C NEW RFC 2070 -->
54
+ <!ENTITY zwj "&#8205;"> <!-- zero width joiner, U+200D NEW RFC 2070 -->
55
+ <!ENTITY lrm "&#8206;"> <!-- left-to-right mark, U+200E NEW RFC 2070 -->
56
+ <!ENTITY rlm "&#8207;"> <!-- right-to-left mark, U+200F NEW RFC 2070 -->
57
+ <!ENTITY ndash "&#8211;"> <!-- en dash, U+2013 ISOpub -->
58
+ <!ENTITY mdash "&#8212;"> <!-- em dash, U+2014 ISOpub -->
59
+ <!ENTITY lsquo "&#8216;"> <!-- left single quotation mark,
60
+ U+2018 ISOnum -->
61
+ <!ENTITY rsquo "&#8217;"> <!-- right single quotation mark,
62
+ U+2019 ISOnum -->
63
+ <!ENTITY sbquo "&#8218;"> <!-- single low-9 quotation mark, U+201A NEW -->
64
+ <!ENTITY ldquo "&#8220;"> <!-- left double quotation mark,
65
+ U+201C ISOnum -->
66
+ <!ENTITY rdquo "&#8221;"> <!-- right double quotation mark,
67
+ U+201D ISOnum -->
68
+ <!ENTITY bdquo "&#8222;"> <!-- double low-9 quotation mark, U+201E NEW -->
69
+ <!ENTITY dagger "&#8224;"> <!-- dagger, U+2020 ISOpub -->
70
+ <!ENTITY Dagger "&#8225;"> <!-- double dagger, U+2021 ISOpub -->
71
+ <!ENTITY permil "&#8240;"> <!-- per mille sign, U+2030 ISOtech -->
72
+ <!ENTITY lsaquo "&#8249;"> <!-- single left-pointing angle quotation mark,
73
+ U+2039 ISO proposed -->
74
+ <!-- lsaquo is proposed but not yet ISO standardized -->
75
+ <!ENTITY rsaquo "&#8250;"> <!-- single right-pointing angle quotation mark,
76
+ U+203A ISO proposed -->
77
+ <!-- rsaquo is proposed but not yet ISO standardized -->
78
+
79
+ <!-- Currency Symbols -->
80
+ <!ENTITY euro "&#8364;"> <!-- euro sign, U+20AC NEW -->
@@ -0,0 +1,237 @@
1
+ <!-- Mathematical, Greek and Symbolic characters for XHTML -->
2
+
3
+ <!-- Character entity set. Typical invocation:
4
+ <!ENTITY % HTMLsymbol PUBLIC
5
+ "-//W3C//ENTITIES Symbols for XHTML//EN"
6
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml-symbol.ent">
7
+ %HTMLsymbol;
8
+ -->
9
+
10
+ <!-- Portions (C) International Organization for Standardization 1986:
11
+ Permission to copy in any form is granted for use with
12
+ conforming SGML systems and applications as defined in
13
+ ISO 8879, provided this notice is included in all copies.
14
+ -->
15
+
16
+ <!-- Relevant ISO entity set is given unless names are newly introduced.
17
+ New names (i.e., not in ISO 8879 list) do not clash with any
18
+ existing ISO 8879 entity names. ISO 10646 character numbers
19
+ are given for each character, in hex. values are decimal
20
+ conversions of the ISO 10646 values and refer to the document
21
+ character set. Names are Unicode names.
22
+ -->
23
+
24
+ <!-- Latin Extended-B -->
25
+ <!ENTITY fnof "&#402;"> <!-- latin small letter f with hook = function
26
+ = florin, U+0192 ISOtech -->
27
+
28
+ <!-- Greek -->
29
+ <!ENTITY Alpha "&#913;"> <!-- greek capital letter alpha, U+0391 -->
30
+ <!ENTITY Beta "&#914;"> <!-- greek capital letter beta, U+0392 -->
31
+ <!ENTITY Gamma "&#915;"> <!-- greek capital letter gamma,
32
+ U+0393 ISOgrk3 -->
33
+ <!ENTITY Delta "&#916;"> <!-- greek capital letter delta,
34
+ U+0394 ISOgrk3 -->
35
+ <!ENTITY Epsilon "&#917;"> <!-- greek capital letter epsilon, U+0395 -->
36
+ <!ENTITY Zeta "&#918;"> <!-- greek capital letter zeta, U+0396 -->
37
+ <!ENTITY Eta "&#919;"> <!-- greek capital letter eta, U+0397 -->
38
+ <!ENTITY Theta "&#920;"> <!-- greek capital letter theta,
39
+ U+0398 ISOgrk3 -->
40
+ <!ENTITY Iota "&#921;"> <!-- greek capital letter iota, U+0399 -->
41
+ <!ENTITY Kappa "&#922;"> <!-- greek capital letter kappa, U+039A -->
42
+ <!ENTITY Lambda "&#923;"> <!-- greek capital letter lamda,
43
+ U+039B ISOgrk3 -->
44
+ <!ENTITY Mu "&#924;"> <!-- greek capital letter mu, U+039C -->
45
+ <!ENTITY Nu "&#925;"> <!-- greek capital letter nu, U+039D -->
46
+ <!ENTITY Xi "&#926;"> <!-- greek capital letter xi, U+039E ISOgrk3 -->
47
+ <!ENTITY Omicron "&#927;"> <!-- greek capital letter omicron, U+039F -->
48
+ <!ENTITY Pi "&#928;"> <!-- greek capital letter pi, U+03A0 ISOgrk3 -->
49
+ <!ENTITY Rho "&#929;"> <!-- greek capital letter rho, U+03A1 -->
50
+ <!-- there is no Sigmaf, and no U+03A2 character either -->
51
+ <!ENTITY Sigma "&#931;"> <!-- greek capital letter sigma,
52
+ U+03A3 ISOgrk3 -->
53
+ <!ENTITY Tau "&#932;"> <!-- greek capital letter tau, U+03A4 -->
54
+ <!ENTITY Upsilon "&#933;"> <!-- greek capital letter upsilon,
55
+ U+03A5 ISOgrk3 -->
56
+ <!ENTITY Phi "&#934;"> <!-- greek capital letter phi,
57
+ U+03A6 ISOgrk3 -->
58
+ <!ENTITY Chi "&#935;"> <!-- greek capital letter chi, U+03A7 -->
59
+ <!ENTITY Psi "&#936;"> <!-- greek capital letter psi,
60
+ U+03A8 ISOgrk3 -->
61
+ <!ENTITY Omega "&#937;"> <!-- greek capital letter omega,
62
+ U+03A9 ISOgrk3 -->
63
+
64
+ <!ENTITY alpha "&#945;"> <!-- greek small letter alpha,
65
+ U+03B1 ISOgrk3 -->
66
+ <!ENTITY beta "&#946;"> <!-- greek small letter beta, U+03B2 ISOgrk3 -->
67
+ <!ENTITY gamma "&#947;"> <!-- greek small letter gamma,
68
+ U+03B3 ISOgrk3 -->
69
+ <!ENTITY delta "&#948;"> <!-- greek small letter delta,
70
+ U+03B4 ISOgrk3 -->
71
+ <!ENTITY epsilon "&#949;"> <!-- greek small letter epsilon,
72
+ U+03B5 ISOgrk3 -->
73
+ <!ENTITY zeta "&#950;"> <!-- greek small letter zeta, U+03B6 ISOgrk3 -->
74
+ <!ENTITY eta "&#951;"> <!-- greek small letter eta, U+03B7 ISOgrk3 -->
75
+ <!ENTITY theta "&#952;"> <!-- greek small letter theta,
76
+ U+03B8 ISOgrk3 -->
77
+ <!ENTITY iota "&#953;"> <!-- greek small letter iota, U+03B9 ISOgrk3 -->
78
+ <!ENTITY kappa "&#954;"> <!-- greek small letter kappa,
79
+ U+03BA ISOgrk3 -->
80
+ <!ENTITY lambda "&#955;"> <!-- greek small letter lamda,
81
+ U+03BB ISOgrk3 -->
82
+ <!ENTITY mu "&#956;"> <!-- greek small letter mu, U+03BC ISOgrk3 -->
83
+ <!ENTITY nu "&#957;"> <!-- greek small letter nu, U+03BD ISOgrk3 -->
84
+ <!ENTITY xi "&#958;"> <!-- greek small letter xi, U+03BE ISOgrk3 -->
85
+ <!ENTITY omicron "&#959;"> <!-- greek small letter omicron, U+03BF NEW -->
86
+ <!ENTITY pi "&#960;"> <!-- greek small letter pi, U+03C0 ISOgrk3 -->
87
+ <!ENTITY rho "&#961;"> <!-- greek small letter rho, U+03C1 ISOgrk3 -->
88
+ <!ENTITY sigmaf "&#962;"> <!-- greek small letter final sigma,
89
+ U+03C2 ISOgrk3 -->
90
+ <!ENTITY sigma "&#963;"> <!-- greek small letter sigma,
91
+ U+03C3 ISOgrk3 -->
92
+ <!ENTITY tau "&#964;"> <!-- greek small letter tau, U+03C4 ISOgrk3 -->
93
+ <!ENTITY upsilon "&#965;"> <!-- greek small letter upsilon,
94
+ U+03C5 ISOgrk3 -->
95
+ <!ENTITY phi "&#966;"> <!-- greek small letter phi, U+03C6 ISOgrk3 -->
96
+ <!ENTITY chi "&#967;"> <!-- greek small letter chi, U+03C7 ISOgrk3 -->
97
+ <!ENTITY psi "&#968;"> <!-- greek small letter psi, U+03C8 ISOgrk3 -->
98
+ <!ENTITY omega "&#969;"> <!-- greek small letter omega,
99
+ U+03C9 ISOgrk3 -->
100
+ <!ENTITY thetasym "&#977;"> <!-- greek theta symbol,
101
+ U+03D1 NEW -->
102
+ <!ENTITY upsih "&#978;"> <!-- greek upsilon with hook symbol,
103
+ U+03D2 NEW -->
104
+ <!ENTITY piv "&#982;"> <!-- greek pi symbol, U+03D6 ISOgrk3 -->
105
+
106
+ <!-- General Punctuation -->
107
+ <!ENTITY bull "&#8226;"> <!-- bullet = black small circle,
108
+ U+2022 ISOpub -->
109
+ <!-- bullet is NOT the same as bullet operator, U+2219 -->
110
+ <!ENTITY hellip "&#8230;"> <!-- horizontal ellipsis = three dot leader,
111
+ U+2026 ISOpub -->
112
+ <!ENTITY prime "&#8242;"> <!-- prime = minutes = feet, U+2032 ISOtech -->
113
+ <!ENTITY Prime "&#8243;"> <!-- double prime = seconds = inches,
114
+ U+2033 ISOtech -->
115
+ <!ENTITY oline "&#8254;"> <!-- overline = spacing overscore,
116
+ U+203E NEW -->
117
+ <!ENTITY frasl "&#8260;"> <!-- fraction slash, U+2044 NEW -->
118
+
119
+ <!-- Letterlike Symbols -->
120
+ <!ENTITY weierp "&#8472;"> <!-- script capital P = power set
121
+ = Weierstrass p, U+2118 ISOamso -->
122
+ <!ENTITY image "&#8465;"> <!-- black-letter capital I = imaginary part,
123
+ U+2111 ISOamso -->
124
+ <!ENTITY real "&#8476;"> <!-- black-letter capital R = real part symbol,
125
+ U+211C ISOamso -->
126
+ <!ENTITY trade "&#8482;"> <!-- trade mark sign, U+2122 ISOnum -->
127
+ <!ENTITY alefsym "&#8501;"> <!-- alef symbol = first transfinite cardinal,
128
+ U+2135 NEW -->
129
+ <!-- alef symbol is NOT the same as hebrew letter alef,
130
+ U+05D0 although the same glyph could be used to depict both characters -->
131
+
132
+ <!-- Arrows -->
133
+ <!ENTITY larr "&#8592;"> <!-- leftwards arrow, U+2190 ISOnum -->
134
+ <!ENTITY uarr "&#8593;"> <!-- upwards arrow, U+2191 ISOnum-->
135
+ <!ENTITY rarr "&#8594;"> <!-- rightwards arrow, U+2192 ISOnum -->
136
+ <!ENTITY darr "&#8595;"> <!-- downwards arrow, U+2193 ISOnum -->
137
+ <!ENTITY harr "&#8596;"> <!-- left right arrow, U+2194 ISOamsa -->
138
+ <!ENTITY crarr "&#8629;"> <!-- downwards arrow with corner leftwards
139
+ = carriage return, U+21B5 NEW -->
140
+ <!ENTITY lArr "&#8656;"> <!-- leftwards double arrow, U+21D0 ISOtech -->
141
+ <!-- Unicode does not say that lArr is the same as the 'is implied by' arrow
142
+ but also does not have any other character for that function. So lArr can
143
+ be used for 'is implied by' as ISOtech suggests -->
144
+ <!ENTITY uArr "&#8657;"> <!-- upwards double arrow, U+21D1 ISOamsa -->
145
+ <!ENTITY rArr "&#8658;"> <!-- rightwards double arrow,
146
+ U+21D2 ISOtech -->
147
+ <!-- Unicode does not say this is the 'implies' character but does not have
148
+ another character with this function so rArr can be used for 'implies'
149
+ as ISOtech suggests -->
150
+ <!ENTITY dArr "&#8659;"> <!-- downwards double arrow, U+21D3 ISOamsa -->
151
+ <!ENTITY hArr "&#8660;"> <!-- left right double arrow,
152
+ U+21D4 ISOamsa -->
153
+
154
+ <!-- Mathematical Operators -->
155
+ <!ENTITY forall "&#8704;"> <!-- for all, U+2200 ISOtech -->
156
+ <!ENTITY part "&#8706;"> <!-- partial differential, U+2202 ISOtech -->
157
+ <!ENTITY exist "&#8707;"> <!-- there exists, U+2203 ISOtech -->
158
+ <!ENTITY empty "&#8709;"> <!-- empty set = null set, U+2205 ISOamso -->
159
+ <!ENTITY nabla "&#8711;"> <!-- nabla = backward difference,
160
+ U+2207 ISOtech -->
161
+ <!ENTITY isin "&#8712;"> <!-- element of, U+2208 ISOtech -->
162
+ <!ENTITY notin "&#8713;"> <!-- not an element of, U+2209 ISOtech -->
163
+ <!ENTITY ni "&#8715;"> <!-- contains as member, U+220B ISOtech -->
164
+ <!ENTITY prod "&#8719;"> <!-- n-ary product = product sign,
165
+ U+220F ISOamsb -->
166
+ <!-- prod is NOT the same character as U+03A0 'greek capital letter pi' though
167
+ the same glyph might be used for both -->
168
+ <!ENTITY sum "&#8721;"> <!-- n-ary summation, U+2211 ISOamsb -->
169
+ <!-- sum is NOT the same character as U+03A3 'greek capital letter sigma'
170
+ though the same glyph might be used for both -->
171
+ <!ENTITY minus "&#8722;"> <!-- minus sign, U+2212 ISOtech -->
172
+ <!ENTITY lowast "&#8727;"> <!-- asterisk operator, U+2217 ISOtech -->
173
+ <!ENTITY radic "&#8730;"> <!-- square root = radical sign,
174
+ U+221A ISOtech -->
175
+ <!ENTITY prop "&#8733;"> <!-- proportional to, U+221D ISOtech -->
176
+ <!ENTITY infin "&#8734;"> <!-- infinity, U+221E ISOtech -->
177
+ <!ENTITY ang "&#8736;"> <!-- angle, U+2220 ISOamso -->
178
+ <!ENTITY and "&#8743;"> <!-- logical and = wedge, U+2227 ISOtech -->
179
+ <!ENTITY or "&#8744;"> <!-- logical or = vee, U+2228 ISOtech -->
180
+ <!ENTITY cap "&#8745;"> <!-- intersection = cap, U+2229 ISOtech -->
181
+ <!ENTITY cup "&#8746;"> <!-- union = cup, U+222A ISOtech -->
182
+ <!ENTITY int "&#8747;"> <!-- integral, U+222B ISOtech -->
183
+ <!ENTITY there4 "&#8756;"> <!-- therefore, U+2234 ISOtech -->
184
+ <!ENTITY sim "&#8764;"> <!-- tilde operator = varies with = similar to,
185
+ U+223C ISOtech -->
186
+ <!-- tilde operator is NOT the same character as the tilde, U+007E,
187
+ although the same glyph might be used to represent both -->
188
+ <!ENTITY cong "&#8773;"> <!-- approximately equal to, U+2245 ISOtech -->
189
+ <!ENTITY asymp "&#8776;"> <!-- almost equal to = asymptotic to,
190
+ U+2248 ISOamsr -->
191
+ <!ENTITY ne "&#8800;"> <!-- not equal to, U+2260 ISOtech -->
192
+ <!ENTITY equiv "&#8801;"> <!-- identical to, U+2261 ISOtech -->
193
+ <!ENTITY le "&#8804;"> <!-- less-than or equal to, U+2264 ISOtech -->
194
+ <!ENTITY ge "&#8805;"> <!-- greater-than or equal to,
195
+ U+2265 ISOtech -->
196
+ <!ENTITY sub "&#8834;"> <!-- subset of, U+2282 ISOtech -->
197
+ <!ENTITY sup "&#8835;"> <!-- superset of, U+2283 ISOtech -->
198
+ <!ENTITY nsub "&#8836;"> <!-- not a subset of, U+2284 ISOamsn -->
199
+ <!ENTITY sube "&#8838;"> <!-- subset of or equal to, U+2286 ISOtech -->
200
+ <!ENTITY supe "&#8839;"> <!-- superset of or equal to,
201
+ U+2287 ISOtech -->
202
+ <!ENTITY oplus "&#8853;"> <!-- circled plus = direct sum,
203
+ U+2295 ISOamsb -->
204
+ <!ENTITY otimes "&#8855;"> <!-- circled times = vector product,
205
+ U+2297 ISOamsb -->
206
+ <!ENTITY perp "&#8869;"> <!-- up tack = orthogonal to = perpendicular,
207
+ U+22A5 ISOtech -->
208
+ <!ENTITY sdot "&#8901;"> <!-- dot operator, U+22C5 ISOamsb -->
209
+ <!-- dot operator is NOT the same character as U+00B7 middle dot -->
210
+
211
+ <!-- Miscellaneous Technical -->
212
+ <!ENTITY lceil "&#8968;"> <!-- left ceiling = APL upstile,
213
+ U+2308 ISOamsc -->
214
+ <!ENTITY rceil "&#8969;"> <!-- right ceiling, U+2309 ISOamsc -->
215
+ <!ENTITY lfloor "&#8970;"> <!-- left floor = APL downstile,
216
+ U+230A ISOamsc -->
217
+ <!ENTITY rfloor "&#8971;"> <!-- right floor, U+230B ISOamsc -->
218
+ <!ENTITY lang "&#9001;"> <!-- left-pointing angle bracket = bra,
219
+ U+2329 ISOtech -->
220
+ <!-- lang is NOT the same character as U+003C 'less than sign'
221
+ or U+2039 'single left-pointing angle quotation mark' -->
222
+ <!ENTITY rang "&#9002;"> <!-- right-pointing angle bracket = ket,
223
+ U+232A ISOtech -->
224
+ <!-- rang is NOT the same character as U+003E 'greater than sign'
225
+ or U+203A 'single right-pointing angle quotation mark' -->
226
+
227
+ <!-- Geometric Shapes -->
228
+ <!ENTITY loz "&#9674;"> <!-- lozenge, U+25CA ISOpub -->
229
+
230
+ <!-- Miscellaneous Symbols -->
231
+ <!ENTITY spades "&#9824;"> <!-- black spade suit, U+2660 ISOpub -->
232
+ <!-- black here seems to mean filled as opposed to hollow -->
233
+ <!ENTITY clubs "&#9827;"> <!-- black club suit = shamrock,
234
+ U+2663 ISOpub -->
235
+ <!ENTITY hearts "&#9829;"> <!-- black heart suit = valentine,
236
+ U+2665 ISOpub -->
237
+ <!ENTITY diams "&#9830;"> <!-- black diamond suit, U+2666 ISOpub -->