doc.dtd

   1 <!ENTITY % inline "#PCDATA | emph | strong | code | remark | sub | sup | label | ref | page | reference | index | newline | newpage | LaTeX">
   2
   3 <!ENTITY % block "para | quote | itemize | enumerate | description | verbatim | footnote | picture | include | table">
   4
   5 <!ELEMENT doc (book | article | report)>
   6 <!ATTLIST doc
   7     style          CDATA  #IMPLIED
   8     latexoptions   CDATA   "a4paper"
   9 >
  10
  11 <!ELEMENT book (titlepage?, toc?, (chapter|include)*)>
  12 <!ELEMENT article (titlepage?, toc?, (section|include)*)>
  13 <!ELEMENT report (titlepage?, toc?, (chapter|include)*)>
  14
  15 <!ELEMENT titlepage (title, subtitle*, author+, date?, docinfo?, abstract?)>
  16
  17 <!ELEMENT title (%inline;)*>
  18 <!ELEMENT subtitle (%inline;)*>
  19 <!ELEMENT author (%inline;)*>
  20 <!ELEMENT date (%inline;)*>
  21 <!ELEMENT docinfo (infoitem)+>
  22 <!ELEMENT infoitem (%inline;)*>
  23 <!ATTLIST infoitem
  24        label    CDATA    #IMPLIED
  25 >
  26
  27 <!ELEMENT abstract (%inline;)*>
  28
  29 <!ELEMENT toc EMPTY>
  30
  31 <!--  Document structure: chapters and sections -->
  32
  33 <!ELEMENT chapter (heading, (%block;)*, section*)>
  34 <!ELEMENT section (heading, (%block;)*, subsection*)>
  35 <!ELEMENT subsection (heading, (%block;)*, subsubsection*)>
  36 <!ELEMENT subsubsection (heading, (%block;)*, paragraph*)>
  37 <!ELEMENT paragraph (heading, (%block;)*, subparagraph*)>
  38 <!ELEMENT subparagraph (heading, (%block;)*)>
  39 <!ELEMENT heading (%inline;)*>
  40
  41 <!--  Block level content  -->
  42
  43 <!ELEMENT para (%inline;|%block;)*>
  44 <!ELEMENT quote (%inline;|%block;)*>
  45 <!ELEMENT itemize (item)*>
  46 <!ELEMENT enumerate (item)*>
  47 <!ELEMENT description (item)*>
  48 <!ELEMENT item (%inline;|%block;)*>
  49 <!ATTLIST item
  50        tag     CDATA    #IMPLIED
  51 >
  52 <!ELEMENT verbatim (#PCDATA)>
  53 <!ELEMENT footnote (%inline;)*>
  54
  55 <!--  Inline content: type styles -->
  56
  57 <!ELEMENT emph (%inline;)*>
  58 <!ELEMENT strong (%inline;)*>
  59 <!ELEMENT code (%inline;)*>
  60 <!ELEMENT remark (%inline;)*>
  61 <!ELEMENT sub (%inline;)*>
  62 <!ELEMENT sup (%inline;)*>
  63
  64 <!ELEMENT newline EMPTY>
  65 <!ELEMENT newpage EMPTY>
  66
  67 <!--   Internal and external references -->
  68
  69 <!ELEMENT label EMPTY>
  70 <!ATTLIST label
  71    name   ID     #REQUIRED
  72 >
  73
  74 <!ELEMENT index (#PCDATA)>
  75
  76 <!ELEMENT ref (%inline;)*>
  77 <!ATTLIST ref
  78    to     IDREF  #REQUIRED
  79 >
  80
  81 <!ELEMENT page (%inline;)*>
  82 <!ATTLIST page
  83    to     IDREF  #REQUIRED
  84 >
  85
  86 <!ELEMENT reference (%inline;)*>
  87 <!ATTLIST reference
  88       href    CDATA   #REQUIRED
  89       xml:link  CDATA   #IMPLIED
  90 >
  91
  92 <!--  Tables  -->
  93
  94 <!ELEMENT table (thead?,row)+>
  95 <!ELEMENT row (col)+>
  96 <!ELEMENT thead (col)+>
  97 <!ELEMENT col (%inline;|%block;)*>
  98
  99 <!ATTLIST table
 100    cpos   CDATA  #REQUIRED
 101 >
 102
 103 <!ELEMENT picture EMPTY>
 104 <!ATTLIST picture
 105    src    CDATA    #IMPLIED
 106    eps    CDATA    #IMPLIED
 107    scale  CDATA    "1.0"
 108 >
 109
 110 <!ELEMENT include EMPTY>
 111 <!ATTLIST include
 112       href    CDATA   #REQUIRED
 113 >
 114
 115 <!ELEMENT LaTeX EMPTY>
 116 <!ATTLIST LaTeX
 117       command   CDATA   #REQUIRED
 118 >
 119
 120
 121 <!--
 122
 123    The entities define most of the well known unicode characters
 124
 125 -->
 126
 127 <!ENTITY nbsp   "&#160;"> <!-- no-break space = non-breaking space,
 128                                   U+00A0 ISOnum -->
 129 <!ENTITY iexcl  "&#161;"> <!-- inverted exclamation mark, U+00A1 ISOnum -->
 130 <!ENTITY cent   "&#162;"> <!-- cent sign, U+00A2 ISOnum -->
 131 <!ENTITY pound  "&#163;"> <!-- pound sign, U+00A3 ISOnum -->
 132 <!ENTITY curren "&#164;"> <!-- currency sign, U+00A4 ISOnum -->
 133 <!ENTITY yen    "&#165;"> <!-- yen sign = yuan sign, U+00A5 ISOnum -->
 134 <!ENTITY brvbar "&#166;"> <!-- broken bar = broken vertical bar,
 135                                   U+00A6 ISOnum -->
 136 <!ENTITY sect   "&#167;"> <!-- section sign, U+00A7 ISOnum -->
 137 <!ENTITY uml    "&#168;"> <!-- diaeresis = spacing diaeresis,
 138                                   U+00A8 ISOdia -->
 139 <!ENTITY copy   "&#169;"> <!-- copyright sign, U+00A9 ISOnum -->
 140 <!ENTITY ordf   "&#170;"> <!-- feminine ordinal indicator, U+00AA ISOnum -->
 141 <!ENTITY laquo  "&#171;"> <!-- left-pointing double angle quotation mark
 142                                   = left pointing guillemet, U+00AB ISOnum -->
 143 <!ENTITY not    "&#172;"> <!-- not sign, U+00AC ISOnum -->
 144 <!ENTITY shy    "&#173;"> <!-- soft hyphen = discretionary hyphen,
 145                                   U+00AD ISOnum -->
 146 <!ENTITY reg    "&#174;"> <!-- registered sign = registered trade mark sign,
 147                                   U+00AE ISOnum -->
 148 <!ENTITY macr   "&#175;"> <!-- macron = spacing macron = overline
 149                                   = APL overbar, U+00AF ISOdia -->
 150 <!ENTITY deg    "&#176;"> <!-- degree sign, U+00B0 ISOnum -->
 151 <!ENTITY plusmn "&#177;"> <!-- plus-minus sign = plus-or-minus sign,
 152                                   U+00B1 ISOnum -->
 153 <!ENTITY sup2   "&#178;"> <!-- superscript two = superscript digit two
 154                                   = squared, U+00B2 ISOnum -->
 155 <!ENTITY sup3   "&#179;"> <!-- superscript three = superscript digit three
 156                                   = cubed, U+00B3 ISOnum -->
 157 <!ENTITY acute  "&#180;"> <!-- acute accent = spacing acute,
 158                                   U+00B4 ISOdia -->
 159 <!ENTITY micro  "&#181;"> <!-- micro sign, U+00B5 ISOnum -->
 160 <!ENTITY para   "&#182;"> <!-- pilcrow sign = paragraph sign,
 161                                   U+00B6 ISOnum -->
 162 <!ENTITY middot "&#183;"> <!-- middle dot = Georgian comma
 163                                   = Greek middle dot, U+00B7 ISOnum -->
 164 <!ENTITY cedil  "&#184;"> <!-- cedilla = spacing cedilla, U+00B8 ISOdia -->
 165 <!ENTITY sup1   "&#185;"> <!-- superscript one = superscript digit one,
 166                                   U+00B9 ISOnum -->
 167 <!ENTITY ordm   "&#186;"> <!-- masculine ordinal indicator,
 168                                   U+00BA ISOnum -->
 169 <!ENTITY raquo  "&#187;"> <!-- right-pointing double angle quotation mark
 170                                   = right pointing guillemet, U+00BB ISOnum -->
 171 <!ENTITY frac14 "&#188;"> <!-- vulgar fraction one quarter
 172                                   = fraction one quarter, U+00BC ISOnum -->
 173 <!ENTITY frac12 "&#189;"> <!-- vulgar fraction one half
 174                                   = fraction one half, U+00BD ISOnum -->
 175 <!ENTITY frac34 "&#190;"> <!-- vulgar fraction three quarters
 176                                   = fraction three quarters, U+00BE ISOnum -->
 177 <!ENTITY iquest "&#191;"> <!-- inverted question mark
 178                                   = turned question mark, U+00BF ISOnum -->
 179 <!ENTITY Agrave "&#192;"> <!-- latin capital letter A with grave
 180                                   = latin capital letter A grave,
 181                                   U+00C0 ISOlat1 -->
 182 <!ENTITY Aacute "&#193;"> <!-- latin capital letter A with acute,
 183                                   U+00C1 ISOlat1 -->
 184 <!ENTITY Acirc  "&#194;"> <!-- latin capital letter A with circumflex,
 185                                   U+00C2 ISOlat1 -->
 186 <!ENTITY Atilde "&#195;"> <!-- latin capital letter A with tilde,
 187                                   U+00C3 ISOlat1 -->
 188 <!ENTITY Auml   "&#196;"> <!-- latin capital letter A with diaeresis,
 189                                   U+00C4 ISOlat1 -->
 190 <!ENTITY Aring  "&#197;"> <!-- latin capital letter A with ring above
 191                                   = latin capital letter A ring,
 192                                   U+00C5 ISOlat1 -->
 193 <!ENTITY AElig  "&#198;"> <!-- latin capital letter AE
 194                                   = latin capital ligature AE,
 195                                   U+00C6 ISOlat1 -->
 196 <!ENTITY Ccedil "&#199;"> <!-- latin capital letter C with cedilla,
 197                                   U+00C7 ISOlat1 -->
 198 <!ENTITY Egrave "&#200;"> <!-- latin capital letter E with grave,
 199                                   U+00C8 ISOlat1 -->
 200 <!ENTITY Eacute "&#201;"> <!-- latin capital letter E with acute,
 201                                   U+00C9 ISOlat1 -->
 202 <!ENTITY Ecirc  "&#202;"> <!-- latin capital letter E with circumflex,
 203                                   U+00CA ISOlat1 -->
 204 <!ENTITY Euml   "&#203;"> <!-- latin capital letter E with diaeresis,
 205                                   U+00CB ISOlat1 -->
 206 <!ENTITY Igrave "&#204;"> <!-- latin capital letter I with grave,
 207                                   U+00CC ISOlat1 -->
 208 <!ENTITY Iacute "&#205;"> <!-- latin capital letter I with acute,
 209                                   U+00CD ISOlat1 -->
 210 <!ENTITY Icirc  "&#206;"> <!-- latin capital letter I with circumflex,
 211                                   U+00CE ISOlat1 -->
 212 <!ENTITY Iuml   "&#207;"> <!-- latin capital letter I with diaeresis,
 213                                   U+00CF ISOlat1 -->
 214 <!ENTITY ETH    "&#208;"> <!-- latin capital letter ETH, U+00D0 ISOlat1 -->
 215 <!ENTITY Ntilde "&#209;"> <!-- latin capital letter N with tilde,
 216                                   U+00D1 ISOlat1 -->
 217 <!ENTITY Ograve "&#210;"> <!-- latin capital letter O with grave,
 218                                   U+00D2 ISOlat1 -->
 219 <!ENTITY Oacute "&#211;"> <!-- latin capital letter O with acute,
 220                                   U+00D3 ISOlat1 -->
 221 <!ENTITY Ocirc  "&#212;"> <!-- latin capital letter O with circumflex,
 222                                   U+00D4 ISOlat1 -->
 223 <!ENTITY Otilde "&#213;"> <!-- latin capital letter O with tilde,
 224                                   U+00D5 ISOlat1 -->
 225 <!ENTITY Ouml   "&#214;"> <!-- latin capital letter O with diaeresis,
 226                                   U+00D6 ISOlat1 -->
 227 <!ENTITY times  "&#215;"> <!-- multiplication sign, U+00D7 ISOnum -->
 228 <!ENTITY Oslash "&#216;"> <!-- latin capital letter O with stroke
 229                                   = latin capital letter O slash,
 230                                   U+00D8 ISOlat1 -->
 231 <!ENTITY Ugrave "&#217;"> <!-- latin capital letter U with grave,
 232                                   U+00D9 ISOlat1 -->
 233 <!ENTITY Uacute "&#218;"> <!-- latin capital letter U with acute,
 234                                   U+00DA ISOlat1 -->
 235 <!ENTITY Ucirc  "&#219;"> <!-- latin capital letter U with circumflex,
 236                                   U+00DB ISOlat1 -->
 237 <!ENTITY Uuml   "&#220;"> <!-- latin capital letter U with diaeresis,
 238                                   U+00DC ISOlat1 -->
 239 <!ENTITY Yacute "&#221;"> <!-- latin capital letter Y with acute,
 240                                   U+00DD ISOlat1 -->
 241 <!ENTITY THORN  "&#222;"> <!-- latin capital letter THORN,
 242                                   U+00DE ISOlat1 -->
 243 <!ENTITY szlig  "&#223;"> <!-- latin small letter sharp s = ess-zed,
 244                                   U+00DF ISOlat1 -->
 245 <!ENTITY agrave "&#224;"> <!-- latin small letter a with grave
 246                                   = latin small letter a grave,
 247                                   U+00E0 ISOlat1 -->
 248 <!ENTITY aacute "&#225;"> <!-- latin small letter a with acute,
 249                                   U+00E1 ISOlat1 -->
 250 <!ENTITY acirc  "&#226;"> <!-- latin small letter a with circumflex,
 251                                   U+00E2 ISOlat1 -->
 252 <!ENTITY atilde "&#227;"> <!-- latin small letter a with tilde,
 253                                   U+00E3 ISOlat1 -->
 254 <!ENTITY auml   "&#228;"> <!-- latin small letter a with diaeresis,
 255                                   U+00E4 ISOlat1 -->
 256 <!ENTITY aring  "&#229;"> <!-- latin small letter a with ring above
 257                                   = latin small letter a ring,
 258                                   U+00E5 ISOlat1 -->
 259 <!ENTITY aelig  "&#230;"> <!-- latin small letter ae
 260                                   = latin small ligature ae, U+00E6 ISOlat1 -->
 261 <!ENTITY ccedil "&#231;"> <!-- latin small letter c with cedilla,
 262                                   U+00E7 ISOlat1 -->
 263 <!ENTITY egrave "&#232;"> <!-- latin small letter e with grave,
 264                                   U+00E8 ISOlat1 -->
 265 <!ENTITY eacute "&#233;"> <!-- latin small letter e with acute,
 266                                   U+00E9 ISOlat1 -->
 267 <!ENTITY ecirc  "&#234;"> <!-- latin small letter e with circumflex,
 268                                   U+00EA ISOlat1 -->
 269 <!ENTITY euml   "&#235;"> <!-- latin small letter e with diaeresis,
 270                                   U+00EB ISOlat1 -->
 271 <!ENTITY igrave "&#236;"> <!-- latin small letter i with grave,
 272                                   U+00EC ISOlat1 -->
 273 <!ENTITY iacute "&#237;"> <!-- latin small letter i with acute,
 274                                   U+00ED ISOlat1 -->
 275 <!ENTITY icirc  "&#238;"> <!-- latin small letter i with circumflex,
 276                                   U+00EE ISOlat1 -->
 277 <!ENTITY iuml   "&#239;"> <!-- latin small letter i with diaeresis,
 278                                   U+00EF ISOlat1 -->
 279 <!ENTITY eth    "&#240;"> <!-- latin small letter eth, U+00F0 ISOlat1 -->
 280 <!ENTITY ntilde "&#241;"> <!-- latin small letter n with tilde,
 281                                   U+00F1 ISOlat1 -->
 282 <!ENTITY ograve "&#242;"> <!-- latin small letter o with grave,
 283                                   U+00F2 ISOlat1 -->
 284 <!ENTITY oacute "&#243;"> <!-- latin small letter o with acute,
 285                                   U+00F3 ISOlat1 -->
 286 <!ENTITY ocirc  "&#244;"> <!-- latin small letter o with circumflex,
 287                                   U+00F4 ISOlat1 -->
 288 <!ENTITY otilde "&#245;"> <!-- latin small letter o with tilde,
 289                                   U+00F5 ISOlat1 -->
 290 <!ENTITY ouml   "&#246;"> <!-- latin small letter o with diaeresis,
 291                                   U+00F6 ISOlat1 -->
 292 <!ENTITY divide "&#247;"> <!-- division sign, U+00F7 ISOnum -->
 293 <!ENTITY oslash "&#248;"> <!-- latin small letter o with stroke,
 294                                   = latin small letter o slash,
 295                                   U+00F8 ISOlat1 -->
 296 <!ENTITY ugrave "&#249;"> <!-- latin small letter u with grave,
 297                                   U+00F9 ISOlat1 -->
 298 <!ENTITY uacute "&#250;"> <!-- latin small letter u with acute,
 299                                   U+00FA ISOlat1 -->
 300 <!ENTITY ucirc  "&#251;"> <!-- latin small letter u with circumflex,
 301                                   U+00FB ISOlat1 -->
 302 <!ENTITY uuml   "&#252;"> <!-- latin small letter u with diaeresis,
 303                                   U+00FC ISOlat1 -->
 304 <!ENTITY yacute "&#253;"> <!-- latin small letter y with acute,
 305                                   U+00FD ISOlat1 -->
 306 <!ENTITY thorn  "&#254;"> <!-- latin small letter thorn with,
 307                                   U+00FE ISOlat1 -->
 308 <!ENTITY yuml   "&#255;"> <!-- latin small letter y with diaeresis,
 309                                   U+00FF ISOlat1 -->
 310
 311 <!-- Latin Extended-A -->
 312 <!ENTITY OElig   "&#338;"> <!--  latin capital ligature OE,
 313                                     U+0152 ISOlat2 -->
 314 <!ENTITY oelig   "&#339;"> <!--  latin small ligature oe, U+0153 ISOlat2 -->
 315 <!-- ligature is a misnomer, this is a separate character in some languages -->
 316 <!ENTITY Scaron  "&#352;"> <!--  latin capital letter S with caron,
 317                                     U+0160 ISOlat2 -->
 318 <!ENTITY scaron  "&#353;"> <!--  latin small letter s with caron,
 319                                     U+0161 ISOlat2 -->
 320 <!ENTITY Yuml    "&#376;"> <!--  latin capital letter Y with diaeresis,
 321                                     U+0178 ISOlat2 -->
 322
 323 <!-- Greek -->
 324 <!ENTITY Alpha    "&#913;"> <!-- greek capital letter alpha, U+0391 -->
 325 <!ENTITY Beta     "&#914;"> <!-- greek capital letter beta, U+0392 -->
 326 <!ENTITY Gamma    "&#915;"> <!-- greek capital letter gamma,
 327                                     U+0393 ISOgrk3 -->
 328 <!ENTITY Delta    "&#916;"> <!-- greek capital letter delta,
 329                                     U+0394 ISOgrk3 -->
 330 <!ENTITY Epsilon  "&#917;"> <!-- greek capital letter epsilon, U+0395 -->
 331 <!ENTITY Zeta     "&#918;"> <!-- greek capital letter zeta, U+0396 -->
 332 <!ENTITY Eta      "&#919;"> <!-- greek capital letter eta, U+0397 -->
 333 <!ENTITY Theta    "&#920;"> <!-- greek capital letter theta,
 334                                     U+0398 ISOgrk3 -->
 335 <!ENTITY Iota     "&#921;"> <!-- greek capital letter iota, U+0399 -->
 336 <!ENTITY Kappa    "&#922;"> <!-- greek capital letter kappa, U+039A -->
 337 <!ENTITY Lambda   "&#923;"> <!-- greek capital letter lambda,
 338                                     U+039B ISOgrk3 -->
 339 <!ENTITY Mu       "&#924;"> <!-- greek capital letter mu, U+039C -->
 340 <!ENTITY Nu       "&#925;"> <!-- greek capital letter nu, U+039D -->
 341 <!ENTITY Xi       "&#926;"> <!-- greek capital letter xi, U+039E ISOgrk3 -->
 342 <!ENTITY Omicron  "&#927;"> <!-- greek capital letter omicron, U+039F -->
 343 <!ENTITY Pi       "&#928;"> <!-- greek capital letter pi, U+03A0 ISOgrk3 -->
 344 <!ENTITY Rho      "&#929;"> <!-- greek capital letter rho, U+03A1 -->
 345 <!-- there is no Sigmaf, and no U+03A2 character either -->
 346 <!ENTITY Sigma    "&#931;"> <!-- greek capital letter sigma,
 347                                     U+03A3 ISOgrk3 -->
 348 <!ENTITY Tau      "&#932;"> <!-- greek capital letter tau, U+03A4 -->
 349 <!ENTITY Upsilon  "&#933;"> <!-- greek capital letter upsilon,
 350                                     U+03A5 ISOgrk3 -->
 351 <!ENTITY Phi      "&#934;"> <!-- greek capital letter phi,
 352                                     U+03A6 ISOgrk3 -->
 353 <!ENTITY Chi      "&#935;"> <!-- greek capital letter chi, U+03A7 -->
 354 <!ENTITY Psi      "&#936;"> <!-- greek capital letter psi,
 355                                     U+03A8 ISOgrk3 -->
 356 <!ENTITY Omega    "&#937;"> <!-- greek capital letter omega,
 357                                     U+03A9 ISOgrk3 -->
 358
 359 <!ENTITY alpha    "&#945;"> <!-- greek small letter alpha,
 360                                     U+03B1 ISOgrk3 -->
 361 <!ENTITY beta     "&#946;"> <!-- greek small letter beta, U+03B2 ISOgrk3 -->
 362 <!ENTITY gamma    "&#947;"> <!-- greek small letter gamma,
 363                                     U+03B3 ISOgrk3 -->
 364 <!ENTITY delta    "&#948;"> <!-- greek small letter delta,
 365                                     U+03B4 ISOgrk3 -->
 366 <!ENTITY epsilon  "&#949;"> <!-- greek small letter epsilon,
 367                                     U+03B5 ISOgrk3 -->
 368 <!ENTITY zeta     "&#950;"> <!-- greek small letter zeta, U+03B6 ISOgrk3 -->
 369 <!ENTITY eta      "&#951;"> <!-- greek small letter eta, U+03B7 ISOgrk3 -->
 370 <!ENTITY theta    "&#952;"> <!-- greek small letter theta,
 371                                     U+03B8 ISOgrk3 -->
 372 <!ENTITY iota     "&#953;"> <!-- greek small letter iota, U+03B9 ISOgrk3 -->
 373 <!ENTITY kappa    "&#954;"> <!-- greek small letter kappa,
 374                                     U+03BA ISOgrk3 -->
 375 <!ENTITY lambda   "&#955;"> <!-- greek small letter lambda,
 376                                     U+03BB ISOgrk3 -->
 377 <!ENTITY mu       "&#956;"> <!-- greek small letter mu, U+03BC ISOgrk3 -->
 378 <!ENTITY nu       "&#957;"> <!-- greek small letter nu, U+03BD ISOgrk3 -->
 379 <!ENTITY xi       "&#958;"> <!-- greek small letter xi, U+03BE ISOgrk3 -->
 380 <!ENTITY omicron  "&#959;"> <!-- greek small letter omicron, U+03BF NEW -->
 381 <!ENTITY pi       "&#960;"> <!-- greek small letter pi, U+03C0 ISOgrk3 -->
 382 <!ENTITY rho      "&#961;"> <!-- greek small letter rho, U+03C1 ISOgrk3 -->
 383 <!ENTITY sigmaf   "&#962;"> <!-- greek small letter final sigma,
 384                                     U+03C2 ISOgrk3 -->
 385 <!ENTITY sigma    "&#963;"> <!-- greek small letter sigma,
 386                                     U+03C3 ISOgrk3 -->
 387 <!ENTITY tau      "&#964;"> <!-- greek small letter tau, U+03C4 ISOgrk3 -->
 388 <!ENTITY upsilon  "&#965;"> <!-- greek small letter upsilon,
 389                                     U+03C5 ISOgrk3 -->
 390 <!ENTITY phi      "&#966;"> <!-- greek small letter phi, U+03C6 ISOgrk3 -->
 391 <!ENTITY chi      "&#967;"> <!-- greek small letter chi, U+03C7 ISOgrk3 -->
 392 <!ENTITY psi      "&#968;"> <!-- greek small letter psi, U+03C8 ISOgrk3 -->
 393 <!ENTITY omega    "&#969;"> <!-- greek small letter omega,
 394                                     U+03C9 ISOgrk3 -->
 395
 396 <!--  special symbols -->
 397
 398 <!ENTITY dagger  "&#8224;"> <!-- dagger, U+2020 ISOpub -->
 399 <!ENTITY Dagger  "&#8225;"> <!-- double dagger, U+2021 ISOpub -->
 400
 401 <!-- General Punctuation -->
 402 <!ENTITY bull     "&#8226;"> <!-- bullet = black small circle,
 403                                      U+2022 ISOpub  -->
 404 <!-- bullet is NOT the same as bullet operator, U+2219 -->
 405 <!ENTITY hellip   "&#8230;"> <!-- horizontal ellipsis = three dot leader,
 406                                      U+2026 ISOpub  -->
 407 <!ENTITY prime    "&#8242;"> <!-- prime = minutes = feet, U+2032 ISOtech -->
 408 <!ENTITY Prime    "&#8243;"> <!-- double prime = seconds = inches,
 409                                      U+2033 ISOtech -->
 410 <!ENTITY oline    "&#8254;"> <!-- overline = spacing overscore,
 411                                      U+203E NEW -->
 412
 413 <!ENTITY euro   "&#8364;"> <!--  euro sign, U+20AC NEW -->
 414
 415 <!-- Letterlike Symbols -->
 416 <!ENTITY weierp   "&#8472;"> <!-- script capital P = power set
 417                                      = Weierstrass p, U+2118 ISOamso -->
 418 <!ENTITY image    "&#8465;"> <!-- blackletter capital I = imaginary part,
 419                                      U+2111 ISOamso -->
 420 <!ENTITY real     "&#8476;"> <!-- blackletter capital R = real part symbol,
 421                                      U+211C ISOamso -->
 422 <!ENTITY trade    "&#8482;"> <!-- trade mark sign, U+2122 ISOnum -->
 423 <!ENTITY alefsym  "&#8501;"> <!-- alef symbol = first transfinite cardinal,
 424                                      U+2135 NEW -->
 425 <!-- alef symbol is NOT the same as hebrew letter alef,
 426      U+05D0 although the same glyph could be used to depict both characters -->
 427
 428 <!-- Arrows -->
 429 <!ENTITY larr     "&#8592;"> <!-- leftwards arrow, U+2190 ISOnum -->
 430 <!ENTITY uarr     "&#8593;"> <!-- upwards arrow, U+2191 ISOnum-->
 431 <!ENTITY rarr     "&#8594;"> <!-- rightwards arrow, U+2192 ISOnum -->
 432 <!ENTITY darr     "&#8595;"> <!-- downwards arrow, U+2193 ISOnum -->
 433 <!ENTITY harr     "&#8596;"> <!-- left right arrow, U+2194 ISOamsa -->
 434 <!ENTITY crarr    "&#8629;"> <!-- downwards arrow with corner leftwards
 435                                      = carriage return, U+21B5 NEW -->
 436 <!ENTITY lArr     "&#8656;"> <!-- leftwards double arrow, U+21D0 ISOtech -->
 437 <!-- Unicode does not say that lArr is the same as the 'is implied by' arrow
 438     but also does not have any other character for that function. So ? lArr can
 439     be used for 'is implied by' as ISOtech suggests -->
 440 <!ENTITY uArr     "&#8657;"> <!-- upwards double arrow, U+21D1 ISOamsa -->
 441 <!ENTITY rArr     "&#8658;"> <!-- rightwards double arrow,
 442                                      U+21D2 ISOtech -->
 443 <!-- Unicode does not say this is the 'implies' character but does not have
 444      another character with this function so ?
 445      rArr can be used for 'implies' as ISOtech suggests -->
 446 <!ENTITY dArr     "&#8659;"> <!-- downwards double arrow, U+21D3 ISOamsa -->
 447 <!ENTITY hArr     "&#8660;"> <!-- left right double arrow,
 448                                      U+21D4 ISOamsa -->
 449
 450 <!-- Mathematical Operators -->
 451 <!ENTITY forall   "&#8704;"> <!-- for all, U+2200 ISOtech -->
 452 <!ENTITY part     "&#8706;"> <!-- partial differential, U+2202 ISOtech  -->
 453 <!ENTITY exist    "&#8707;"> <!-- there exists, U+2203 ISOtech -->
 454 <!ENTITY empty    "&#8709;"> <!-- empty set = null set = diameter,
 455                                      U+2205 ISOamso -->
 456 <!ENTITY nabla    "&#8711;"> <!-- nabla = backward difference,
 457                                      U+2207 ISOtech -->
 458 <!ENTITY isin     "&#8712;"> <!-- element of, U+2208 ISOtech -->
 459 <!ENTITY notin    "&#8713;"> <!-- not an element of, U+2209 ISOtech -->
 460 <!ENTITY ni       "&#8715;"> <!-- contains as member, U+220B ISOtech -->
 461 <!-- should there be a more memorable name than 'ni'? -->
 462 <!ENTITY prod     "&#8719;"> <!-- n-ary product = product sign,
 463                                      U+220F ISOamsb -->
 464 <!-- prod is NOT the same character as U+03A0 'greek capital letter pi' though
 465      the same glyph might be used for both -->
 466 <!ENTITY sum      "&#8721;"> <!-- n-ary sumation, U+2211 ISOamsb -->
 467 <!-- sum is NOT the same character as U+03A3 'greek capital letter sigma'
 468      though the same glyph might be used for both -->
 469 <!ENTITY minus    "&#8722;"> <!-- minus sign, U+2212 ISOtech -->
 470 <!ENTITY lowast   "&#8727;"> <!-- asterisk operator, U+2217 ISOtech -->
 471 <!ENTITY radic    "&#8730;"> <!-- square root = radical sign,
 472                                      U+221A ISOtech -->
 473 <!ENTITY prop     "&#8733;"> <!-- proportional to, U+221D ISOtech -->
 474 <!ENTITY infin    "&#8734;"> <!-- infinity, U+221E ISOtech -->
 475 <!ENTITY ang      "&#8736;"> <!-- angle, U+2220 ISOamso -->
 476 <!ENTITY and      "&#8743;"> <!-- logical and = wedge, U+2227 ISOtech -->
 477 <!ENTITY or       "&#8744;"> <!-- logical or = vee, U+2228 ISOtech -->
 478 <!ENTITY cap      "&#8745;"> <!-- intersection = cap, U+2229 ISOtech -->
 479 <!ENTITY cup      "&#8746;"> <!-- union = cup, U+222A ISOtech -->
 480 <!ENTITY int      "&#8747;"> <!-- integral, U+222B ISOtech -->
 481 <!ENTITY there4   "&#8756;"> <!-- therefore, U+2234 ISOtech -->
 482 <!ENTITY sim      "&#8764;"> <!-- tilde operator = varies with = similar to,
 483                                      U+223C ISOtech -->
 484 <!-- tilde operator is NOT the same character as the tilde, U+007E,
 485      although the same glyph might be used to represent both  -->
 486 <!ENTITY cong     "&#8773;"> <!-- approximately equal to, U+2245 ISOtech -->
 487 <!ENTITY asymp    "&#8776;"> <!-- almost equal to = asymptotic to,
 488                                      U+2248 ISOamsr -->
 489 <!ENTITY ne       "&#8800;"> <!-- not equal to, U+2260 ISOtech -->
 490 <!ENTITY equiv    "&#8801;"> <!-- identical to, U+2261 ISOtech -->
 491 <!ENTITY le       "&#8804;"> <!-- less-than or equal to, U+2264 ISOtech -->
 492 <!ENTITY ge       "&#8805;"> <!-- greater-than or equal to,
 493                                      U+2265 ISOtech -->
 494 <!ENTITY sub      "&#8834;"> <!-- subset of, U+2282 ISOtech -->
 495 <!ENTITY sup      "&#8835;"> <!-- superset of, U+2283 ISOtech -->
 496 <!-- note that nsup, 'not a superset of, U+2283' is not covered by the Symbol
 497      font encoding and is not included. Should it be, for symmetry?
 498      It is in ISOamsn  -->
 499 <!ENTITY nsub     "&#8836;"> <!-- not a subset of, U+2284 ISOamsn -->
 500 <!ENTITY sube     "&#8838;"> <!-- subset of or equal to, U+2286 ISOtech -->
 501 <!ENTITY supe     "&#8839;"> <!-- superset of or equal to,
 502                                      U+2287 ISOtech -->
 503 <!ENTITY oplus    "&#8853;"> <!-- circled plus = direct sum,
 504                                      U+2295 ISOamsb -->
 505 <!ENTITY otimes   "&#8855;"> <!-- circled times = vector product,
 506                                      U+2297 ISOamsb -->
 507 <!ENTITY perp     "&#8869;"> <!-- up tack = orthogonal to = perpendicular,
 508                                      U+22A5 ISOtech -->
 509 <!ENTITY sdot     "&#8901;"> <!-- dot operator, U+22C5 ISOamsb -->
 510 <!-- dot operator is NOT the same character as U+00B7 middle dot -->
 511
 512 <!-- Miscellaneous Technical -->
 513 <!ENTITY lceil    "&#8968;"> <!-- left ceiling = apl upstile,
 514                                      U+2308 ISOamsc  -->
 515 <!ENTITY rceil    "&#8969;"> <!-- right ceiling, U+2309 ISOamsc  -->
 516 <!ENTITY lfloor   "&#8970;"> <!-- left floor = apl downstile,
 517                                      U+230A ISOamsc  -->
 518 <!ENTITY rfloor   "&#8971;"> <!-- right floor, U+230B ISOamsc  -->
 519 <!ENTITY lang     "&#9001;"> <!-- left-pointing angle bracket = bra,
 520                                      U+2329 ISOtech -->
 521 <!-- lang is NOT the same character as U+003C 'less than'
 522      or U+2039 'single left-pointing angle quotation mark' -->
 523 <!ENTITY rang     "&#9002;"> <!-- right-pointing angle bracket = ket,
 524                                      U+232A ISOtech -->
 525 <!-- rang is NOT the same character as U+003E 'greater than'
 526      or U+203A 'single right-pointing angle quotation mark' -->
 527
 528 <!-- Geometric Shapes -->
 529 <!ENTITY loz      "&#9674;"> <!-- lozenge, U+25CA ISOpub -->
 530
 531 <!-- Miscellaneous Symbols -->
 532 <!ENTITY spades   "&#9824;"> <!-- black spade suit, U+2660 ISOpub -->
 533 <!-- black here seems to mean filled as opposed to hollow -->
 534 <!ENTITY clubs    "&#9827;"> <!-- black club suit = shamrock,
 535                                      U+2663 ISOpub -->
 536 <!ENTITY hearts   "&#9829;"> <!-- black heart suit = valentine,
 537                                      U+2665 ISOpub -->
 538 <!ENTITY diams    "&#9830;"> <!-- black diamond suit, U+2666 ISOpub -->