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