F:/KPlato/koffice/libs/kformula/cmmapping.cc

Aller à la documentation de ce fichier.

//
// Created: Thu May 29 14:40:55 2003
//      by: gensymbolfontmap.py
//    from: symbol.xml
//
// WARNING! All changes made in this file will be lost!



static InternFontTable cmbx10Map[] = {
    { 0x03D2, 0xa8, ORDINARY, boldChar },
    { 0x03A6, 0xa9, ORDINARY, boldChar },
    { 0x039E, 0xa5, ORDINARY, boldChar },
    { 0x039B, 0xa4, ORDINARY, boldChar },
    { 0x03A3, 0xa7, ORDINARY, boldChar },
    { 0x03A8, 0xaa, ORDINARY, boldChar },
    { 0x03A9, 0xad, ORDINARY, boldChar },
    { 0x03A0, 0xa6, ORDINARY, boldChar },
    { 0x0398, 0xa3, ORDINARY, boldChar },
    { 0x0394, 0xa2, ORDINARY, boldChar },
    { 0x0393, 0xa1, ORDINARY, boldChar },
    { 0x2260, 0x2260, ORDINARY, boldChar},
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable cmex10Map[] = {
    { 0x220F, 0x51, ORDINARY, normalChar },
    { 0x2211, 0x50, ORDINARY, normalChar },
    { 0xF8EF, 0x36, ORDINARY, normalChar },
    { 0xF8EE, 0x32, ORDINARY, normalChar },
    { 0xF8ED, 0x40, ORDINARY, normalChar },
    { 0xF8EC, 0x42, ORDINARY, normalChar },
    { 0xF8EB, 0x30, ORDINARY, normalChar },
    { 0x222B, 0x52, ORDINARY, normalChar },
    { 0xF8F6, 0x31, ORDINARY, normalChar },
    { 0xF8F7, 0x43, ORDINARY, normalChar },
    { 0xF8F4, 0x3e, ORDINARY, normalChar },
    { 0xF8F2, 0x3c, ORDINARY, normalChar },
    { 0xF8F3, 0x3a, ORDINARY, normalChar },
    { 0xF8F0, 0x34, ORDINARY, normalChar },
    { 0xF8F1, 0x38, ORDINARY, normalChar },
    { 0xF8F8, 0x41, ORDINARY, normalChar },
    { 0xF8F9, 0x33, ORDINARY, normalChar },
    { 0xF8FD, 0x3d, ORDINARY, normalChar },
    { 0xF8FE, 0x3b, ORDINARY, normalChar },
    { 0xF8FB, 0x35, ORDINARY, normalChar },
    { 0xF8FC, 0x39, ORDINARY, normalChar },
    { 0xF8FA, 0x37, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable cmmi10Map[] = {
    { 0x0394, 0xa2, ORDINARY, italicChar },
    { 0x03BE, 0xbb, ORDINARY, italicChar },
    { 0x03BD, 0xba, ORDINARY, italicChar },
    { 0x03BC, 0xb9, ORDINARY, italicChar },
    { 0x03BB, 0xb8, ORDINARY, italicChar },
    { 0x03BA, 0xb7, ORDINARY, italicChar },
    { 0x0037, 0x37, ORDINARY, italicChar },
    { 0x0036, 0x36, ORDINARY, italicChar },
    { 0x0035, 0x35, ORDINARY, italicChar },
    { 0x0034, 0x34, ORDINARY, italicChar },
    { 0x0033, 0x33, ORDINARY, italicChar },
    { 0x0032, 0x32, ORDINARY, italicChar },
    { 0x0031, 0x31, ORDINARY, italicChar },
    { 0x0030, 0x30, ORDINARY, italicChar },
    { 0x0073, 0x73, ORDINARY, italicChar },
    { 0x0072, 0x72, ORDINARY, italicChar },
    { 0x0071, 0x71, ORDINARY, italicChar },
    { 0x006C, 0x6c, ORDINARY, italicChar },
    { 0x0077, 0x77, ORDINARY, italicChar },
    { 0x0076, 0x76, ORDINARY, italicChar },
    { 0x0039, 0x39, ORDINARY, italicChar },
    { 0x0038, 0x38, ORDINARY, italicChar },
    { 0x004B, 0x4b, ORDINARY, italicChar },
    { 0x004C, 0x4c, ORDINARY, italicChar },
    { 0x004A, 0x4a, ORDINARY, italicChar },
    { 0x004F, 0x4f, ORDINARY, italicChar },
    { 0x22C6, 0x3f, ORDINARY, italicChar },
    { 0x004D, 0x4d, ORDINARY, italicChar },
    { 0x004E, 0x4e, ORDINARY, italicChar },
    { 0x2202, 0x40, ORDINARY, italicChar },
    { 0x266E, 0x5c, ORDINARY, italicChar },
    { 0x266F, 0x5d, ORDINARY, italicChar },
    { 0x2322, 0x5f, ORDINARY, italicChar },
    { 0x0131, 0x7b, ORDINARY, italicChar },
    { 0x03C0, 0xbc, ORDINARY, italicChar },
    { 0x03C1, 0xbd, ORDINARY, italicChar },
    { 0x03C2, 0x26, ORDINARY, italicChar },
    { 0x03C3, 0xbe, ORDINARY, italicChar },
    { 0x03C4, 0xbf, ORDINARY, italicChar },
    { 0x03C5, 0xc0, ORDINARY, italicChar },
    { 0x03C6, 0xc1, ORDINARY, italicChar },
    { 0x03C7, 0xc2, ORDINARY, italicChar },
    { 0x03C8, 0xc3, ORDINARY, italicChar },
    { 0x03C9, 0x21, ORDINARY, italicChar },
    { 0x0393, 0xa1, ORDINARY, italicChar },
    { 0x03A3, 0xa7, ORDINARY, italicChar },
    { 0x2113, 0x60, ORDINARY, italicChar },
    { 0x2040, 0xc4, ORDINARY, italicChar },
    { 0x2118, 0x7d, ORDINARY, italicChar },
    { 0x03F1, 0x25, ORDINARY, italicChar },
    { 0x0042, 0x42, ORDINARY, italicChar },
    { 0x0043, 0x43, ORDINARY, italicChar },
    { 0x0041, 0x41, ORDINARY, italicChar },
    { 0x0046, 0x46, ORDINARY, italicChar },
    { 0x0047, 0x47, ORDINARY, italicChar },
    { 0x0044, 0x44, ORDINARY, italicChar },
    { 0x0045, 0x45, ORDINARY, italicChar },
    { 0x21C1, 0x2b, ORDINARY, italicChar },
    { 0x0048, 0x48, ORDINARY, italicChar },
    { 0x0049, 0x49, ORDINARY, italicChar },
    { 0x00A0, 0xa0, ORDINARY, italicChar },
    { 0x003E, 0x3e, ORDINARY, italicChar },
    { 0x003C, 0x3c, ORDINARY, italicChar },
    { 0x007A, 0x7a, ORDINARY, italicChar },
    { 0x0079, 0x79, ORDINARY, italicChar },
    { 0x0078, 0x78, ORDINARY, italicChar },
    { 0x03B9, 0xb6, ORDINARY, italicChar },
    { 0x03B8, 0xb5, ORDINARY, italicChar },
    { 0x03B7, 0xb4, ORDINARY, italicChar },
    { 0x03B6, 0xb3, ORDINARY, italicChar },
    { 0x03B5, 0x22, ORDINARY, italicChar },
    { 0x03B4, 0xb1, ORDINARY, italicChar },
    { 0x03B3, 0xb0, ORDINARY, italicChar },
    { 0x03B2, 0xaf, ORDINARY, italicChar },
    { 0x03B1, 0xae, ORDINARY, italicChar },
    { 0xED02, 0x7c, ORDINARY, italicChar },
    { 0x0051, 0x51, ORDINARY, italicChar },
    { 0x0050, 0x50, ORDINARY, italicChar },
    { 0x0053, 0x53, ORDINARY, italicChar },
    { 0x0052, 0x52, ORDINARY, italicChar },
    { 0x0055, 0x55, ORDINARY, italicChar },
    { 0x0054, 0x54, ORDINARY, italicChar },
    { 0x0057, 0x57, ORDINARY, italicChar },
    { 0x0056, 0x56, ORDINARY, italicChar },
    { 0x0059, 0x59, ORDINARY, italicChar },
    { 0x0058, 0x58, ORDINARY, italicChar },
    { 0x002C, 0x3b, ORDINARY, italicChar },
    { 0x21C0, 0x2a, ORDINARY, italicChar },
    { 0x002E, 0x3a, ORDINARY, italicChar },
    { 0x002F, 0x3d, ORDINARY, italicChar },
    { 0x0070, 0x70, ORDINARY, italicChar },
    { 0x006D, 0x6d, ORDINARY, italicChar },
    { 0x006E, 0x6e, ORDINARY, italicChar },
    { 0x006F, 0x6f, ORDINARY, italicChar },
    { 0x039E, 0xa5, ORDINARY, italicChar },
    { 0x039B, 0xa4, ORDINARY, italicChar },
    { 0x006A, 0x6a, ORDINARY, italicChar },
    { 0x006B, 0x6b, ORDINARY, italicChar },
    { 0x21BD, 0x29, ORDINARY, italicChar },
    { 0x03A6, 0xa9, ORDINARY, italicChar },
    { 0x21BC, 0x28, ORDINARY, italicChar },
    { 0x0075, 0x75, ORDINARY, italicChar },
    { 0x03A0, 0xa6, ORDINARY, italicChar },
    { 0x0074, 0x74, ORDINARY, italicChar },
    { 0x03A8, 0xaa, ORDINARY, italicChar },
    { 0x03A9, 0xad, ORDINARY, italicChar },
    { 0x0068, 0x68, ORDINARY, italicChar },
    { 0x0069, 0x69, ORDINARY, italicChar },
    { 0x0398, 0xa3, ORDINARY, italicChar },
    { 0x0064, 0x64, ORDINARY, italicChar },
    { 0x0065, 0x65, ORDINARY, italicChar },
    { 0x0066, 0x66, ORDINARY, italicChar },
    { 0x0067, 0x67, ORDINARY, italicChar },
    { 0x0061, 0x61, ORDINARY, italicChar },
    { 0x0062, 0x62, ORDINARY, italicChar },
    { 0x0063, 0x63, ORDINARY, italicChar },
    { 0x005A, 0x5a, ORDINARY, italicChar },
    { 0x22B2, 0x2f, ORDINARY, italicChar },
    { 0x22B3, 0x2e, ORDINARY, italicChar },
    { 0x0020, 0x20, ORDINARY, italicChar },
    { 0x266D, 0x5b, ORDINARY, italicChar },
    { 0x20D7, 0x7e, ORDINARY, italicChar },
    { 0x02BF, 0x2c, ORDINARY, italicChar },
    { 0x02BE, 0x2d, ORDINARY, italicChar },
    { 0x03D1, 0x23, ORDINARY, italicChar },
    { 0x03D2, 0xa8, ORDINARY, italicChar },
    { 0x03D5, 0x27, ORDINARY, italicChar },
    { 0x2323, 0x5e, ORDINARY, italicChar },
    { 0x03D6, 0x24, ORDINARY, italicChar },
    { 0x2260, 0x2260, ORDINARY, italicChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable cmr10Map[] = {
    { 0x0079, 0x79, ORDINARY, normalChar },
    { 0x0078, 0x78, ORDINARY, normalChar },
    { 0x0073, 0x73, ORDINARY, normalChar },
    { 0x0072, 0x72, ORDINARY, normalChar },
    { 0x0071, 0x71, ORDINARY, normalChar },
    { 0x0070, 0x70, ORDINARY, normalChar },
    { 0x0077, 0x77, ORDINARY, normalChar },
    { 0x0076, 0x76, ORDINARY, normalChar },
    { 0x0075, 0x75, ORDINARY, normalChar },
    { 0x0074, 0x74, ORDINARY, normalChar },
    { 0x007A, 0x7a, ORDINARY, normalChar },
    { 0x2033, 0x7d, ORDINARY, normalChar },
    { 0x00BF, 0x3e, ORDINARY, normalChar },
    { 0x00F8, 0xbf, ORDINARY, normalChar },
    { 0x004C, 0x4c, ORDINARY, normalChar },
    { 0x004A, 0x4a, ORDINARY, normalChar },
    { 0x004F, 0x4f, ORDINARY, normalChar },
    { 0x004D, 0x4d, ORDINARY, normalChar },
    { 0x004E, 0x4e, ORDINARY, normalChar },
    { 0x0042, 0x42, ORDINARY, normalChar },
    { 0x0043, 0x43, ORDINARY, normalChar },
    { 0x0040, 0x40, ORDINARY, normalChar },
    { 0x0041, 0x41, ORDINARY, normalChar },
    { 0x0046, 0x46, ORDINARY, normalChar },
    { 0x0047, 0x47, ORDINARY, normalChar },
    { 0x0044, 0x44, ORDINARY, normalChar },
    { 0x0045, 0x45, ORDINARY, normalChar },
    { 0x0048, 0x48, ORDINARY, normalChar },
    { 0x0049, 0x49, ORDINARY, normalChar },
    { 0x039E, 0xa5, ORDINARY, normalChar },
    { 0x039B, 0xa4, ORDINARY, normalChar },
    { 0x0398, 0xa3, ORDINARY, normalChar },
    { 0x0394, 0xa2, ORDINARY, normalChar },
    { 0x0393, 0xa1, ORDINARY, normalChar },
    { 0x0304, 0xb9, ORDINARY, normalChar },
    { 0x0307, 0x5f, ORDINARY, normalChar },
    { 0x0301, 0xb5, ORDINARY, normalChar },
    { 0x0303, 0x7e, ORDINARY, normalChar },
    { 0x0302, 0xb6, ORDINARY, normalChar },
    { 0x0308, 0xc4, ORDINARY, normalChar },
    { 0x030A, 0xba, ORDINARY, normalChar },
    { 0x030C, 0xb7, ORDINARY, normalChar },
    { 0x03A6, 0xa9, ORDINARY, normalChar },
    { 0x03A3, 0xa7, ORDINARY, normalChar },
    { 0x03A0, 0xa6, ORDINARY, normalChar },
    { 0x0034, 0x34, ORDINARY, normalChar },
    { 0x03A8, 0xaa, ORDINARY, normalChar },
    { 0x03A9, 0xad, ORDINARY, normalChar },
    { 0x00C6, 0xc0, ORDINARY, normalChar },
    { 0x0051, 0x51, ORDINARY, normalChar },
    { 0x0050, 0x50, ORDINARY, normalChar },
    { 0x0053, 0x53, ORDINARY, normalChar },
    { 0x0052, 0x52, ORDINARY, normalChar },
    { 0x0055, 0x55, ORDINARY, normalChar },
    { 0x0057, 0x57, ORDINARY, normalChar },
    { 0x0056, 0x56, ORDINARY, normalChar },
    { 0x0059, 0x59, ORDINARY, normalChar },
    { 0x0058, 0x58, ORDINARY, normalChar },
    { 0x002E, 0x2e, ORDINARY, normalChar },
    { 0x005A, 0x5a, ORDINARY, normalChar },
    { 0x005B, 0x5b, ORDINARY, normalChar },
    { 0x005E, 0x5e, ORDINARY, normalChar },
    { 0x005D, 0x5d, ORDINARY, normalChar },
    { 0xED02, 0xb4, ORDINARY, normalChar },
    { 0x002A, 0x2a, ORDINARY, normalChar },
    { 0x002B, 0x2b, ORDINARY, normalChar },
    { 0x002C, 0x2c, ORDINARY, normalChar },
    { 0x0152, 0xc1, ORDINARY, normalChar },
    { 0x0153, 0xbe, ORDINARY, normalChar },
    { 0x0306, 0xb8, ORDINARY, normalChar },
    { 0x0028, 0x28, ORDINARY, normalChar },
    { 0x0029, 0x29, ORDINARY, normalChar },
    { 0x0020, 0x20, ORDINARY, normalChar },
    { 0x0021, 0x21, ORDINARY, normalChar },
    { 0x0023, 0x23, ORDINARY, normalChar },
    { 0x0024, 0x24, ORDINARY, normalChar },
    { 0x0025, 0x25, ORDINARY, normalChar },
    { 0x0026, 0x26, ORDINARY, normalChar },
    { 0x00D8, 0xc2, ORDINARY, normalChar },
    { 0x201D, 0x22, ORDINARY, normalChar },
    { 0x2019, 0x27, ORDINARY, normalChar },
    { 0x2018, 0x60, ORDINARY, normalChar },
    { 0x00DF, 0xbc, ORDINARY, normalChar },
    { 0x0054, 0x54, ORDINARY, normalChar },
    { 0x006D, 0x6d, ORDINARY, normalChar },
    { 0x006E, 0x6e, ORDINARY, normalChar },
    { 0x006F, 0x6f, ORDINARY, normalChar },
    { 0x006A, 0x6a, ORDINARY, normalChar },
    { 0x006B, 0x6b, ORDINARY, normalChar },
    { 0x006C, 0x6c, ORDINARY, normalChar },
    { 0x0068, 0x68, ORDINARY, normalChar },
    { 0x0069, 0x69, ORDINARY, normalChar },
    { 0x0064, 0x64, ORDINARY, normalChar },
    { 0x0065, 0x65, ORDINARY, normalChar },
    { 0x0066, 0x66, ORDINARY, normalChar },
    { 0x0067, 0x67, ORDINARY, normalChar },
    { 0x0061, 0x61, ORDINARY, normalChar },
    { 0x0062, 0x62, ORDINARY, normalChar },
    { 0x0063, 0x63, ORDINARY, normalChar },
    { 0x03D2, 0xa8, ORDINARY, normalChar },
    { 0x201C, 0x5c, ORDINARY, normalChar },
    { 0x00A1, 0x3c, ORDINARY, normalChar },
    { 0x0327, 0xbb, ORDINARY, normalChar },
    { 0x002D, 0x2d, ORDINARY, normalChar },
    { 0x004B, 0x4b, ORDINARY, normalChar },
    { 0x002F, 0x2f, ORDINARY, normalChar },
    { 0x0037, 0x37, ORDINARY, normalChar },
    { 0x0036, 0x36, ORDINARY, normalChar },
    { 0x0035, 0x35, ORDINARY, normalChar },
    { 0x0033, 0x33, ORDINARY, normalChar },
    { 0x0032, 0x32, ORDINARY, normalChar },
    { 0x0031, 0x31, ORDINARY, normalChar },
    { 0x0030, 0x30, ORDINARY, normalChar },
    { 0x0039, 0x39, ORDINARY, normalChar },
    { 0x0038, 0x38, ORDINARY, normalChar },
    { 0x0131, 0xb3, ORDINARY, normalChar },
    { 0x00E6, 0xbd, ORDINARY, normalChar },
    { 0x003F, 0x3f, ORDINARY, normalChar },
    { 0x003D, 0x3d, ORDINARY, normalChar },
    { 0x003B, 0x3b, ORDINARY, normalChar },
    { 0x003A, 0x3a, ORDINARY, normalChar },
    { 0x2014, 0x7c, ORDINARY, normalChar },
    { 0x2013, 0x7b, ORDINARY, normalChar },
    { 0xFB04, 0xb2, ORDINARY, normalChar },
    { 0xFB02, 0xb0, ORDINARY, normalChar },
    { 0xFB03, 0xb1, ORDINARY, normalChar },
    { 0xFB00, 0xae, ORDINARY, normalChar },
    { 0xFB01, 0xaf, ORDINARY, normalChar },
    { 0x2260, 0x2260, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable cmsy10Map[] = {
    { 0x2208, 0x32, RELATION, normalChar },
    { 0x2203, 0x39, ORDINARY, normalChar },
    { 0x2200, 0x38, ORDINARY, normalChar },
    { 0x228E, 0x5d, ORDINARY, normalChar },
    { 0x2207, 0x72, ORDINARY, normalChar },
    { 0x2205, 0x3b, BINOP, normalChar },
    { 0x220B, 0x33, RELATION, normalChar },
    { 0x007B, 0x66, ORDINARY, normalChar },
    { 0x007D, 0x67, ORDINARY, normalChar },
    { 0x00B1, 0xa7, BINOP, normalChar },
    { 0x00B6, 0x7b, ORDINARY, normalChar },
    { 0xF10E, 0x4f, ORDINARY, normalChar },
    { 0xF10D, 0x4e, ORDINARY, normalChar },
    { 0xF10A, 0x4b, ORDINARY, normalChar },
    { 0xF106, 0x47, ORDINARY, normalChar },
    { 0xF100, 0x41, ORDINARY, normalChar },
    { 0xF103, 0x44, ORDINARY, normalChar },
    { 0xF102, 0x43, ORDINARY, normalChar },
    { 0xF109, 0x4a, ORDINARY, normalChar },
    { 0x2032, 0x30, ORDINARY, normalChar },
    { 0x210B, 0x48, ORDINARY, normalChar },
    { 0x2329, 0x68, ORDINARY, normalChar },
    { 0x25BD, 0x35, ORDINARY, normalChar },
    { 0x232A, 0x69, ORDINARY, normalChar },
    { 0x00F7, 0xa5, BINOP, normalChar },
    { 0x227D, 0xba, ORDINARY, normalChar },
    { 0x25B3, 0x34, ORDINARY, normalChar },
    { 0x2283, 0xbe, RELATION, normalChar },
    { 0x2287, 0xb6, RELATION, normalChar },
    { 0x221A, 0x70, ORDINARY, normalChar },
    { 0x221E, 0x31, ORDINARY, normalChar },
    { 0x221D, 0x2f, RELATION, normalChar },
    { 0x2219, 0xb2, BINOP, normalChar },
    { 0x2218, 0xb1, ORDINARY, normalChar },
    { 0x2210, 0x71, ORDINARY, normalChar },
    { 0x2213, 0xa8, ORDINARY, normalChar },
    { 0x2212, 0xa1, BINOP, normalChar },
    { 0x21D1, 0x2a, RELATION, normalChar },
    { 0x21D0, 0x28, RELATION, normalChar },
    { 0x21D3, 0x2b, RELATION, normalChar },
    { 0x0338, 0x36, ORDINARY, normalChar },
    { 0x2135, 0x40, ORDINARY, normalChar },
    { 0x2130, 0x45, ORDINARY, normalChar },
    { 0x2131, 0x46, ORDINARY, normalChar },
    { 0x2133, 0x4d, ORDINARY, normalChar },
    { 0x2243, 0x27, RELATION, normalChar },
    { 0x22C4, 0xa6, ORDINARY, normalChar },
    { 0x2309, 0x65, ORDINARY, normalChar },
    { 0x22C5, 0xa2, BINOP, normalChar },
    { 0x2261, 0xb4, RELATION, normalChar },
    { 0x2264, 0xb7, RELATION, normalChar },
    { 0x2265, 0xb8, RELATION, normalChar },
    { 0x226A, 0xbf, RELATION, normalChar },
    { 0x226B, 0xc0, RELATION, normalChar },
    { 0x005C, 0x6e, ORDINARY, normalChar },
    { 0x2282, 0xbd, RELATION, normalChar },
    { 0x2286, 0xb5, RELATION, normalChar },
    { 0x2291, 0x76, RELATION, normalChar },
    { 0x2293, 0x75, ORDINARY, normalChar },
    { 0x2292, 0x77, ORDINARY, normalChar },
    { 0x2295, 0xa9, BINOP, normalChar },
    { 0x2294, 0x74, ORDINARY, normalChar },
    { 0x2297, 0xad, BINOP, normalChar },
    { 0x2296, 0xaa, BINOP, normalChar },
    { 0x2299, 0xaf, ORDINARY, normalChar },
    { 0x2298, 0xae, BINOP, normalChar },
    { 0x2198, 0x26, ORDINARY, normalChar },
    { 0x2199, 0x2e, ORDINARY, normalChar },
    { 0x2192, 0x21, RELATION, normalChar },
    { 0x2193, 0x23, RELATION, normalChar },
    { 0x2190, 0xc3, RELATION, normalChar },
    { 0x2191, 0x22, RELATION, normalChar },
    { 0x2196, 0x2d, ORDINARY, normalChar },
    { 0x2197, 0x25, ORDINARY, normalChar },
    { 0x2194, 0x24, RELATION, normalChar },
    { 0x2195, 0x6c, ORDINARY, normalChar },
    { 0x2225, 0x6b, ORDINARY, normalChar },
    { 0x2227, 0x5e, BINOP, normalChar },
    { 0x2223, 0x6a, ORDINARY, normalChar },
    { 0x2228, 0x5f, BINOP, normalChar },
    { 0x2229, 0x5c, ORDINARY, normalChar },
    { 0x222A, 0x5b, ORDINARY, normalChar },
    { 0x0020, 0x20, ORDINARY, normalChar },
    { 0x00D7, 0xa3, BINOP, normalChar },
    { 0x211B, 0x52, ORDINARY, normalChar },
    { 0x212C, 0x42, ORDINARY, normalChar },
    { 0x2308, 0x64, ORDINARY, normalChar },
    { 0x227C, 0xb9, ORDINARY, normalChar },
    { 0x227B, 0xc2, ORDINARY, normalChar },
    { 0x227A, 0xc1, ORDINARY, normalChar },
    { 0x230B, 0x63, ORDINARY, normalChar },
    { 0x230A, 0x62, ORDINARY, normalChar },
    { 0x2666, 0x7d, ORDINARY, normalChar },
    { 0x00AC, 0x3a, ORDINARY, normalChar },
    { 0x00A0, 0xa0, ORDINARY, normalChar },
    { 0x211C, 0x3c, ORDINARY, normalChar },
    { 0x2112, 0x4c, ORDINARY, normalChar },
    { 0x2110, 0x49, ORDINARY, normalChar },
    { 0x2111, 0x3d, ORDINARY, normalChar },
    { 0x2118, 0x50, ORDINARY, normalChar },
    { 0x2665, 0x7e, ORDINARY, normalChar },
    { 0x00A7, 0x78, ORDINARY, normalChar },
    { 0x2660, 0xc4, ORDINARY, normalChar },
    { 0x2663, 0x7c, ORDINARY, normalChar },
    { 0x21D5, 0x6d, ORDINARY, normalChar },
    { 0x21D4, 0x2c, RELATION, normalChar },
    { 0xF116, 0x57, ORDINARY, normalChar },
    { 0xF117, 0x58, ORDINARY, normalChar },
    { 0xF114, 0x55, ORDINARY, normalChar },
    { 0xF115, 0x56, ORDINARY, normalChar },
    { 0xF112, 0x53, ORDINARY, normalChar },
    { 0xF113, 0x54, ORDINARY, normalChar },
    { 0xF110, 0x51, ORDINARY, normalChar },
    { 0xF118, 0x59, ORDINARY, normalChar },
    { 0xF119, 0x5a, ORDINARY, normalChar },
    { 0x2217, 0xa4, BINOP, normalChar },
    { 0x21D2, 0x29, RELATION, normalChar },
    { 0x2020, 0x79, ORDINARY, normalChar },
    { 0x2021, 0x7a, ORDINARY, normalChar },
    { 0x223C, 0xbb, RELATION, normalChar },
    { 0x22A3, 0x61, ORDINARY, normalChar },
    { 0x22A2, 0x60, ORDINARY, normalChar },
    { 0x22A5, 0x3f, ORDINARY, normalChar },
    { 0x22A4, 0x3e, ORDINARY, normalChar },
    { 0x22A6, 0x37, ORDINARY, normalChar },
    { 0x2240, 0x6f, ORDINARY, normalChar },
    { 0x2248, 0xbc, RELATION, normalChar },
    { 0x224D, 0xb3, ORDINARY, normalChar },
    { 0x25CB, 0xb0, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable msam10Map[] = {
    { 0x2201, 0x7b, ORDINARY, normalChar },
    { 0x2256, 0x50, ORDINARY, normalChar },
    { 0x2251, 0x2b, ORDINARY, normalChar },
    { 0x21AD, 0x21, RELATION, normalChar },
    { 0x2252, 0x3b, RELATION, normalChar },
    { 0xE92D, 0x54, ORDINARY, normalChar },
    { 0x22BD, 0x59, RELATION, normalChar },
    { 0x22BA, 0x7c, ORDINARY, normalChar },
    { 0x22BC, 0x5a, ORDINARY, normalChar },
    { 0x2035, 0x38, ORDINARY, normalChar },
    { 0x22B4, 0x45, ORDINARY, normalChar },
    { 0x22B5, 0x44, ORDINARY, normalChar },
    { 0x22B2, 0x43, ORDINARY, normalChar },
    { 0x22B3, 0x42, ORDINARY, normalChar },
    { 0x2605, 0x46, ORDINARY, normalChar },
    { 0x22B8, 0x28, ORDINARY, normalChar },
    { 0xE922, 0x53, ORDINARY, normalChar },
    { 0x21A2, 0xbe, RELATION, normalChar },
    { 0x21A3, 0xbd, RELATION, normalChar },
    { 0x21A0, 0xb3, RELATION, normalChar },
    { 0x225C, 0x2c, RELATION, normalChar },
    { 0x2323, 0x60, ORDINARY, normalChar },
    { 0x2322, 0x61, ORDINARY, normalChar },
    { 0x25BD, 0x4f, ORDINARY, normalChar },
    { 0x21AB, 0x22, ORDINARY, normalChar },
    { 0x21AC, 0x23, RELATION, normalChar },
    { 0x2257, 0x24, ORDINARY, normalChar },
    { 0x2253, 0x3a, RELATION, normalChar },
    { 0x2306, 0x5b, ORDINARY, normalChar },
    { 0x25BC, 0x48, ORDINARY, normalChar },
    { 0x21C6, 0xbf, RELATION, normalChar },
    { 0x227D, 0x3c, ORDINARY, normalChar },
    { 0x21C2, 0xba, RELATION, normalChar },
    { 0x2720, 0x7a, ORDINARY, normalChar },
    { 0x25B6, 0x49, ORDINARY, normalChar },
    { 0x25B3, 0x4d, ORDINARY, normalChar },
    { 0x25B2, 0x4e, ORDINARY, normalChar },
    { 0x21DD, 0xc3, ORDINARY, normalChar },
    { 0x221D, 0x5f, RELATION, normalChar },
    { 0x21DB, 0x56, ORDINARY, normalChar },
    { 0x228F, 0x40, RELATION, normalChar },
    { 0x22DF, 0x33, ORDINARY, normalChar },
    { 0x22DD, 0x31, ORDINARY, normalChar },
    { 0x22DE, 0x32, ORDINARY, normalChar },
    { 0x22DB, 0x52, ORDINARY, normalChar },
    { 0x22DC, 0x30, ORDINARY, normalChar },
    { 0x22DA, 0x51, ORDINARY, normalChar },
    { 0x231D, 0x71, ORDINARY, normalChar },
    { 0x231E, 0x78, ORDINARY, normalChar },
    { 0x231F, 0x79, ORDINARY, normalChar },
    { 0x231C, 0x70, ORDINARY, normalChar },
    { 0x25A0, 0xa5, ORDINARY, normalChar },
    { 0xE933, 0x27, ORDINARY, normalChar },
    { 0xE932, 0x2f, ORDINARY, normalChar },
    { 0x25AA, 0xa6, ORDINARY, normalChar },
    { 0x22CC, 0x69, ORDINARY, normalChar },
    { 0x22CB, 0x68, ORDINARY, normalChar },
    { 0x22CF, 0x66, ORDINARY, normalChar },
    { 0x22CE, 0x67, ORDINARY, normalChar },
    { 0x22CD, 0x77, RELATION, normalChar },
    { 0x22D4, 0x74, ORDINARY, normalChar },
    { 0x22D2, 0x65, ORDINARY, normalChar },
    { 0x22D3, 0x64, ORDINARY, normalChar },
    { 0x22D0, 0x62, RELATION, normalChar },
    { 0x22D8, 0x6e, ORDINARY, normalChar },
    { 0x22D9, 0x6f, ORDINARY, normalChar },
    { 0x21C7, 0xb5, ORDINARY, normalChar },
    { 0x2272, 0x2d, ORDINARY, normalChar },
    { 0x21CB, 0xad, RELATION, normalChar },
    { 0x2264, 0x36, RELATION, normalChar },
    { 0x2265, 0x3e, RELATION, normalChar },
    { 0x2266, 0x35, ORDINARY, normalChar },
    { 0x2267, 0x3d, ORDINARY, normalChar },
    { 0x226C, 0x47, RELATION, normalChar },
    { 0xF8E7, 0x39, ORDINARY, normalChar },
    { 0x219E, 0xb4, RELATION, normalChar },
    { 0x2713, 0x58, ORDINARY, normalChar },
    { 0x229A, 0x7d, ORDINARY, normalChar },
    { 0x229B, 0x7e, ORDINARY, normalChar },
    { 0x229E, 0xa2, ORDINARY, normalChar },
    { 0x229D, 0xc4, BINOP, normalChar },
    { 0x229F, 0xaf, ORDINARY, normalChar },
    { 0x2290, 0x41, RELATION, normalChar },
    { 0x2220, 0x5c, ORDINARY, normalChar },
    { 0x2221, 0x5d, ORDINARY, normalChar },
    { 0x2222, 0x5e, ORDINARY, normalChar },
    { 0x21DA, 0x57, ORDINARY, normalChar },
    { 0x22D1, 0x63, RELATION, normalChar },
    { 0x00AE, 0x72, ORDINARY, normalChar },
    { 0xE90C, 0x6a, ORDINARY, normalChar },
    { 0x24C8, 0x73, ORDINARY, normalChar },
    { 0x21C8, 0xb7, RELATION, normalChar },
    { 0x21C9, 0xb6, ORDINARY, normalChar },
    { 0x21C4, 0xc0, ORDINARY, normalChar },
    { 0x227F, 0x25, ORDINARY, normalChar },
    { 0x227C, 0x34, ORDINARY, normalChar },
    { 0x21C3, 0xbc, RELATION, normalChar },
    { 0x2277, 0x3f, ORDINARY, normalChar },
    { 0x2276, 0x37, ORDINARY, normalChar },
    { 0x2273, 0x26, ORDINARY, normalChar },
    { 0x21CA, 0xae, RELATION, normalChar },
    { 0x2666, 0xa8, ORDINARY, normalChar },
    { 0xE90B, 0x6b, ORDINARY, normalChar },
    { 0x00A5, 0x55, ORDINARY, normalChar },
    { 0x2662, 0xa7, ORDINARY, normalChar },
    { 0x223D, 0x76, RELATION, normalChar },
    { 0x22A9, 0xb0, ORDINARY, normalChar },
    { 0x22A1, 0xa1, ORDINARY, normalChar },
    { 0x22A0, 0xa3, ORDINARY, normalChar },
    { 0x22AA, 0xb1, ORDINARY, normalChar },
    { 0x22AB, 0xb2, ORDINARY, normalChar },
    { 0x2235, 0x2a, BINOP, normalChar },
    { 0x2234, 0x29, BINOP, normalChar },
    { 0x2214, 0x75, ORDINARY, normalChar },
    { 0x224F, 0x6c, ORDINARY, normalChar },
    { 0x224E, 0x6d, ORDINARY, normalChar },
    { 0xEB0E, 0x4b, ORDINARY, normalChar },
    { 0xEB0D, 0x4c, ORDINARY, normalChar },
    { 0x21BB, 0xa9, ORDINARY, normalChar },
    { 0x21BA, 0xaa, ORDINARY, normalChar },
    { 0x21BF, 0xbb, RELATION, normalChar },
    { 0x21BE, 0xb9, RELATION, normalChar },
    { 0x25C0, 0x4a, ORDINARY, normalChar },
    { 0x21B1, 0xc2, RELATION, normalChar },
    { 0x21B0, 0xc1, RELATION, normalChar },
    { 0x2260, 0x2260, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable msbm10Map[] = {
    { 0x21CD, 0x3a, RELATION, normalChar },
    { 0x2204, 0x40, ORDINARY, normalChar },
    { 0x2205, 0x3f, BINOP, normalChar },
    { 0xEA2F, 0x2f, ORDINARY, normalChar },
    { 0xEA2E, 0x2e, ORDINARY, normalChar },
    { 0x220D, 0xc4, RELATION, normalChar },
    { 0x2102, 0x43, ORDINARY, normalChar },
    { 0xE92F, 0x71, ORDINARY, normalChar },
    { 0xE92E, 0x70, ORDINARY, normalChar },
    { 0x210D, 0x48, ORDINARY, normalChar },
    { 0x210F, 0x7d, ORDINARY, normalChar },
    { 0xF0A4, 0x7c, ORDINARY, normalChar },
    { 0x00F0, 0x67, ORDINARY, normalChar },
    { 0xF084, 0x45, ORDINARY, normalChar },
    { 0xF085, 0x46, ORDINARY, normalChar },
    { 0xF086, 0x47, ORDINARY, normalChar },
    { 0xF080, 0x41, ORDINARY, normalChar },
    { 0xF081, 0x42, ORDINARY, normalChar },
    { 0xF083, 0x44, ORDINARY, normalChar },
    { 0xF089, 0x4a, ORDINARY, normalChar },
    { 0xFE68, 0x72, ORDINARY, normalChar },
    { 0xF08E, 0x4f, ORDINARY, normalChar },
    { 0xF08A, 0x4b, ORDINARY, normalChar },
    { 0xF08B, 0x4c, ORDINARY, normalChar },
    { 0xF08C, 0x4d, ORDINARY, normalChar },
    { 0x2280, 0xa7, ORDINARY, normalChar },
    { 0x2281, 0xa8, ORDINARY, normalChar },
    { 0x2288, 0x2a, RELATION, normalChar },
    { 0x2289, 0x2b, RELATION, normalChar },
    { 0x03F0, 0x7b, ORDINARY, normalChar },
    { 0x2216, 0xc2, ORDINARY, normalChar },
    { 0x228B, 0x29, RELATION, normalChar },
    { 0x228A, 0x28, RELATION, normalChar },
    { 0xEA35, 0xb0, ORDINARY, normalChar },
    { 0xEA34, 0xaf, ORDINARY, normalChar },
    { 0xEA33, 0xbe, ORDINARY, normalChar },
    { 0xEA32, 0xbd, ORDINARY, normalChar },
    { 0xEA39, 0xb2, RELATION, normalChar },
    { 0xEA38, 0xb1, RELATION, normalChar },
    { 0x2138, 0x6b, ORDINARY, normalChar },
    { 0x2136, 0x69, ORDINARY, normalChar },
    { 0x2137, 0x6a, ORDINARY, normalChar },
    { 0x2132, 0x60, ORDINARY, normalChar },
    { 0xEA3A, 0xbb, ORDINARY, normalChar },
    { 0xEA3B, 0xbc, ORDINARY, normalChar },
    { 0x22C7, 0x3e, ORDINARY, normalChar },
    { 0x22C9, 0x6e, ORDINARY, normalChar },
    { 0xE93A, 0x77, ORDINARY, normalChar },
    { 0xE93B, 0x76, ORDINARY, normalChar },
    { 0x22CA, 0x6f, ORDINARY, normalChar },
    { 0x22D6, 0x6c, ORDINARY, normalChar },
    { 0x22D7, 0x6d, ORDINARY, normalChar },
    { 0x21CE, 0x3c, RELATION, normalChar },
    { 0x2268, 0xa1, ORDINARY, normalChar },
    { 0xF093, 0x54, ORDINARY, normalChar },
    { 0xF092, 0x53, ORDINARY, normalChar },
    { 0xF097, 0x58, ORDINARY, normalChar },
    { 0xF096, 0x57, ORDINARY, normalChar },
    { 0xF095, 0x56, ORDINARY, normalChar },
    { 0xF094, 0x55, ORDINARY, normalChar },
    { 0xF098, 0x59, ORDINARY, normalChar },
    { 0x226E, 0xa5, ORDINARY, normalChar },
    { 0x226F, 0xa6, ORDINARY, normalChar },
    { 0x219B, 0x39, RELATION, normalChar },
    { 0x219A, 0x38, RELATION, normalChar },
    { 0xED01, 0x61, ORDINARY, normalChar },
    { 0x2224, 0x2d, ORDINARY, normalChar },
    { 0x2226, 0x2c, ORDINARY, normalChar },
    { 0x211A, 0x51, ORDINARY, normalChar },
    { 0xEA0B, 0x23, ORDINARY, normalChar },
    { 0xEA0C, 0x22, ORDINARY, normalChar },
    { 0xEA06, 0xb7, ORDINARY, normalChar },
    { 0xEA07, 0xb8, ORDINARY, normalChar },
    { 0x2127, 0x66, ORDINARY, normalChar },
    { 0x2124, 0x5a, ORDINARY, normalChar },
    { 0xEA45, 0x25, ORDINARY, normalChar },
    { 0x03DC, 0x7a, ORDINARY, normalChar },
    { 0x22E7, 0xb6, ORDINARY, normalChar },
    { 0x22E6, 0xb5, ORDINARY, normalChar },
    { 0x22E9, 0xb4, ORDINARY, normalChar },
    { 0x22E8, 0xb3, ORDINARY, normalChar },
    { 0x22ED, 0x34, ORDINARY, normalChar },
    { 0x22EA, 0x36, ORDINARY, normalChar },
    { 0x22EC, 0x35, ORDINARY, normalChar },
    { 0x22EB, 0x37, ORDINARY, normalChar },
    { 0x21CF, 0x3b, RELATION, normalChar },
    { 0x2271, 0xa4, ORDINARY, normalChar },
    { 0x2270, 0xa3, ORDINARY, normalChar },
    { 0x2269, 0xa2, ORDINARY, normalChar },
    { 0xEA44, 0x24, ORDINARY, normalChar },
    { 0xEA46, 0x26, ORDINARY, normalChar },
    { 0xEA47, 0x27, ORDINARY, normalChar },
    { 0xEA40, 0xb9, ORDINARY, normalChar },
    { 0xEA41, 0xba, ORDINARY, normalChar },
    { 0x211D, 0x52, ORDINARY, normalChar },
    { 0xEA43, 0x21, ORDINARY, normalChar },
    { 0x2115, 0x4e, ORDINARY, normalChar },
    { 0x2119, 0x50, ORDINARY, normalChar },
    { 0x2215, 0xc1, ORDINARY, normalChar },
    { 0x223C, 0x73, RELATION, normalChar },
    { 0x22AC, 0x30, ORDINARY, normalChar },
    { 0x22AE, 0x31, ORDINARY, normalChar },
    { 0x22AD, 0x32, ORDINARY, normalChar },
    { 0x22AF, 0x33, ORDINARY, normalChar },
    { 0xF088, 0x49, ORDINARY, normalChar },
    { 0xEE05, 0x5d, ORDINARY, normalChar },
    { 0xEE06, 0x5e, ORDINARY, normalChar },
    { 0xEE08, 0x5b, ORDINARY, normalChar },
    { 0xEE09, 0x5c, ORDINARY, normalChar },
    { 0x2247, 0xc0, ORDINARY, normalChar },
    { 0x2242, 0x68, ORDINARY, normalChar },
    { 0x2241, 0xbf, ORDINARY, normalChar },
    { 0x2248, 0x74, RELATION, normalChar },
    { 0x224A, 0x75, ORDINARY, normalChar },
    { 0xEA42, 0xc3, ORDINARY, normalChar },
    { 0xEB0F, 0x3d, ORDINARY, normalChar },
    { 0x21B7, 0x79, RELATION, normalChar },
    { 0x21B6, 0x78, RELATION, normalChar },
    { 0x2260, 0x2260, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};

---