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