renamed canonize to canonicalize added crude support for ~user -> /home/user added win32 specific stuff in basename added C-/ as an alias for C-_ some cosmetics, moved code create files with mode 0644 in raw_save_buffer untabified, removed redundant spaces modified code generators to the same effect
465 lines
25 KiB
C
465 lines
25 KiB
C
/* html entities - from XHTML specification */
|
|
|
|
ENTITY(nbsp , 160) /* no-break space = non-breaking space,
|
|
U+00A0 ISOnum */
|
|
ENTITY(iexcl , 161) /* inverted exclamation mark, U+00A1 ISOnum */
|
|
ENTITY(cent , 162) /* cent sign, U+00A2 ISOnum */
|
|
ENTITY(pound , 163) /* pound sign, U+00A3 ISOnum */
|
|
ENTITY(curren , 164) /* currency sign, U+00A4 ISOnum */
|
|
ENTITY(yen , 165) /* yen sign = yuan sign, U+00A5 ISOnum */
|
|
ENTITY(brvbar , 166) /* broken bar = broken vertical bar,
|
|
U+00A6 ISOnum */
|
|
ENTITY(sect , 167) /* section sign, U+00A7 ISOnum */
|
|
ENTITY(uml , 168) /* diaeresis = spacing diaeresis,
|
|
U+00A8 ISOdia */
|
|
ENTITY(copy , 169) /* copyright sign, U+00A9 ISOnum */
|
|
ENTITY(ordf , 170) /* feminine ordinal indicator, U+00AA ISOnum */
|
|
ENTITY(laquo , 171) /* left-pointing double angle quotation mark
|
|
= left pointing guillemet, U+00AB ISOnum */
|
|
ENTITY(not , 172) /* not sign = discretionary hyphen,
|
|
U+00AC ISOnum */
|
|
ENTITY(shy , 173) /* soft hyphen = discretionary hyphen,
|
|
U+00AD ISOnum */
|
|
ENTITY(reg , 174) /* registered sign = registered trade mark sign,
|
|
U+00AE ISOnum */
|
|
ENTITY(macr , 175) /* macron = spacing macron = overline
|
|
= APL overbar, U+00AF ISOdia */
|
|
ENTITY(deg , 176) /* degree sign, U+00B0 ISOnum */
|
|
ENTITY(plusmn , 177) /* plus-minus sign = plus-or-minus sign,
|
|
U+00B1 ISOnum */
|
|
ENTITY(sup2 , 178) /* superscript two = superscript digit two
|
|
= squared, U+00B2 ISOnum */
|
|
ENTITY(sup3 , 179) /* superscript three = superscript digit three
|
|
= cubed, U+00B3 ISOnum */
|
|
ENTITY(acute , 180) /* acute accent = spacing acute,
|
|
U+00B4 ISOdia */
|
|
ENTITY(micro , 181) /* micro sign, U+00B5 ISOnum */
|
|
ENTITY(para , 182) /* pilcrow sign = paragraph sign,
|
|
U+00B6 ISOnum */
|
|
ENTITY(middot , 183) /* middle dot = Georgian comma
|
|
= Greek middle dot, U+00B7 ISOnum */
|
|
ENTITY(cedil , 184) /* cedilla = spacing cedilla, U+00B8 ISOdia */
|
|
ENTITY(sup1 , 185) /* superscript one = superscript digit one,
|
|
U+00B9 ISOnum */
|
|
ENTITY(ordm , 186) /* masculine ordinal indicator,
|
|
U+00BA ISOnum */
|
|
ENTITY(raquo , 187) /* right-pointing double angle quotation mark
|
|
= right pointing guillemet, U+00BB ISOnum */
|
|
ENTITY(frac14 , 188) /* vulgar fraction one quarter
|
|
= fraction one quarter, U+00BC ISOnum */
|
|
ENTITY(frac12 , 189) /* vulgar fraction one half
|
|
= fraction one half, U+00BD ISOnum */
|
|
ENTITY(frac34 , 190) /* vulgar fraction three quarters
|
|
= fraction three quarters, U+00BE ISOnum */
|
|
ENTITY(iquest , 191) /* inverted question mark
|
|
= turned question mark, U+00BF ISOnum */
|
|
ENTITY(Agrave , 192) /* latin capital letter A with grave
|
|
= latin capital letter A grave,
|
|
U+00C0 ISOlat1 */
|
|
ENTITY(Aacute , 193) /* latin capital letter A with acute,
|
|
U+00C1 ISOlat1 */
|
|
ENTITY(Acirc , 194) /* latin capital letter A with circumflex,
|
|
U+00C2 ISOlat1 */
|
|
ENTITY(Atilde , 195) /* latin capital letter A with tilde,
|
|
U+00C3 ISOlat1 */
|
|
ENTITY(Auml , 196) /* latin capital letter A with diaeresis,
|
|
U+00C4 ISOlat1 */
|
|
ENTITY(Aring , 197) /* latin capital letter A with ring above
|
|
= latin capital letter A ring,
|
|
U+00C5 ISOlat1 */
|
|
ENTITY(AElig , 198) /* latin capital letter AE
|
|
= latin capital ligature AE,
|
|
U+00C6 ISOlat1 */
|
|
ENTITY(Ccedil , 199) /* latin capital letter C with cedilla,
|
|
U+00C7 ISOlat1 */
|
|
ENTITY(Egrave , 200) /* latin capital letter E with grave,
|
|
U+00C8 ISOlat1 */
|
|
ENTITY(Eacute , 201) /* latin capital letter E with acute,
|
|
U+00C9 ISOlat1 */
|
|
ENTITY(Ecirc , 202) /* latin capital letter E with circumflex,
|
|
U+00CA ISOlat1 */
|
|
ENTITY(Euml , 203) /* latin capital letter E with diaeresis,
|
|
U+00CB ISOlat1 */
|
|
ENTITY(Igrave , 204) /* latin capital letter I with grave,
|
|
U+00CC ISOlat1 */
|
|
ENTITY(Iacute , 205) /* latin capital letter I with acute,
|
|
U+00CD ISOlat1 */
|
|
ENTITY(Icirc , 206) /* latin capital letter I with circumflex,
|
|
U+00CE ISOlat1 */
|
|
ENTITY(Iuml , 207) /* latin capital letter I with diaeresis,
|
|
U+00CF ISOlat1 */
|
|
ENTITY(ETH , 208) /* latin capital letter ETH, U+00D0 ISOlat1 */
|
|
ENTITY(Ntilde , 209) /* latin capital letter N with tilde,
|
|
U+00D1 ISOlat1 */
|
|
ENTITY(Ograve , 210) /* latin capital letter O with grave,
|
|
U+00D2 ISOlat1 */
|
|
ENTITY(Oacute , 211) /* latin capital letter O with acute,
|
|
U+00D3 ISOlat1 */
|
|
ENTITY(Ocirc , 212) /* latin capital letter O with circumflex,
|
|
U+00D4 ISOlat1 */
|
|
ENTITY(Otilde , 213) /* latin capital letter O with tilde,
|
|
U+00D5 ISOlat1 */
|
|
ENTITY(Ouml , 214) /* latin capital letter O with diaeresis,
|
|
U+00D6 ISOlat1 */
|
|
ENTITY(times , 215) /* multiplication sign, U+00D7 ISOnum */
|
|
ENTITY(Oslash , 216) /* latin capital letter O with stroke
|
|
= latin capital letter O slash,
|
|
U+00D8 ISOlat1 */
|
|
ENTITY(Ugrave , 217) /* latin capital letter U with grave,
|
|
U+00D9 ISOlat1 */
|
|
ENTITY(Uacute , 218) /* latin capital letter U with acute,
|
|
U+00DA ISOlat1 */
|
|
ENTITY(Ucirc , 219) /* latin capital letter U with circumflex,
|
|
U+00DB ISOlat1 */
|
|
ENTITY(Uuml , 220) /* latin capital letter U with diaeresis,
|
|
U+00DC ISOlat1 */
|
|
ENTITY(Yacute , 221) /* latin capital letter Y with acute,
|
|
U+00DD ISOlat1 */
|
|
ENTITY(THORN , 222) /* latin capital letter THORN,
|
|
U+00DE ISOlat1 */
|
|
ENTITY(szlig , 223) /* latin small letter sharp s = ess-zed,
|
|
U+00DF ISOlat1 */
|
|
ENTITY(agrave , 224) /* latin small letter a with grave
|
|
= latin small letter a grave,
|
|
U+00E0 ISOlat1 */
|
|
ENTITY(aacute , 225) /* latin small letter a with acute,
|
|
U+00E1 ISOlat1 */
|
|
ENTITY(acirc , 226) /* latin small letter a with circumflex,
|
|
U+00E2 ISOlat1 */
|
|
ENTITY(atilde , 227) /* latin small letter a with tilde,
|
|
U+00E3 ISOlat1 */
|
|
ENTITY(auml , 228) /* latin small letter a with diaeresis,
|
|
U+00E4 ISOlat1 */
|
|
ENTITY(aring , 229) /* latin small letter a with ring above
|
|
= latin small letter a ring,
|
|
U+00E5 ISOlat1 */
|
|
ENTITY(aelig , 230) /* latin small letter ae
|
|
= latin small ligature ae, U+00E6 ISOlat1 */
|
|
ENTITY(ccedil , 231) /* latin small letter c with cedilla,
|
|
U+00E7 ISOlat1 */
|
|
ENTITY(egrave , 232) /* latin small letter e with grave,
|
|
U+00E8 ISOlat1 */
|
|
ENTITY(eacute , 233) /* latin small letter e with acute,
|
|
U+00E9 ISOlat1 */
|
|
ENTITY(ecirc , 234) /* latin small letter e with circumflex,
|
|
U+00EA ISOlat1 */
|
|
ENTITY(euml , 235) /* latin small letter e with diaeresis,
|
|
U+00EB ISOlat1 */
|
|
ENTITY(igrave , 236) /* latin small letter i with grave,
|
|
U+00EC ISOlat1 */
|
|
ENTITY(iacute , 237) /* latin small letter i with acute,
|
|
U+00ED ISOlat1 */
|
|
ENTITY(icirc , 238) /* latin small letter i with circumflex,
|
|
U+00EE ISOlat1 */
|
|
ENTITY(iuml , 239) /* latin small letter i with diaeresis,
|
|
U+00EF ISOlat1 */
|
|
ENTITY(eth , 240) /* latin small letter eth, U+00F0 ISOlat1 */
|
|
ENTITY(ntilde , 241) /* latin small letter n with tilde,
|
|
U+00F1 ISOlat1 */
|
|
ENTITY(ograve , 242) /* latin small letter o with grave,
|
|
U+00F2 ISOlat1 */
|
|
ENTITY(oacute , 243) /* latin small letter o with acute,
|
|
U+00F3 ISOlat1 */
|
|
ENTITY(ocirc , 244) /* latin small letter o with circumflex,
|
|
U+00F4 ISOlat1 */
|
|
ENTITY(otilde , 245) /* latin small letter o with tilde,
|
|
U+00F5 ISOlat1 */
|
|
ENTITY(ouml , 246) /* latin small letter o with diaeresis,
|
|
U+00F6 ISOlat1 */
|
|
ENTITY(divide , 247) /* division sign, U+00F7 ISOnum */
|
|
ENTITY(oslash , 248) /* latin small letter o with stroke,
|
|
= latin small letter o slash,
|
|
U+00F8 ISOlat1 */
|
|
ENTITY(ugrave , 249) /* latin small letter u with grave,
|
|
U+00F9 ISOlat1 */
|
|
ENTITY(uacute , 250) /* latin small letter u with acute,
|
|
U+00FA ISOlat1 */
|
|
ENTITY(ucirc , 251) /* latin small letter u with circumflex,
|
|
U+00FB ISOlat1 */
|
|
ENTITY(uuml , 252) /* latin small letter u with diaeresis,
|
|
U+00FC ISOlat1 */
|
|
ENTITY(yacute , 253) /* latin small letter y with acute,
|
|
U+00FD ISOlat1 */
|
|
ENTITY(thorn , 254) /* latin small letter thorn with,
|
|
U+00FE ISOlat1 */
|
|
ENTITY(yuml , 255) /* latin small letter y with diaeresis,
|
|
U+00FF ISOlat1 */
|
|
|
|
/* C0 Controls and Basic Latin */
|
|
ENTITY(quot , 34) /* quotation mark = APL quote,
|
|
U+0022 ISOnum */
|
|
ENTITY(amp , 38) /* ampersand, U+0026 ISOnum */
|
|
ENTITY(lt , 60) /* less-than sign, U+003C ISOnum */
|
|
ENTITY(gt , 62) /* greater-than sign, U+003E ISOnum */
|
|
|
|
ENTITY(apos , 39) /* apostrophe mark, U+0027 ISOnum */
|
|
|
|
/* Latin Extended-A */
|
|
ENTITY(OElig , 338) /* latin capital ligature OE,
|
|
U+0152 ISOlat2 */
|
|
ENTITY(oelig , 339) /* latin small ligature oe, U+0153 ISOlat2 */
|
|
/* ligature is a misnomer, this is a separate character in some languages */
|
|
ENTITY(Scaron , 352) /* latin capital letter S with caron,
|
|
U+0160 ISOlat2 */
|
|
ENTITY(scaron , 353) /* latin small letter s with caron,
|
|
U+0161 ISOlat2 */
|
|
ENTITY(Yuml , 376) /* latin capital letter Y with diaeresis,
|
|
U+0178 ISOlat2 */
|
|
|
|
/* Spacing Modifier Letters */
|
|
ENTITY(circ , 710) /* modifier letter circumflex accent,
|
|
U+02C6 ISOpub */
|
|
ENTITY(tilde , 732) /* small tilde, U+02DC ISOdia */
|
|
|
|
/* General Punctuation */
|
|
ENTITY(ensp , 8194) /* en space, U+2002 ISOpub */
|
|
ENTITY(emsp , 8195) /* em space, U+2003 ISOpub */
|
|
ENTITY(thinsp , 8201) /* thin space, U+2009 ISOpub */
|
|
ENTITY(zwnj , 8204) /* zero width non-joiner,
|
|
U+200C NEW RFC 2070 */
|
|
ENTITY(zwj , 8205) /* zero width joiner, U+200D NEW RFC 2070 */
|
|
ENTITY(lrm , 8206) /* left-to-right mark, U+200E NEW RFC 2070 */
|
|
ENTITY(rlm , 8207) /* right-to-left mark, U+200F NEW RFC 2070 */
|
|
ENTITY(ndash , 8211) /* en dash, U+2013 ISOpub */
|
|
ENTITY(mdash , 8212) /* em dash, U+2014 ISOpub */
|
|
ENTITY(lsquo , 8216) /* left single quotation mark,
|
|
U+2018 ISOnum */
|
|
ENTITY(rsquo , 8217) /* right single quotation mark,
|
|
U+2019 ISOnum */
|
|
ENTITY(sbquo , 8218) /* single low-9 quotation mark, U+201A NEW */
|
|
ENTITY(ldquo , 8220) /* left double quotation mark,
|
|
U+201C ISOnum */
|
|
ENTITY(rdquo , 8221) /* right double quotation mark,
|
|
U+201D ISOnum */
|
|
ENTITY(bdquo , 8222) /* double low-9 quotation mark, U+201E NEW */
|
|
ENTITY(dagger , 8224) /* dagger, U+2020 ISOpub */
|
|
ENTITY(Dagger , 8225) /* double dagger, U+2021 ISOpub */
|
|
ENTITY(permil , 8240) /* per mille sign, U+2030 ISOtech */
|
|
ENTITY(lsaquo , 8249) /* single left-pointing angle quotation mark,
|
|
U+2039 ISO proposed */
|
|
/* lsaquo is proposed but not yet ISO standardized */
|
|
ENTITY(rsaquo , 8250) /* single right-pointing angle quotation mark,
|
|
U+203A ISO proposed */
|
|
/* rsaquo is proposed but not yet ISO standardized */
|
|
ENTITY(euro , 8364) /* euro sign, U+20AC NEW */
|
|
|
|
/* Latin Extended-B */
|
|
ENTITY(fnof , 402) /* latin small f with hook = function
|
|
= florin, U+0192 ISOtech */
|
|
|
|
/* Greek */
|
|
ENTITY(Alpha , 913) /* greek capital letter alpha, U+0391 */
|
|
ENTITY(Beta , 914) /* greek capital letter beta, U+0392 */
|
|
ENTITY(Gamma , 915) /* greek capital letter gamma,
|
|
U+0393 ISOgrk3 */
|
|
ENTITY(Delta , 916) /* greek capital letter delta,
|
|
U+0394 ISOgrk3 */
|
|
ENTITY(Epsilon , 917) /* greek capital letter epsilon, U+0395 */
|
|
ENTITY(Zeta , 918) /* greek capital letter zeta, U+0396 */
|
|
ENTITY(Eta , 919) /* greek capital letter eta, U+0397 */
|
|
ENTITY(Theta , 920) /* greek capital letter theta,
|
|
U+0398 ISOgrk3 */
|
|
ENTITY(Iota , 921) /* greek capital letter iota, U+0399 */
|
|
ENTITY(Kappa , 922) /* greek capital letter kappa, U+039A */
|
|
ENTITY(Lambda , 923) /* greek capital letter lambda,
|
|
U+039B ISOgrk3 */
|
|
ENTITY(Mu , 924) /* greek capital letter mu, U+039C */
|
|
ENTITY(Nu , 925) /* greek capital letter nu, U+039D */
|
|
ENTITY(Xi , 926) /* greek capital letter xi, U+039E ISOgrk3 */
|
|
ENTITY(Omicron , 927) /* greek capital letter omicron, U+039F */
|
|
ENTITY(Pi , 928) /* greek capital letter pi, U+03A0 ISOgrk3 */
|
|
ENTITY(Rho , 929) /* greek capital letter rho, U+03A1 */
|
|
/* there is no Sigmaf, and no U+03A2 character either */
|
|
ENTITY(Sigma , 931) /* greek capital letter sigma,
|
|
U+03A3 ISOgrk3 */
|
|
ENTITY(Tau , 932) /* greek capital letter tau, U+03A4 */
|
|
ENTITY(Upsilon , 933) /* greek capital letter upsilon,
|
|
U+03A5 ISOgrk3 */
|
|
ENTITY(Phi , 934) /* greek capital letter phi,
|
|
U+03A6 ISOgrk3 */
|
|
ENTITY(Chi , 935) /* greek capital letter chi, U+03A7 */
|
|
ENTITY(Psi , 936) /* greek capital letter psi,
|
|
U+03A8 ISOgrk3 */
|
|
ENTITY(Omega , 937) /* greek capital letter omega,
|
|
U+03A9 ISOgrk3 */
|
|
|
|
ENTITY(alpha , 945) /* greek small letter alpha,
|
|
U+03B1 ISOgrk3 */
|
|
ENTITY(beta , 946) /* greek small letter beta, U+03B2 ISOgrk3 */
|
|
ENTITY(gamma , 947) /* greek small letter gamma,
|
|
U+03B3 ISOgrk3 */
|
|
ENTITY(delta , 948) /* greek small letter delta,
|
|
U+03B4 ISOgrk3 */
|
|
ENTITY(epsilon , 949) /* greek small letter epsilon,
|
|
U+03B5 ISOgrk3 */
|
|
ENTITY(zeta , 950) /* greek small letter zeta, U+03B6 ISOgrk3 */
|
|
ENTITY(eta , 951) /* greek small letter eta, U+03B7 ISOgrk3 */
|
|
ENTITY(theta , 952) /* greek small letter theta,
|
|
U+03B8 ISOgrk3 */
|
|
ENTITY(iota , 953) /* greek small letter iota, U+03B9 ISOgrk3 */
|
|
ENTITY(kappa , 954) /* greek small letter kappa,
|
|
U+03BA ISOgrk3 */
|
|
ENTITY(lambda , 955) /* greek small letter lambda,
|
|
U+03BB ISOgrk3 */
|
|
ENTITY(mu , 956) /* greek small letter mu, U+03BC ISOgrk3 */
|
|
ENTITY(nu , 957) /* greek small letter nu, U+03BD ISOgrk3 */
|
|
ENTITY(xi , 958) /* greek small letter xi, U+03BE ISOgrk3 */
|
|
ENTITY(omicron , 959) /* greek small letter omicron, U+03BF NEW */
|
|
ENTITY(pi , 960) /* greek small letter pi, U+03C0 ISOgrk3 */
|
|
ENTITY(rho , 961) /* greek small letter rho, U+03C1 ISOgrk3 */
|
|
ENTITY(sigmaf , 962) /* greek small letter final sigma,
|
|
U+03C2 ISOgrk3 */
|
|
ENTITY(sigma , 963) /* greek small letter sigma,
|
|
U+03C3 ISOgrk3 */
|
|
ENTITY(tau , 964) /* greek small letter tau, U+03C4 ISOgrk3 */
|
|
ENTITY(upsilon , 965) /* greek small letter upsilon,
|
|
U+03C5 ISOgrk3 */
|
|
ENTITY(phi , 966) /* greek small letter phi, U+03C6 ISOgrk3 */
|
|
ENTITY(chi , 967) /* greek small letter chi, U+03C7 ISOgrk3 */
|
|
ENTITY(psi , 968) /* greek small letter psi, U+03C8 ISOgrk3 */
|
|
ENTITY(omega , 969) /* greek small letter omega,
|
|
U+03C9 ISOgrk3 */
|
|
ENTITY(thetasym , 977) /* greek small letter theta symbol,
|
|
U+03D1 NEW */
|
|
ENTITY(upsih , 978) /* greek upsilon with hook symbol,
|
|
U+03D2 NEW */
|
|
ENTITY(piv , 982) /* greek pi symbol, U+03D6 ISOgrk3 */
|
|
|
|
/* General Punctuation */
|
|
ENTITY(bull , 8226) /* bullet = black small circle,
|
|
U+2022 ISOpub */
|
|
/* bullet is NOT the same as bullet operator, U+2219 */
|
|
ENTITY(hellip , 8230) /* horizontal ellipsis = three dot leader,
|
|
U+2026 ISOpub */
|
|
ENTITY(prime , 8242) /* prime = minutes = feet, U+2032 ISOtech */
|
|
ENTITY(Prime , 8243) /* double prime = seconds = inches,
|
|
U+2033 ISOtech */
|
|
ENTITY(oline , 8254) /* overline = spacing overscore,
|
|
U+203E NEW */
|
|
ENTITY(frasl , 8260) /* fraction slash, U+2044 NEW */
|
|
|
|
/* Letterlike Symbols */
|
|
ENTITY(weierp , 8472) /* script capital P = power set
|
|
= Weierstrass p, U+2118 ISOamso */
|
|
ENTITY(image , 8465) /* blackletter capital I = imaginary part,
|
|
U+2111 ISOamso */
|
|
ENTITY(real , 8476) /* blackletter capital R = real part symbol,
|
|
U+211C ISOamso */
|
|
ENTITY(trade , 8482) /* trade mark sign, U+2122 ISOnum */
|
|
ENTITY(alefsym , 8501) /* alef symbol = first transfinite cardinal,
|
|
U+2135 NEW */
|
|
/* alef symbol is NOT the same as hebrew letter alef,
|
|
U+05D0 although the same glyph could be used to depict both characters */
|
|
|
|
/* Arrows */
|
|
ENTITY(larr , 8592) /* leftwards arrow, U+2190 ISOnum */
|
|
ENTITY(uarr , 8593) /* upwards arrow, U+2191 ISOnum*/
|
|
ENTITY(rarr , 8594) /* rightwards arrow, U+2192 ISOnum */
|
|
ENTITY(darr , 8595) /* downwards arrow, U+2193 ISOnum */
|
|
ENTITY(harr , 8596) /* left right arrow, U+2194 ISOamsa */
|
|
ENTITY(crarr , 8629) /* downwards arrow with corner leftwards
|
|
= carriage return, U+21B5 NEW */
|
|
ENTITY(lArr , 8656) /* leftwards double arrow, U+21D0 ISOtech */
|
|
/* Unicode does not say that lArr is the same as the 'is implied by' arrow
|
|
but also does not have any other character for that function. So ? lArr can
|
|
be used for 'is implied by' as ISOtech suggests */
|
|
ENTITY(uArr , 8657) /* upwards double arrow, U+21D1 ISOamsa */
|
|
ENTITY(rArr , 8658) /* rightwards double arrow,
|
|
U+21D2 ISOtech */
|
|
/* Unicode does not say this is the 'implies' character but does not have
|
|
another character with this function so ?
|
|
rArr can be used for 'implies' as ISOtech suggests */
|
|
ENTITY(dArr , 8659) /* downwards double arrow, U+21D3 ISOamsa */
|
|
ENTITY(hArr , 8660) /* left right double arrow,
|
|
U+21D4 ISOamsa */
|
|
|
|
/* Mathematical Operators */
|
|
ENTITY(forall , 8704) /* for all, U+2200 ISOtech */
|
|
ENTITY(part , 8706) /* partial differential, U+2202 ISOtech */
|
|
ENTITY(exist , 8707) /* there exists, U+2203 ISOtech */
|
|
ENTITY(empty , 8709) /* empty set = null set = diameter,
|
|
U+2205 ISOamso */
|
|
ENTITY(nabla , 8711) /* nabla = backward difference,
|
|
U+2207 ISOtech */
|
|
ENTITY(isin , 8712) /* element of, U+2208 ISOtech */
|
|
ENTITY(notin , 8713) /* not an element of, U+2209 ISOtech */
|
|
ENTITY(ni , 8715) /* contains as member, U+220B ISOtech */
|
|
/* should there be a more memorable name than 'ni'? */
|
|
ENTITY(prod , 8719) /* n-ary product = product sign,
|
|
U+220F ISOamsb */
|
|
/* prod is NOT the same character as U+03A0 'greek capital letter pi' though
|
|
the same glyph might be used for both */
|
|
ENTITY(sum , 8721) /* n-ary sumation, U+2211 ISOamsb */
|
|
/* sum is NOT the same character as U+03A3 'greek capital letter sigma'
|
|
though the same glyph might be used for both */
|
|
ENTITY(minus , 8722) /* minus sign, U+2212 ISOtech */
|
|
ENTITY(lowast , 8727) /* asterisk operator, U+2217 ISOtech */
|
|
ENTITY(radic , 8730) /* square root = radical sign,
|
|
U+221A ISOtech */
|
|
ENTITY(prop , 8733) /* proportional to, U+221D ISOtech */
|
|
ENTITY(infin , 8734) /* infinity, U+221E ISOtech */
|
|
ENTITY(ang , 8736) /* angle, U+2220 ISOamso */
|
|
ENTITY(and , 8743) /* logical and = wedge, U+2227 ISOtech */
|
|
ENTITY(or , 8744) /* logical or = vee, U+2228 ISOtech */
|
|
ENTITY(cap , 8745) /* intersection = cap, U+2229 ISOtech */
|
|
ENTITY(cup , 8746) /* union = cup, U+222A ISOtech */
|
|
ENTITY(int , 8747) /* integral, U+222B ISOtech */
|
|
ENTITY(there4 , 8756) /* therefore, U+2234 ISOtech */
|
|
ENTITY(sim , 8764) /* tilde operator = varies with = similar to,
|
|
U+223C ISOtech */
|
|
/* tilde operator is NOT the same character as the tilde, U+007E,
|
|
although the same glyph might be used to represent both */
|
|
ENTITY(cong , 8773) /* approximately equal to, U+2245 ISOtech */
|
|
ENTITY(asymp , 8776) /* almost equal to = asymptotic to,
|
|
U+2248 ISOamsr */
|
|
ENTITY(ne , 8800) /* not equal to, U+2260 ISOtech */
|
|
ENTITY(equiv , 8801) /* identical to, U+2261 ISOtech */
|
|
ENTITY(le , 8804) /* less-than or equal to, U+2264 ISOtech */
|
|
ENTITY(ge , 8805) /* greater-than or equal to,
|
|
U+2265 ISOtech */
|
|
ENTITY(sub , 8834) /* subset of, U+2282 ISOtech */
|
|
ENTITY(sup , 8835) /* superset of, U+2283 ISOtech */
|
|
/* note that nsup, 'not a superset of, U+2283' is not covered by the Symbol
|
|
font encoding and is not included. Should it be, for symmetry?
|
|
It is in ISOamsn */
|
|
ENTITY(nsub , 8836) /* not a subset of, U+2284 ISOamsn */
|
|
ENTITY(sube , 8838) /* subset of or equal to, U+2286 ISOtech */
|
|
ENTITY(supe , 8839) /* superset of or equal to,
|
|
U+2287 ISOtech */
|
|
ENTITY(oplus , 8853) /* circled plus = direct sum,
|
|
U+2295 ISOamsb */
|
|
ENTITY(otimes , 8855) /* circled times = vector product,
|
|
U+2297 ISOamsb */
|
|
ENTITY(perp , 8869) /* up tack = orthogonal to = perpendicular,
|
|
U+22A5 ISOtech */
|
|
ENTITY(sdot , 8901) /* dot operator, U+22C5 ISOamsb */
|
|
/* dot operator is NOT the same character as U+00B7 middle dot */
|
|
|
|
/* Miscellaneous Technical */
|
|
ENTITY(lceil , 8968) /* left ceiling = apl upstile,
|
|
U+2308 ISOamsc */
|
|
ENTITY(rceil , 8969) /* right ceiling, U+2309 ISOamsc */
|
|
ENTITY(lfloor , 8970) /* left floor = apl downstile,
|
|
U+230A ISOamsc */
|
|
ENTITY(rfloor , 8971) /* right floor, U+230B ISOamsc */
|
|
ENTITY(lang , 9001) /* left-pointing angle bracket = bra,
|
|
U+2329 ISOtech */
|
|
/* lang is NOT the same character as U+003C 'less than'
|
|
or U+2039 'single left-pointing angle quotation mark' */
|
|
ENTITY(rang , 9002) /* right-pointing angle bracket = ket,
|
|
U+232A ISOtech */
|
|
/* rang is NOT the same character as U+003E 'greater than'
|
|
or U+203A 'single right-pointing angle quotation mark' */
|
|
|
|
/* Geometric Shapes */
|
|
ENTITY(loz , 9674) /* lozenge, U+25CA ISOpub */
|
|
|
|
/* Miscellaneous Symbols */
|
|
ENTITY(spades , 9824) /* black spade suit, U+2660 ISOpub */
|
|
/* black here seems to mean filled as opposed to hollow */
|
|
ENTITY(clubs , 9827) /* black club suit = shamrock,
|
|
U+2663 ISOpub */
|
|
ENTITY(hearts , 9829) /* black heart suit = valentine,
|
|
U+2665 ISOpub */
|
|
ENTITY(diams , 9830) /* black diamond suit, U+2666 ISOpub */
|
|
|