lib Library API Documentation

esstixfontmapping.cc

00001 // 00002 // Created: Thu May 29 14:40:55 2003 00003 // by: gensymbolfontmap.py 00004 // from: symbol.xml 00005 // 00006 // WARNING! All changes made in this file will be lost! 00007 00008 00009 00010 static InternFontTable esstixnineMap[] = { 00011 { 0x0394, 0x44, ORDINARY, italicChar }, 00012 { 0x03BE, 0x78, ORDINARY, italicChar }, 00013 { 0x03BD, 0x6e, ORDINARY, italicChar }, 00014 { 0x03BC, 0x6d, ORDINARY, italicChar }, 00015 { 0x03BB, 0x6c, ORDINARY, italicChar }, 00016 { 0x03BA, 0x6b, ORDINARY, italicChar }, 00017 { 0x2202, 0x76, ORDINARY, italicChar }, 00018 { 0x2207, 0x56, ORDINARY, italicChar }, 00019 { 0x03C0, 0x70, ORDINARY, italicChar }, 00020 { 0x03C1, 0x72, ORDINARY, italicChar }, 00021 { 0x03C2, 0x32, ORDINARY, italicChar }, 00022 { 0x03C3, 0x73, ORDINARY, italicChar }, 00023 { 0x03C4, 0x74, ORDINARY, italicChar }, 00024 { 0x03C5, 0x79, ORDINARY, italicChar }, 00025 { 0x03C6, 0x66, ORDINARY, italicChar }, 00026 { 0x03C7, 0x63, ORDINARY, italicChar }, 00027 { 0x03C8, 0x6a, ORDINARY, italicChar }, 00028 { 0x03C9, 0x75, ORDINARY, italicChar }, 00029 { 0x0393, 0x47, ORDINARY, italicChar }, 00030 { 0x03A3, 0x53, ORDINARY, italicChar }, 00031 { 0x2127, 0x5b, ORDINARY, italicChar }, 00032 { 0x03F1, 0x39, ORDINARY, italicChar }, 00033 { 0x03F0, 0x38, ORDINARY, italicChar }, 00034 { 0x03F5, 0x65, ORDINARY, italicChar }, 00035 { 0x03B9, 0x69, ORDINARY, italicChar }, 00036 { 0x03B8, 0x71, ORDINARY, italicChar }, 00037 { 0x03B7, 0x68, ORDINARY, italicChar }, 00038 { 0x03B6, 0x7a, ORDINARY, italicChar }, 00039 { 0x03B5, 0x33, ORDINARY, italicChar }, 00040 { 0x03B4, 0x64, ORDINARY, italicChar }, 00041 { 0x03B3, 0x67, ORDINARY, italicChar }, 00042 { 0x03B2, 0x62, ORDINARY, italicChar }, 00043 { 0x03B1, 0x61, ORDINARY, italicChar }, 00044 { 0xE663, 0x59, ORDINARY, italicChar }, 00045 { 0x039E, 0x58, ORDINARY, italicChar }, 00046 { 0x039B, 0x4c, ORDINARY, italicChar }, 00047 { 0x03A6, 0x46, ORDINARY, italicChar }, 00048 { 0x03A0, 0x50, ORDINARY, italicChar }, 00049 { 0x03A8, 0x4a, ORDINARY, italicChar }, 00050 { 0x03A9, 0x55, ORDINARY, italicChar }, 00051 { 0x0398, 0x51, ORDINARY, italicChar }, 00052 { 0x03D1, 0x77, ORDINARY, italicChar }, 00053 { 0x03D5, 0x34, ORDINARY, italicChar }, 00054 { 0x03D6, 0x36, ORDINARY, italicChar }, 00055 { 0, 0, ORDINARY, normalChar } 00056 }; 00057 00058 00059 00060 static InternFontTable esstixthirteenMap[] = { 00061 { 0, 0, ORDINARY, normalChar } 00062 }; 00063 00064 00065 00066 static InternFontTable esstixelevenMap[] = { 00067 { 0x03BE, 0x78, ORDINARY, boldItalicChar }, 00068 { 0x03BD, 0x6e, ORDINARY, boldItalicChar }, 00069 { 0x03BC, 0x6d, ORDINARY, boldItalicChar }, 00070 { 0x03BB, 0x6c, ORDINARY, boldItalicChar }, 00071 { 0x03BA, 0x6b, ORDINARY, boldItalicChar }, 00072 { 0x03A6, 0x46, ORDINARY, boldItalicChar }, 00073 { 0x2202, 0x76, ORDINARY, boldItalicChar }, 00074 { 0xE663, 0x59, ORDINARY, boldItalicChar }, 00075 { 0x039E, 0x58, ORDINARY, boldItalicChar }, 00076 { 0x039B, 0x4c, ORDINARY, boldItalicChar }, 00077 { 0x2207, 0x56, ORDINARY, boldItalicChar }, 00078 { 0x03C0, 0x70, ORDINARY, boldItalicChar }, 00079 { 0x03C1, 0x72, ORDINARY, boldItalicChar }, 00080 { 0x03C2, 0x32, ORDINARY, boldItalicChar }, 00081 { 0x03C3, 0x73, ORDINARY, boldItalicChar }, 00082 { 0x03C4, 0x74, ORDINARY, boldItalicChar }, 00083 { 0x03C5, 0x79, ORDINARY, boldItalicChar }, 00084 { 0x03C6, 0x66, ORDINARY, boldItalicChar }, 00085 { 0x03C7, 0x63, ORDINARY, boldItalicChar }, 00086 { 0x03C8, 0x6a, ORDINARY, boldItalicChar }, 00087 { 0x03C9, 0x75, ORDINARY, boldItalicChar }, 00088 { 0x03A9, 0x55, ORDINARY, boldItalicChar }, 00089 { 0x03A8, 0x4a, ORDINARY, boldItalicChar }, 00090 { 0x03A3, 0x53, ORDINARY, boldItalicChar }, 00091 { 0x03A0, 0x50, ORDINARY, boldItalicChar }, 00092 { 0x2127, 0x5b, ORDINARY, boldItalicChar }, 00093 { 0x03D1, 0x77, ORDINARY, boldItalicChar }, 00094 { 0x0398, 0x51, ORDINARY, boldItalicChar }, 00095 { 0x0394, 0x44, ORDINARY, boldItalicChar }, 00096 { 0x0393, 0x47, ORDINARY, boldItalicChar }, 00097 { 0x03F1, 0x39, ORDINARY, boldItalicChar }, 00098 { 0x03F0, 0x38, ORDINARY, boldItalicChar }, 00099 { 0x03F5, 0x65, ORDINARY, boldItalicChar }, 00100 { 0x03D5, 0x34, ORDINARY, boldItalicChar }, 00101 { 0x03B9, 0x69, ORDINARY, boldItalicChar }, 00102 { 0x03B8, 0x71, ORDINARY, boldItalicChar }, 00103 { 0x03B7, 0x68, ORDINARY, boldItalicChar }, 00104 { 0x03B6, 0x7a, ORDINARY, boldItalicChar }, 00105 { 0x03B5, 0x33, ORDINARY, boldItalicChar }, 00106 { 0x03B4, 0x64, ORDINARY, boldItalicChar }, 00107 { 0x03B3, 0x67, ORDINARY, boldItalicChar }, 00108 { 0x03B2, 0x62, ORDINARY, boldItalicChar }, 00109 { 0x03B1, 0x61, ORDINARY, boldItalicChar }, 00110 { 0x03D6, 0x36, ORDINARY, boldItalicChar }, 00111 { 0, 0, ORDINARY, normalChar } 00112 }; 00113 00114 00115 00116 static InternFontTable esstixfourteenMap[] = { 00117 { 0x2138, 0x63, ORDINARY, normalChar }, 00118 { 0x2135, 0x61, ORDINARY, normalChar }, 00119 { 0x2136, 0x62, ORDINARY, normalChar }, 00120 { 0x2137, 0x64, ORDINARY, normalChar }, 00121 { 0, 0, ORDINARY, normalChar } 00122 }; 00123 00124 00125 00126 static InternFontTable esstixfiveMap[] = { 00127 { 0x00B1, 0x47, BINOP, normalChar }, 00128 { 0x00F7, 0x4f, BINOP, normalChar }, 00129 { 0x2213, 0x48, ORDINARY, normalChar }, 00130 { 0x22C5, 0x25, BINOP, normalChar }, 00131 { 0x2295, 0x34, BINOP, normalChar }, 00132 { 0x2297, 0x35, BINOP, normalChar }, 00133 { 0x2296, 0x32, BINOP, normalChar }, 00134 { 0x2299, 0x31, ORDINARY, normalChar }, 00135 { 0x2298, 0x2f, BINOP, normalChar }, 00136 { 0x00D7, 0x23, BINOP, normalChar }, 00137 { 0, 0, ORDINARY, normalChar } 00138 }; 00139 00140 00141 00142 static InternFontTable esstixfifteenMap[] = { 00143 { 0x211C, 0x4e, ORDINARY, normalChar }, 00144 { 0x2111, 0x49, ORDINARY, normalChar }, 00145 { 0, 0, ORDINARY, normalChar } 00146 }; 00147 00148 00149 00150 static InternFontTable esstixeightMap[] = { 00151 { 0x2321, 0x63, ORDINARY, normalChar }, 00152 { 0x2320, 0x61, ORDINARY, normalChar }, 00153 { 0xF8EF, 0x4a, ORDINARY, normalChar }, 00154 { 0xF8EE, 0x49, ORDINARY, normalChar }, 00155 { 0xF8ED, 0x5c, ORDINARY, normalChar }, 00156 { 0xF8EC, 0x5b, ORDINARY, normalChar }, 00157 { 0xF8EB, 0x5a, ORDINARY, normalChar }, 00158 { 0xE201, 0x21, RELATION, normalChar }, 00159 { 0xE205, 0x25, RELATION, normalChar }, 00160 { 0xF8F6, 0x5d, ORDINARY, normalChar }, 00161 { 0xF8F7, 0x5e, ORDINARY, normalChar }, 00162 { 0xF8F4, 0x50, ORDINARY, normalChar }, 00163 { 0xF8F2, 0x51, ORDINARY, normalChar }, 00164 { 0xF8F3, 0x52, ORDINARY, normalChar }, 00165 { 0xF8F0, 0x4b, ORDINARY, normalChar }, 00166 { 0xF8F1, 0x4f, ORDINARY, normalChar }, 00167 { 0xF8F8, 0x5f, ORDINARY, normalChar }, 00168 { 0xF8F9, 0x4c, ORDINARY, normalChar }, 00169 { 0xF8FD, 0x54, ORDINARY, normalChar }, 00170 { 0xF8FE, 0x55, ORDINARY, normalChar }, 00171 { 0xF8FB, 0x4e, ORDINARY, normalChar }, 00172 { 0xF8FC, 0x53, ORDINARY, normalChar }, 00173 { 0xF8FA, 0x4d, ORDINARY, normalChar }, 00174 { 0xF8F5, 0x62, ORDINARY, normalChar }, 00175 { 0, 0, ORDINARY, normalChar } 00176 }; 00177 00178 00179 00180 static InternFontTable esstixthreeMap[] = { 00181 { 0xE2F8, 0x29, RELATION, normalChar }, 00182 { 0xE2FE, 0x36, RELATION, normalChar }, 00183 { 0xE2FF, 0x62, RELATION, normalChar }, 00184 { 0xE2FA, 0x23, RELATION, normalChar }, 00185 { 0x2323, 0x67, ORDINARY, normalChar }, 00186 { 0x2322, 0x68, ORDINARY, normalChar }, 00187 { 0xE2F9, 0x2d, RELATION, normalChar }, 00188 { 0xE2F5, 0x59, RELATION, normalChar }, 00189 { 0xE2F4, 0x55, RELATION, normalChar }, 00190 { 0xE2F6, 0x50, RELATION, normalChar }, 00191 { 0x227D, 0x64, ORDINARY, normalChar }, 00192 { 0x2280, 0x49, ORDINARY, normalChar }, 00193 { 0x2281, 0x74, ORDINARY, normalChar }, 00194 { 0x221E, 0x4e, ORDINARY, normalChar }, 00195 { 0x221D, 0x66, RELATION, normalChar }, 00196 { 0xE2B2, 0x4b, RELATION, normalChar }, 00197 { 0xE2B4, 0x76, RELATION, normalChar }, 00198 { 0xE5F1, 0x78, RELATION, normalChar }, 00199 { 0x2243, 0x2e, RELATION, normalChar }, 00200 { 0x22DF, 0x65, ORDINARY, normalChar }, 00201 { 0x22DE, 0x38, ORDINARY, normalChar }, 00202 { 0x22DB, 0x58, ORDINARY, normalChar }, 00203 { 0x22DA, 0x2c, ORDINARY, normalChar }, 00204 { 0x22D6, 0x31, ORDINARY, normalChar }, 00205 { 0x22D7, 0x5d, ORDINARY, normalChar }, 00206 { 0x22D4, 0x69, ORDINARY, normalChar }, 00207 { 0xE2A8, 0x47, RELATION, normalChar }, 00208 { 0x22D8, 0x30, ORDINARY, normalChar }, 00209 { 0x22D9, 0x5c, ORDINARY, normalChar }, 00210 { 0x2272, 0x28, ORDINARY, normalChar }, 00211 { 0xE2A6, 0x6b, RELATION, normalChar }, 00212 { 0xE2A7, 0x3f, RELATION, normalChar }, 00213 { 0x2264, 0x25, RELATION, normalChar }, 00214 { 0x2265, 0x52, RELATION, normalChar }, 00215 { 0x2266, 0x26, ORDINARY, normalChar }, 00216 { 0x2267, 0x53, ORDINARY, normalChar }, 00217 { 0x2268, 0x41, ORDINARY, normalChar }, 00218 { 0xE2A0, 0x6c, RELATION, normalChar }, 00219 { 0xE2A2, 0x43, RELATION, normalChar }, 00220 { 0xE2A3, 0x40, RELATION, normalChar }, 00221 { 0xE300, 0x63, RELATION, normalChar }, 00222 { 0x226A, 0x2f, RELATION, normalChar }, 00223 { 0x226B, 0x5b, RELATION, normalChar }, 00224 { 0x226C, 0x48, RELATION, normalChar }, 00225 { 0x226E, 0x3e, ORDINARY, normalChar }, 00226 { 0x226F, 0x6a, ORDINARY, normalChar }, 00227 { 0x2220, 0x3a, ORDINARY, normalChar }, 00228 { 0x227F, 0x61, ORDINARY, normalChar }, 00229 { 0x227E, 0x34, ORDINARY, normalChar }, 00230 { 0x227C, 0x37, ORDINARY, normalChar }, 00231 { 0x227B, 0x5f, ORDINARY, normalChar }, 00232 { 0x227A, 0x33, ORDINARY, normalChar }, 00233 { 0x22E7, 0x6e, ORDINARY, normalChar }, 00234 { 0x22E6, 0x42, ORDINARY, normalChar }, 00235 { 0x22E9, 0x75, ORDINARY, normalChar }, 00236 { 0x22E8, 0x4a, ORDINARY, normalChar }, 00237 { 0xE5CF, 0x24, RELATION, normalChar }, 00238 { 0x2277, 0x57, ORDINARY, normalChar }, 00239 { 0x2276, 0x2b, ORDINARY, normalChar }, 00240 { 0x2273, 0x54, ORDINARY, normalChar }, 00241 { 0x2271, 0x72, ORDINARY, normalChar }, 00242 { 0x2270, 0x46, ORDINARY, normalChar }, 00243 { 0x2269, 0x6d, ORDINARY, normalChar }, 00244 { 0xE2FD, 0x35, RELATION, normalChar }, 00245 { 0xE5DC, 0x4d, RELATION, normalChar }, 00246 { 0xE5DF, 0x51, RELATION, normalChar }, 00247 { 0xE29F, 0x6f, RELATION, normalChar }, 00248 { 0, 0, ORDINARY, normalChar } 00249 }; 00250 00251 00252 00253 static InternFontTable esstixtenMap[] = { 00254 { 0x2202, 0x76, ORDINARY, normalChar }, 00255 { 0x2207, 0x56, ORDINARY, normalChar }, 00256 { 0x03BE, 0x78, ORDINARY, normalChar }, 00257 { 0x03BD, 0x6e, ORDINARY, normalChar }, 00258 { 0x03BC, 0x6d, ORDINARY, normalChar }, 00259 { 0x03BB, 0x6c, ORDINARY, normalChar }, 00260 { 0x03BA, 0x6b, ORDINARY, normalChar }, 00261 { 0x03B9, 0x69, ORDINARY, normalChar }, 00262 { 0x03B8, 0x71, ORDINARY, normalChar }, 00263 { 0x03B7, 0x68, ORDINARY, normalChar }, 00264 { 0x03B6, 0x7a, ORDINARY, normalChar }, 00265 { 0x03B5, 0x33, ORDINARY, normalChar }, 00266 { 0x03B4, 0x64, ORDINARY, normalChar }, 00267 { 0x03B3, 0x67, ORDINARY, normalChar }, 00268 { 0x03B2, 0x62, ORDINARY, normalChar }, 00269 { 0x03B1, 0x61, ORDINARY, normalChar }, 00270 { 0x039E, 0x58, ORDINARY, normalChar }, 00271 { 0x039B, 0x4c, ORDINARY, normalChar }, 00272 { 0x0398, 0x51, ORDINARY, normalChar }, 00273 { 0x0394, 0x44, ORDINARY, normalChar }, 00274 { 0x0393, 0x47, ORDINARY, normalChar }, 00275 { 0x03F1, 0x39, ORDINARY, normalChar }, 00276 { 0x03F0, 0x38, ORDINARY, normalChar }, 00277 { 0x03F5, 0x65, ORDINARY, normalChar }, 00278 { 0xE663, 0x59, ORDINARY, normalChar }, 00279 { 0x03A6, 0x46, ORDINARY, normalChar }, 00280 { 0x03A3, 0x53, ORDINARY, normalChar }, 00281 { 0x03A0, 0x50, ORDINARY, normalChar }, 00282 { 0x03A8, 0x4a, ORDINARY, normalChar }, 00283 { 0x03A9, 0x55, ORDINARY, normalChar }, 00284 { 0x03C3, 0x73, ORDINARY, normalChar }, 00285 { 0x2127, 0x5b, ORDINARY, normalChar }, 00286 { 0x03D1, 0x77, ORDINARY, normalChar }, 00287 { 0x03D5, 0x34, ORDINARY, normalChar }, 00288 { 0x03D6, 0x36, ORDINARY, normalChar }, 00289 { 0x03C0, 0x70, ORDINARY, normalChar }, 00290 { 0x03C1, 0x72, ORDINARY, normalChar }, 00291 { 0x03C2, 0x32, ORDINARY, normalChar }, 00292 { 0x03C4, 0x74, ORDINARY, normalChar }, 00293 { 0x03C5, 0x79, ORDINARY, normalChar }, 00294 { 0x03C6, 0x66, ORDINARY, normalChar }, 00295 { 0x03C7, 0x63, ORDINARY, normalChar }, 00296 { 0x03C8, 0x6a, ORDINARY, normalChar }, 00297 { 0x03C9, 0x75, ORDINARY, normalChar }, 00298 { 0, 0, ORDINARY, normalChar } 00299 }; 00300 00301 00302 00303 static InternFontTable esstixsixteenMap[] = { 00304 { 0, 0, ORDINARY, normalChar } 00305 }; 00306 00307 00308 00309 static InternFontTable esstixoneMap[] = { 00310 { 0x21CD, 0x47, RELATION, normalChar }, 00311 { 0x21AD, 0x2b, RELATION, normalChar }, 00312 { 0x21A2, 0x3b, RELATION, normalChar }, 00313 { 0x21A3, 0x3c, RELATION, normalChar }, 00314 { 0x21A0, 0x39, RELATION, normalChar }, 00315 { 0x21AC, 0x49, RELATION, normalChar }, 00316 { 0x21AA, 0x2d, RELATION, normalChar }, 00317 { 0x21AE, 0x4f, RELATION, normalChar }, 00318 { 0x21C6, 0x24, RELATION, normalChar }, 00319 { 0x21C0, 0x2e, ORDINARY, normalChar }, 00320 { 0x21C2, 0x58, RELATION, normalChar }, 00321 { 0x21D1, 0x5c, RELATION, normalChar }, 00322 { 0x21D0, 0x2a, RELATION, normalChar }, 00323 { 0x21D3, 0x5a, RELATION, normalChar }, 00324 { 0x21CE, 0x50, RELATION, normalChar }, 00325 { 0x21CB, 0x21, RELATION, normalChar }, 00326 { 0x21CC, 0x23, ORDINARY, normalChar }, 00327 { 0x219B, 0x4b, RELATION, normalChar }, 00328 { 0x219A, 0x46, RELATION, normalChar }, 00329 { 0x219D, 0x2c, RELATION, normalChar }, 00330 { 0x219E, 0x38, RELATION, normalChar }, 00331 { 0x2198, 0x61, ORDINARY, normalChar }, 00332 { 0x2199, 0x63, ORDINARY, normalChar }, 00333 { 0x2192, 0x2f, RELATION, normalChar }, 00334 { 0x2193, 0x59, RELATION, normalChar }, 00335 { 0x2190, 0x29, RELATION, normalChar }, 00336 { 0x2191, 0x5b, RELATION, normalChar }, 00337 { 0x2196, 0x5f, ORDINARY, normalChar }, 00338 { 0x2197, 0x62, ORDINARY, normalChar }, 00339 { 0x2194, 0x34, RELATION, normalChar }, 00340 { 0x2195, 0x68, ORDINARY, normalChar }, 00341 { 0x21C8, 0x6a, RELATION, normalChar }, 00342 { 0x21C4, 0x25, ORDINARY, normalChar }, 00343 { 0x21C3, 0x57, RELATION, normalChar }, 00344 { 0x22EE, 0xab, ORDINARY, normalChar }, 00345 { 0x21CF, 0x4c, RELATION, normalChar }, 00346 { 0x21CA, 0x6b, RELATION, normalChar }, 00347 { 0x21D5, 0x69, ORDINARY, normalChar }, 00348 { 0x21D4, 0x35, RELATION, normalChar }, 00349 { 0x21D2, 0x30, RELATION, normalChar }, 00350 { 0x21A9, 0x26, RELATION, normalChar }, 00351 { 0x21C1, 0x48, ORDINARY, normalChar }, 00352 { 0x21BC, 0x28, ORDINARY, normalChar }, 00353 { 0x21BF, 0x5d, RELATION, normalChar }, 00354 { 0x21BE, 0x5e, RELATION, normalChar }, 00355 { 0x21BD, 0x45, ORDINARY, normalChar }, 00356 { 0x21B1, 0x6c, RELATION, normalChar }, 00357 { 0x21B0, 0x51, RELATION, normalChar }, 00358 { 0x21B7, 0x67, RELATION, normalChar }, 00359 { 0x21B6, 0x66, RELATION, normalChar }, 00360 { 0, 0, ORDINARY, normalChar } 00361 }; 00362 00363 00364 00365 static InternFontTable esstixtwoMap[] = { 00366 { 0x2203, 0x64, ORDINARY, normalChar }, 00367 { 0x2200, 0x63, ORDINARY, normalChar }, 00368 { 0x2201, 0x66, ORDINARY, normalChar }, 00369 { 0x228E, 0x6d, ORDINARY, normalChar }, 00370 { 0x22BB, 0x76, ORDINARY, normalChar }, 00371 { 0x22BC, 0x77, ORDINARY, normalChar }, 00372 { 0x22B2, 0x39, ORDINARY, normalChar }, 00373 { 0x22B3, 0x38, ORDINARY, normalChar }, 00374 { 0x2605, 0x2b, ORDINARY, normalChar }, 00375 { 0x2306, 0x79, ORDINARY, normalChar }, 00376 { 0x25BE, 0x3b, ORDINARY, normalChar }, 00377 { 0x25B6, 0x3c, ORDINARY, normalChar }, 00378 { 0x25B5, 0x36, ORDINARY, normalChar }, 00379 { 0x25B4, 0x3a, ORDINARY, normalChar }, 00380 { 0x22D2, 0x6a, ORDINARY, normalChar }, 00381 { 0x22D3, 0x69, ORDINARY, normalChar }, 00382 { 0x2293, 0x6c, ORDINARY, normalChar }, 00383 { 0x2294, 0x6b, ORDINARY, normalChar }, 00384 { 0x2227, 0x6f, BINOP, normalChar }, 00385 { 0x2228, 0x6e, BINOP, normalChar }, 00386 { 0x2229, 0x68, ORDINARY, normalChar }, 00387 { 0x222A, 0x67, ORDINARY, normalChar }, 00388 { 0x2118, 0xa7, ORDINARY, normalChar }, 00389 { 0x2660, 0x28, ORDINARY, normalChar }, 00390 { 0x2661, 0x26, ORDINARY, normalChar }, 00391 { 0x2662, 0x25, ORDINARY, normalChar }, 00392 { 0x2663, 0x29, ORDINARY, normalChar }, 00393 { 0x25C0, 0x3d, ORDINARY, normalChar }, 00394 { 0, 0, ORDINARY, normalChar } 00395 }; 00396 00397 00398 00399 static InternFontTable esstixsixMap[] = { 00400 { 0x228E, 0x5d, ORDINARY, normalChar }, 00401 { 0x221A, 0x4f, ORDINARY, normalChar }, 00402 { 0x220F, 0x54, ORDINARY, normalChar }, 00403 { 0x2211, 0x53, ORDINARY, normalChar }, 00404 { 0x2210, 0x55, ORDINARY, normalChar }, 00405 { 0x2293, 0x5c, ORDINARY, normalChar }, 00406 { 0x2294, 0x5b, ORDINARY, normalChar }, 00407 { 0x222E, 0x46, ORDINARY, normalChar }, 00408 { 0x2227, 0x59, BINOP, normalChar }, 00409 { 0x2228, 0x5a, BINOP, normalChar }, 00410 { 0x2229, 0x58, ORDINARY, normalChar }, 00411 { 0x222F, 0x48, ORDINARY, normalChar }, 00412 { 0x222A, 0x57, ORDINARY, normalChar }, 00413 { 0x222B, 0x45, ORDINARY, normalChar }, 00414 { 0x2233, 0x4b, ORDINARY, normalChar }, 00415 { 0x2232, 0x4c, ORDINARY, normalChar }, 00416 { 0x2231, 0x4d, ORDINARY, normalChar }, 00417 { 0x2230, 0x49, ORDINARY, normalChar }, 00418 { 0, 0, ORDINARY, normalChar } 00419 }; 00420 00421 00422 00423 static InternFontTable esstixsevenMap[] = { 00424 { 0x007C, 0x4b, ORDINARY, normalChar }, 00425 { 0x007B, 0x41, ORDINARY, normalChar }, 00426 { 0x007D, 0x42, ORDINARY, normalChar }, 00427 { 0x2329, 0x43, ORDINARY, normalChar }, 00428 { 0x232A, 0x44, ORDINARY, normalChar }, 00429 { 0x005B, 0x3f, ORDINARY, normalChar }, 00430 { 0x005D, 0x40, ORDINARY, normalChar }, 00431 { 0x0028, 0x3d, ORDINARY, normalChar }, 00432 { 0x0029, 0x3e, ORDINARY, normalChar }, 00433 { 0, 0, ORDINARY, normalChar } 00434 }; 00435 00436 00437 00438 static InternFontTable esstixtwelveMap[] = { 00439 { 0x03C5, 0x79, ORDINARY, boldChar }, 00440 { 0x03BE, 0x78, ORDINARY, boldChar }, 00441 { 0x03BD, 0x6e, ORDINARY, boldChar }, 00442 { 0x03BC, 0x6d, ORDINARY, boldChar }, 00443 { 0x03BB, 0x6c, ORDINARY, boldChar }, 00444 { 0x03BA, 0x6b, ORDINARY, boldChar }, 00445 { 0x03A6, 0x46, ORDINARY, boldChar }, 00446 { 0x2202, 0x76, ORDINARY, boldChar }, 00447 { 0xE663, 0x59, ORDINARY, boldChar }, 00448 { 0x039E, 0x58, ORDINARY, boldChar }, 00449 { 0x039B, 0x4c, ORDINARY, boldChar }, 00450 { 0x2207, 0x56, ORDINARY, boldChar }, 00451 { 0x03C0, 0x70, ORDINARY, boldChar }, 00452 { 0x03C1, 0x72, ORDINARY, boldChar }, 00453 { 0x03C2, 0x32, ORDINARY, boldChar }, 00454 { 0x03C3, 0x73, ORDINARY, boldChar }, 00455 { 0x03C4, 0x74, ORDINARY, boldChar }, 00456 { 0x03A3, 0x53, ORDINARY, boldChar }, 00457 { 0x03C6, 0x66, ORDINARY, boldChar }, 00458 { 0x03C7, 0x63, ORDINARY, boldChar }, 00459 { 0x03C8, 0x6a, ORDINARY, boldChar }, 00460 { 0x03C9, 0x75, ORDINARY, boldChar }, 00461 { 0x03A8, 0x4a, ORDINARY, boldChar }, 00462 { 0x03A9, 0x55, ORDINARY, boldChar }, 00463 { 0x03A0, 0x50, ORDINARY, boldChar }, 00464 { 0x2127, 0x5b, ORDINARY, boldChar }, 00465 { 0x03D1, 0x77, ORDINARY, boldChar }, 00466 { 0x0398, 0x51, ORDINARY, boldChar }, 00467 { 0x0394, 0x44, ORDINARY, boldChar }, 00468 { 0x0393, 0x47, ORDINARY, boldChar }, 00469 { 0x03F1, 0x39, ORDINARY, boldChar }, 00470 { 0x03F0, 0x38, ORDINARY, boldChar }, 00471 { 0x03F5, 0x65, ORDINARY, boldChar }, 00472 { 0x03D5, 0x34, ORDINARY, boldChar }, 00473 { 0x03B9, 0x69, ORDINARY, boldChar }, 00474 { 0x03B8, 0x71, ORDINARY, boldChar }, 00475 { 0x03B7, 0x68, ORDINARY, boldChar }, 00476 { 0x03B6, 0x7a, ORDINARY, boldChar }, 00477 { 0x03B5, 0x33, ORDINARY, boldChar }, 00478 { 0x03B4, 0x64, ORDINARY, boldChar }, 00479 { 0x03B3, 0x67, ORDINARY, boldChar }, 00480 { 0x03B2, 0x62, ORDINARY, boldChar }, 00481 { 0x03B1, 0x61, ORDINARY, boldChar }, 00482 { 0x03D6, 0x36, ORDINARY, boldChar }, 00483 { 0, 0, ORDINARY, normalChar } 00484 }; 00485 00486 00487 00488 static InternFontTable esstixseventeenMap[] = { 00489 { 0, 0, ORDINARY, normalChar } 00490 }; 00491 00492 00493 00494 static InternFontTable esstixfourMap[] = { 00495 { 0x220B, 0x48, RELATION, normalChar }, 00496 { 0x220A, 0x32, RELATION, normalChar }, 00497 { 0x2252, 0x6a, RELATION, normalChar }, 00498 { 0x2250, 0x5e, RELATION, normalChar }, 00499 { 0x2253, 0x69, RELATION, normalChar }, 00500 { 0x2283, 0x49, RELATION, normalChar }, 00501 { 0x2287, 0x4a, RELATION, normalChar }, 00502 { 0x2284, 0x3c, RELATION, normalChar }, 00503 { 0x2288, 0x3f, RELATION, normalChar }, 00504 { 0x2289, 0x53, RELATION, normalChar }, 00505 { 0xE2BA, 0x52, RELATION, normalChar }, 00506 { 0xE2BB, 0x55, RELATION, normalChar }, 00507 { 0xE2B6, 0x40, RELATION, normalChar }, 00508 { 0xE2B9, 0x3e, RELATION, normalChar }, 00509 { 0xE2B8, 0x41, RELATION, normalChar }, 00510 { 0x228B, 0x51, RELATION, normalChar }, 00511 { 0x228A, 0x3d, RELATION, normalChar }, 00512 { 0x228F, 0x37, RELATION, normalChar }, 00513 { 0x22D0, 0x36, RELATION, normalChar }, 00514 { 0x2260, 0x73, RELATION, normalChar }, 00515 { 0xE304, 0x35, RELATION, normalChar }, 00516 { 0x2282, 0x33, RELATION, normalChar }, 00517 { 0x2286, 0x34, RELATION, normalChar }, 00518 { 0x2291, 0x38, RELATION, normalChar }, 00519 { 0x2290, 0x4d, RELATION, normalChar }, 00520 { 0x22D1, 0x4c, RELATION, normalChar }, 00521 { 0x22EF, 0x2f, ORDINARY, normalChar }, 00522 { 0xE2B0, 0x56, RELATION, normalChar }, 00523 { 0xE2B7, 0x54, RELATION, normalChar }, 00524 { 0x00AC, 0x6c, ORDINARY, normalChar }, 00525 { 0xE305, 0x4b, RELATION, normalChar }, 00526 { 0x2026, 0x2e, ORDINARY, normalChar }, 00527 { 0x223C, 0xa2, RELATION, normalChar }, 00528 { 0x2245, 0x79, RELATION, normalChar }, 00529 { 0x22F1, 0x31, ORDINARY, normalChar }, 00530 { 0, 0, ORDINARY, normalChar } 00531 }; 00532
KDE Logo
This file is part of the documentation for lib Library Version 1.3.5.
Documentation copyright © 1996-2004 the KDE developers.
Generated on Wed Nov 17 06:54:13 2004 by doxygen 1.3.7 written by Dimitri van Heesch, © 1997-2003