//
// 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 esstixnineMap[] = {
    { 0x0394, 0x44, ORDINARY, italicChar },
    { 0x03BE, 0x78, ORDINARY, italicChar },
    { 0x03BD, 0x6e, ORDINARY, italicChar },
    { 0x03BC, 0x6d, ORDINARY, italicChar },
    { 0x03BB, 0x6c, ORDINARY, italicChar },
    { 0x03BA, 0x6b, ORDINARY, italicChar },
    { 0x2202, 0x76, ORDINARY, italicChar },
    { 0x2207, 0x56, ORDINARY, italicChar },
    { 0x03C0, 0x70, ORDINARY, italicChar },
    { 0x03C1, 0x72, ORDINARY, italicChar },
    { 0x03C2, 0x32, ORDINARY, italicChar },
    { 0x03C3, 0x73, ORDINARY, italicChar },
    { 0x03C4, 0x74, ORDINARY, italicChar },
    { 0x03C5, 0x79, ORDINARY, italicChar },
    { 0x03C6, 0x66, ORDINARY, italicChar },
    { 0x03C7, 0x63, ORDINARY, italicChar },
    { 0x03C8, 0x6a, ORDINARY, italicChar },
    { 0x03C9, 0x75, ORDINARY, italicChar },
    { 0x0393, 0x47, ORDINARY, italicChar },
    { 0x03A3, 0x53, ORDINARY, italicChar },
    { 0x2127, 0x5b, ORDINARY, italicChar },
    { 0x03F1, 0x39, ORDINARY, italicChar },
    { 0x03F0, 0x38, ORDINARY, italicChar },
    { 0x03F5, 0x65, ORDINARY, italicChar },
    { 0x03B9, 0x69, ORDINARY, italicChar },
    { 0x03B8, 0x71, ORDINARY, italicChar },
    { 0x03B7, 0x68, ORDINARY, italicChar },
    { 0x03B6, 0x7a, ORDINARY, italicChar },
    { 0x03B5, 0x33, ORDINARY, italicChar },
    { 0x03B4, 0x64, ORDINARY, italicChar },
    { 0x03B3, 0x67, ORDINARY, italicChar },
    { 0x03B2, 0x62, ORDINARY, italicChar },
    { 0x03B1, 0x61, ORDINARY, italicChar },
    { 0xE663, 0x59, ORDINARY, italicChar },
    { 0x039E, 0x58, ORDINARY, italicChar },
    { 0x039B, 0x4c, ORDINARY, italicChar },
    { 0x03A6, 0x46, ORDINARY, italicChar },
    { 0x03A0, 0x50, ORDINARY, italicChar },
    { 0x03A8, 0x4a, ORDINARY, italicChar },
    { 0x03A9, 0x55, ORDINARY, italicChar },
    { 0x0398, 0x51, ORDINARY, italicChar },
    { 0x03D1, 0x77, ORDINARY, italicChar },
    { 0x03D5, 0x34, ORDINARY, italicChar },
    { 0x03D6, 0x36, ORDINARY, italicChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixthirteenMap[] = {
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixelevenMap[] = {
    { 0x03BE, 0x78, ORDINARY, boldItalicChar },
    { 0x03BD, 0x6e, ORDINARY, boldItalicChar },
    { 0x03BC, 0x6d, ORDINARY, boldItalicChar },
    { 0x03BB, 0x6c, ORDINARY, boldItalicChar },
    { 0x03BA, 0x6b, ORDINARY, boldItalicChar },
    { 0x03A6, 0x46, ORDINARY, boldItalicChar },
    { 0x2202, 0x76, ORDINARY, boldItalicChar },
    { 0xE663, 0x59, ORDINARY, boldItalicChar },
    { 0x039E, 0x58, ORDINARY, boldItalicChar },
    { 0x039B, 0x4c, ORDINARY, boldItalicChar },
    { 0x2207, 0x56, ORDINARY, boldItalicChar },
    { 0x03C0, 0x70, ORDINARY, boldItalicChar },
    { 0x03C1, 0x72, ORDINARY, boldItalicChar },
    { 0x03C2, 0x32, ORDINARY, boldItalicChar },
    { 0x03C3, 0x73, ORDINARY, boldItalicChar },
    { 0x03C4, 0x74, ORDINARY, boldItalicChar },
    { 0x03C5, 0x79, ORDINARY, boldItalicChar },
    { 0x03C6, 0x66, ORDINARY, boldItalicChar },
    { 0x03C7, 0x63, ORDINARY, boldItalicChar },
    { 0x03C8, 0x6a, ORDINARY, boldItalicChar },
    { 0x03C9, 0x75, ORDINARY, boldItalicChar },
    { 0x03A9, 0x55, ORDINARY, boldItalicChar },
    { 0x03A8, 0x4a, ORDINARY, boldItalicChar },
    { 0x03A3, 0x53, ORDINARY, boldItalicChar },
    { 0x03A0, 0x50, ORDINARY, boldItalicChar },
    { 0x2127, 0x5b, ORDINARY, boldItalicChar },
    { 0x03D1, 0x77, ORDINARY, boldItalicChar },
    { 0x0398, 0x51, ORDINARY, boldItalicChar },
    { 0x0394, 0x44, ORDINARY, boldItalicChar },
    { 0x0393, 0x47, ORDINARY, boldItalicChar },
    { 0x03F1, 0x39, ORDINARY, boldItalicChar },
    { 0x03F0, 0x38, ORDINARY, boldItalicChar },
    { 0x03F5, 0x65, ORDINARY, boldItalicChar },
    { 0x03D5, 0x34, ORDINARY, boldItalicChar },
    { 0x03B9, 0x69, ORDINARY, boldItalicChar },
    { 0x03B8, 0x71, ORDINARY, boldItalicChar },
    { 0x03B7, 0x68, ORDINARY, boldItalicChar },
    { 0x03B6, 0x7a, ORDINARY, boldItalicChar },
    { 0x03B5, 0x33, ORDINARY, boldItalicChar },
    { 0x03B4, 0x64, ORDINARY, boldItalicChar },
    { 0x03B3, 0x67, ORDINARY, boldItalicChar },
    { 0x03B2, 0x62, ORDINARY, boldItalicChar },
    { 0x03B1, 0x61, ORDINARY, boldItalicChar },
    { 0x03D6, 0x36, ORDINARY, boldItalicChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixfourteenMap[] = {
    { 0x2138, 0x63, ORDINARY, normalChar },
    { 0x2135, 0x61, ORDINARY, normalChar },
    { 0x2136, 0x62, ORDINARY, normalChar },
    { 0x2137, 0x64, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixfiveMap[] = {
    { 0x00B1, 0x47, BINOP, normalChar },
    { 0x00F7, 0x4f, BINOP, normalChar },
    { 0x2213, 0x48, ORDINARY, normalChar },
    { 0x22C5, 0x25, BINOP, normalChar },
    { 0x2295, 0x34, BINOP, normalChar },
    { 0x2297, 0x35, BINOP, normalChar },
    { 0x2296, 0x32, BINOP, normalChar },
    { 0x2299, 0x31, ORDINARY, normalChar },
    { 0x2298, 0x2f, BINOP, normalChar },
    { 0x00D7, 0x23, BINOP, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixfifteenMap[] = {
    { 0x211C, 0x4e, ORDINARY, normalChar },
    { 0x2111, 0x49, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixeightMap[] = {
    { 0x2321, 0x63, ORDINARY, normalChar },
    { 0x2320, 0x61, ORDINARY, normalChar },
    { 0xF8EF, 0x4a, ORDINARY, normalChar },
    { 0xF8EE, 0x49, ORDINARY, normalChar },
    { 0xF8ED, 0x5c, ORDINARY, normalChar },
    { 0xF8EC, 0x5b, ORDINARY, normalChar },
    { 0xF8EB, 0x5a, ORDINARY, normalChar },
    { 0xE201, 0x21, RELATION, normalChar },
    { 0xE205, 0x25, RELATION, normalChar },
    { 0xF8F6, 0x5d, ORDINARY, normalChar },
    { 0xF8F7, 0x5e, ORDINARY, normalChar },
    { 0xF8F4, 0x50, ORDINARY, normalChar },
    { 0xF8F2, 0x51, ORDINARY, normalChar },
    { 0xF8F3, 0x52, ORDINARY, normalChar },
    { 0xF8F0, 0x4b, ORDINARY, normalChar },
    { 0xF8F1, 0x4f, ORDINARY, normalChar },
    { 0xF8F8, 0x5f, ORDINARY, normalChar },
    { 0xF8F9, 0x4c, ORDINARY, normalChar },
    { 0xF8FD, 0x54, ORDINARY, normalChar },
    { 0xF8FE, 0x55, ORDINARY, normalChar },
    { 0xF8FB, 0x4e, ORDINARY, normalChar },
    { 0xF8FC, 0x53, ORDINARY, normalChar },
    { 0xF8FA, 0x4d, ORDINARY, normalChar },
    { 0xF8F5, 0x62, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixthreeMap[] = {
    { 0xE2F8, 0x29, RELATION, normalChar },
    { 0xE2FE, 0x36, RELATION, normalChar },
    { 0xE2FF, 0x62, RELATION, normalChar },
    { 0xE2FA, 0x23, RELATION, normalChar },
    { 0x2323, 0x67, ORDINARY, normalChar },
    { 0x2322, 0x68, ORDINARY, normalChar },
    { 0xE2F9, 0x2d, RELATION, normalChar },
    { 0xE2F5, 0x59, RELATION, normalChar },
    { 0xE2F4, 0x55, RELATION, normalChar },
    { 0xE2F6, 0x50, RELATION, normalChar },
    { 0x227D, 0x64, ORDINARY, normalChar },
    { 0x2280, 0x49, ORDINARY, normalChar },
    { 0x2281, 0x74, ORDINARY, normalChar },
    { 0x221E, 0x4e, ORDINARY, normalChar },
    { 0x221D, 0x66, RELATION, normalChar },
    { 0xE2B2, 0x4b, RELATION, normalChar },
    { 0xE2B4, 0x76, RELATION, normalChar },
    { 0xE5F1, 0x78, RELATION, normalChar },
    { 0x2243, 0x2e, RELATION, normalChar },
    { 0x22DF, 0x65, ORDINARY, normalChar },
    { 0x22DE, 0x38, ORDINARY, normalChar },
    { 0x22DB, 0x58, ORDINARY, normalChar },
    { 0x22DA, 0x2c, ORDINARY, normalChar },
    { 0x22D6, 0x31, ORDINARY, normalChar },
    { 0x22D7, 0x5d, ORDINARY, normalChar },
    { 0x22D4, 0x69, ORDINARY, normalChar },
    { 0xE2A8, 0x47, RELATION, normalChar },
    { 0x22D8, 0x30, ORDINARY, normalChar },
    { 0x22D9, 0x5c, ORDINARY, normalChar },
    { 0x2272, 0x28, ORDINARY, normalChar },
    { 0xE2A6, 0x6b, RELATION, normalChar },
    { 0xE2A7, 0x3f, RELATION, normalChar },
    { 0x2264, 0x25, RELATION, normalChar },
    { 0x2265, 0x52, RELATION, normalChar },
    { 0x2266, 0x26, ORDINARY, normalChar },
    { 0x2267, 0x53, ORDINARY, normalChar },
    { 0x2268, 0x41, ORDINARY, normalChar },
    { 0xE2A0, 0x6c, RELATION, normalChar },
    { 0xE2A2, 0x43, RELATION, normalChar },
    { 0xE2A3, 0x40, RELATION, normalChar },
    { 0xE300, 0x63, RELATION, normalChar },
    { 0x226A, 0x2f, RELATION, normalChar },
    { 0x226B, 0x5b, RELATION, normalChar },
    { 0x226C, 0x48, RELATION, normalChar },
    { 0x226E, 0x3e, ORDINARY, normalChar },
    { 0x226F, 0x6a, ORDINARY, normalChar },
    { 0x2220, 0x3a, ORDINARY, normalChar },
    { 0x227F, 0x61, ORDINARY, normalChar },
    { 0x227E, 0x34, ORDINARY, normalChar },
    { 0x227C, 0x37, ORDINARY, normalChar },
    { 0x227B, 0x5f, ORDINARY, normalChar },
    { 0x227A, 0x33, ORDINARY, normalChar },
    { 0x22E7, 0x6e, ORDINARY, normalChar },
    { 0x22E6, 0x42, ORDINARY, normalChar },
    { 0x22E9, 0x75, ORDINARY, normalChar },
    { 0x22E8, 0x4a, ORDINARY, normalChar },
    { 0xE5CF, 0x24, RELATION, normalChar },
    { 0x2277, 0x57, ORDINARY, normalChar },
    { 0x2276, 0x2b, ORDINARY, normalChar },
    { 0x2273, 0x54, ORDINARY, normalChar },
    { 0x2271, 0x72, ORDINARY, normalChar },
    { 0x2270, 0x46, ORDINARY, normalChar },
    { 0x2269, 0x6d, ORDINARY, normalChar },
    { 0xE2FD, 0x35, RELATION, normalChar },
    { 0xE5DC, 0x4d, RELATION, normalChar },
    { 0xE5DF, 0x51, RELATION, normalChar },
    { 0xE29F, 0x6f, RELATION, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixtenMap[] = {
    { 0x2202, 0x76, ORDINARY, normalChar },
    { 0x2207, 0x56, ORDINARY, normalChar },
    { 0x03BE, 0x78, ORDINARY, normalChar },
    { 0x03BD, 0x6e, ORDINARY, normalChar },
    { 0x03BC, 0x6d, ORDINARY, normalChar },
    { 0x03BB, 0x6c, ORDINARY, normalChar },
    { 0x03BA, 0x6b, ORDINARY, normalChar },
    { 0x03B9, 0x69, ORDINARY, normalChar },
    { 0x03B8, 0x71, ORDINARY, normalChar },
    { 0x03B7, 0x68, ORDINARY, normalChar },
    { 0x03B6, 0x7a, ORDINARY, normalChar },
    { 0x03B5, 0x33, ORDINARY, normalChar },
    { 0x03B4, 0x64, ORDINARY, normalChar },
    { 0x03B3, 0x67, ORDINARY, normalChar },
    { 0x03B2, 0x62, ORDINARY, normalChar },
    { 0x03B1, 0x61, ORDINARY, normalChar },
    { 0x039E, 0x58, ORDINARY, normalChar },
    { 0x039B, 0x4c, ORDINARY, normalChar },
    { 0x0398, 0x51, ORDINARY, normalChar },
    { 0x0394, 0x44, ORDINARY, normalChar },
    { 0x0393, 0x47, ORDINARY, normalChar },
    { 0x03F1, 0x39, ORDINARY, normalChar },
    { 0x03F0, 0x38, ORDINARY, normalChar },
    { 0x03F5, 0x65, ORDINARY, normalChar },
    { 0xE663, 0x59, ORDINARY, normalChar },
    { 0x03A6, 0x46, ORDINARY, normalChar },
    { 0x03A3, 0x53, ORDINARY, normalChar },
    { 0x03A0, 0x50, ORDINARY, normalChar },
    { 0x03A8, 0x4a, ORDINARY, normalChar },
    { 0x03A9, 0x55, ORDINARY, normalChar },
    { 0x03C3, 0x73, ORDINARY, normalChar },
    { 0x2127, 0x5b, ORDINARY, normalChar },
    { 0x03D1, 0x77, ORDINARY, normalChar },
    { 0x03D5, 0x34, ORDINARY, normalChar },
    { 0x03D6, 0x36, ORDINARY, normalChar },
    { 0x03C0, 0x70, ORDINARY, normalChar },
    { 0x03C1, 0x72, ORDINARY, normalChar },
    { 0x03C2, 0x32, ORDINARY, normalChar },
    { 0x03C4, 0x74, ORDINARY, normalChar },
    { 0x03C5, 0x79, ORDINARY, normalChar },
    { 0x03C6, 0x66, ORDINARY, normalChar },
    { 0x03C7, 0x63, ORDINARY, normalChar },
    { 0x03C8, 0x6a, ORDINARY, normalChar },
    { 0x03C9, 0x75, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixsixteenMap[] = {
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixoneMap[] = {
    { 0x21CD, 0x47, RELATION, normalChar },
    { 0x21AD, 0x2b, RELATION, normalChar },
    { 0x21A2, 0x3b, RELATION, normalChar },
    { 0x21A3, 0x3c, RELATION, normalChar },
    { 0x21A0, 0x39, RELATION, normalChar },
    { 0x21AC, 0x49, RELATION, normalChar },
    { 0x21AA, 0x2d, RELATION, normalChar },
    { 0x21AE, 0x4f, RELATION, normalChar },
    { 0x21C6, 0x24, RELATION, normalChar },
    { 0x21C0, 0x2e, ORDINARY, normalChar },
    { 0x21C2, 0x58, RELATION, normalChar },
    { 0x21D1, 0x5c, RELATION, normalChar },
    { 0x21D0, 0x2a, RELATION, normalChar },
    { 0x21D3, 0x5a, RELATION, normalChar },
    { 0x21CE, 0x50, RELATION, normalChar },
    { 0x21CB, 0x21, RELATION, normalChar },
    { 0x21CC, 0x23, ORDINARY, normalChar },
    { 0x219B, 0x4b, RELATION, normalChar },
    { 0x219A, 0x46, RELATION, normalChar },
    { 0x219D, 0x2c, RELATION, normalChar },
    { 0x219E, 0x38, RELATION, normalChar },
    { 0x2198, 0x61, ORDINARY, normalChar },
    { 0x2199, 0x63, ORDINARY, normalChar },
    { 0x2192, 0x2f, RELATION, normalChar },
    { 0x2193, 0x59, RELATION, normalChar },
    { 0x2190, 0x29, RELATION, normalChar },
    { 0x2191, 0x5b, RELATION, normalChar },
    { 0x2196, 0x5f, ORDINARY, normalChar },
    { 0x2197, 0x62, ORDINARY, normalChar },
    { 0x2194, 0x34, RELATION, normalChar },
    { 0x2195, 0x68, ORDINARY, normalChar },
    { 0x21C8, 0x6a, RELATION, normalChar },
    { 0x21C4, 0x25, ORDINARY, normalChar },
    { 0x21C3, 0x57, RELATION, normalChar },
    { 0x22EE, 0xab, ORDINARY, normalChar },
    { 0x21CF, 0x4c, RELATION, normalChar },
    { 0x21CA, 0x6b, RELATION, normalChar },
    { 0x21D5, 0x69, ORDINARY, normalChar },
    { 0x21D4, 0x35, RELATION, normalChar },
    { 0x21D2, 0x30, RELATION, normalChar },
    { 0x21A9, 0x26, RELATION, normalChar },
    { 0x21C1, 0x48, ORDINARY, normalChar },
    { 0x21BC, 0x28, ORDINARY, normalChar },
    { 0x21BF, 0x5d, RELATION, normalChar },
    { 0x21BE, 0x5e, RELATION, normalChar },
    { 0x21BD, 0x45, ORDINARY, normalChar },
    { 0x21B1, 0x6c, RELATION, normalChar },
    { 0x21B0, 0x51, RELATION, normalChar },
    { 0x21B7, 0x67, RELATION, normalChar },
    { 0x21B6, 0x66, RELATION, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixtwoMap[] = {
    { 0x2203, 0x64, ORDINARY, normalChar },
    { 0x2200, 0x63, ORDINARY, normalChar },
    { 0x2201, 0x66, ORDINARY, normalChar },
    { 0x228E, 0x6d, ORDINARY, normalChar },
    { 0x22BB, 0x76, ORDINARY, normalChar },
    { 0x22BC, 0x77, ORDINARY, normalChar },
    { 0x22B2, 0x39, ORDINARY, normalChar },
    { 0x22B3, 0x38, ORDINARY, normalChar },
    { 0x2605, 0x2b, ORDINARY, normalChar },
    { 0x2306, 0x79, ORDINARY, normalChar },
    { 0x25BE, 0x3b, ORDINARY, normalChar },
    { 0x25B6, 0x3c, ORDINARY, normalChar },
    { 0x25B5, 0x36, ORDINARY, normalChar },
    { 0x25B4, 0x3a, ORDINARY, normalChar },
    { 0x22D2, 0x6a, ORDINARY, normalChar },
    { 0x22D3, 0x69, ORDINARY, normalChar },
    { 0x2293, 0x6c, ORDINARY, normalChar },
    { 0x2294, 0x6b, ORDINARY, normalChar },
    { 0x2227, 0x6f, BINOP, normalChar },
    { 0x2228, 0x6e, BINOP, normalChar },
    { 0x2229, 0x68, ORDINARY, normalChar },
    { 0x222A, 0x67, ORDINARY, normalChar },
    { 0x2118, 0xa7, ORDINARY, normalChar },
    { 0x2660, 0x28, ORDINARY, normalChar },
    { 0x2661, 0x26, ORDINARY, normalChar },
    { 0x2662, 0x25, ORDINARY, normalChar },
    { 0x2663, 0x29, ORDINARY, normalChar },
    { 0x25C0, 0x3d, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixsixMap[] = {
    { 0x228E, 0x5d, ORDINARY, normalChar },
    { 0x221A, 0x4f, ORDINARY, normalChar },
    { 0x220F, 0x54, ORDINARY, normalChar },
    { 0x2211, 0x53, ORDINARY, normalChar },
    { 0x2210, 0x55, ORDINARY, normalChar },
    { 0x2293, 0x5c, ORDINARY, normalChar },
    { 0x2294, 0x5b, ORDINARY, normalChar },
    { 0x222E, 0x46, ORDINARY, normalChar },
    { 0x2227, 0x59, BINOP, normalChar },
    { 0x2228, 0x5a, BINOP, normalChar },
    { 0x2229, 0x58, ORDINARY, normalChar },
    { 0x222F, 0x48, ORDINARY, normalChar },
    { 0x222A, 0x57, ORDINARY, normalChar },
    { 0x222B, 0x45, ORDINARY, normalChar },
    { 0x2233, 0x4b, ORDINARY, normalChar },
    { 0x2232, 0x4c, ORDINARY, normalChar },
    { 0x2231, 0x4d, ORDINARY, normalChar },
    { 0x2230, 0x49, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixsevenMap[] = {
    { 0x007C, 0x4b, ORDINARY, normalChar },
    { 0x007B, 0x41, ORDINARY, normalChar },
    { 0x007D, 0x42, ORDINARY, normalChar },
    { 0x2329, 0x43, ORDINARY, normalChar },
    { 0x232A, 0x44, ORDINARY, normalChar },
    { 0x005B, 0x3f, ORDINARY, normalChar },
    { 0x005D, 0x40, ORDINARY, normalChar },
    { 0x0028, 0x3d, ORDINARY, normalChar },
    { 0x0029, 0x3e, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixtwelveMap[] = {
    { 0x03C5, 0x79, ORDINARY, boldChar },
    { 0x03BE, 0x78, ORDINARY, boldChar },
    { 0x03BD, 0x6e, ORDINARY, boldChar },
    { 0x03BC, 0x6d, ORDINARY, boldChar },
    { 0x03BB, 0x6c, ORDINARY, boldChar },
    { 0x03BA, 0x6b, ORDINARY, boldChar },
    { 0x03A6, 0x46, ORDINARY, boldChar },
    { 0x2202, 0x76, ORDINARY, boldChar },
    { 0xE663, 0x59, ORDINARY, boldChar },
    { 0x039E, 0x58, ORDINARY, boldChar },
    { 0x039B, 0x4c, ORDINARY, boldChar },
    { 0x2207, 0x56, ORDINARY, boldChar },
    { 0x03C0, 0x70, ORDINARY, boldChar },
    { 0x03C1, 0x72, ORDINARY, boldChar },
    { 0x03C2, 0x32, ORDINARY, boldChar },
    { 0x03C3, 0x73, ORDINARY, boldChar },
    { 0x03C4, 0x74, ORDINARY, boldChar },
    { 0x03A3, 0x53, ORDINARY, boldChar },
    { 0x03C6, 0x66, ORDINARY, boldChar },
    { 0x03C7, 0x63, ORDINARY, boldChar },
    { 0x03C8, 0x6a, ORDINARY, boldChar },
    { 0x03C9, 0x75, ORDINARY, boldChar },
    { 0x03A8, 0x4a, ORDINARY, boldChar },
    { 0x03A9, 0x55, ORDINARY, boldChar },
    { 0x03A0, 0x50, ORDINARY, boldChar },
    { 0x2127, 0x5b, ORDINARY, boldChar },
    { 0x03D1, 0x77, ORDINARY, boldChar },
    { 0x0398, 0x51, ORDINARY, boldChar },
    { 0x0394, 0x44, ORDINARY, boldChar },
    { 0x0393, 0x47, ORDINARY, boldChar },
    { 0x03F1, 0x39, ORDINARY, boldChar },
    { 0x03F0, 0x38, ORDINARY, boldChar },
    { 0x03F5, 0x65, ORDINARY, boldChar },
    { 0x03D5, 0x34, ORDINARY, boldChar },
    { 0x03B9, 0x69, ORDINARY, boldChar },
    { 0x03B8, 0x71, ORDINARY, boldChar },
    { 0x03B7, 0x68, ORDINARY, boldChar },
    { 0x03B6, 0x7a, ORDINARY, boldChar },
    { 0x03B5, 0x33, ORDINARY, boldChar },
    { 0x03B4, 0x64, ORDINARY, boldChar },
    { 0x03B3, 0x67, ORDINARY, boldChar },
    { 0x03B2, 0x62, ORDINARY, boldChar },
    { 0x03B1, 0x61, ORDINARY, boldChar },
    { 0x03D6, 0x36, ORDINARY, boldChar },
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixseventeenMap[] = {
    { 0, 0, ORDINARY, normalChar }
};



static InternFontTable esstixfourMap[] = {
    { 0x220B, 0x48, RELATION, normalChar },
    { 0x220A, 0x32, RELATION, normalChar },
    { 0x2252, 0x6a, RELATION, normalChar },
    { 0x2250, 0x5e, RELATION, normalChar },
    { 0x2253, 0x69, RELATION, normalChar },
    { 0x2283, 0x49, RELATION, normalChar },
    { 0x2287, 0x4a, RELATION, normalChar },
    { 0x2284, 0x3c, RELATION, normalChar },
    { 0x2288, 0x3f, RELATION, normalChar },
    { 0x2289, 0x53, RELATION, normalChar },
    { 0xE2BA, 0x52, RELATION, normalChar },
    { 0xE2BB, 0x55, RELATION, normalChar },
    { 0xE2B6, 0x40, RELATION, normalChar },
    { 0xE2B9, 0x3e, RELATION, normalChar },
    { 0xE2B8, 0x41, RELATION, normalChar },
    { 0x228B, 0x51, RELATION, normalChar },
    { 0x228A, 0x3d, RELATION, normalChar },
    { 0x228F, 0x37, RELATION, normalChar },
    { 0x22D0, 0x36, RELATION, normalChar },
    { 0x2260, 0x73, RELATION, normalChar },
    { 0xE304, 0x35, RELATION, normalChar },
    { 0x2282, 0x33, RELATION, normalChar },
    { 0x2286, 0x34, RELATION, normalChar },
    { 0x2291, 0x38, RELATION, normalChar },
    { 0x2290, 0x4d, RELATION, normalChar },
    { 0x22D1, 0x4c, RELATION, normalChar },
    { 0x22EF, 0x2f, ORDINARY, normalChar },
    { 0xE2B0, 0x56, RELATION, normalChar },
    { 0xE2B7, 0x54, RELATION, normalChar },
    { 0x00AC, 0x6c, ORDINARY, normalChar },
    { 0xE305, 0x4b, RELATION, normalChar },
    { 0x2026, 0x2e, ORDINARY, normalChar },
    { 0x223C, 0xa2, RELATION, normalChar },
    { 0x2245, 0x79, RELATION, normalChar },
    { 0x22F1, 0x31, ORDINARY, normalChar },
    { 0, 0, ORDINARY, normalChar }
};

