symbolfontmapping.cc
00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
static InternFontTable symbolMap[] = {
00011 { 0x2208, 0xce, RELATION, normalChar },
00012 { 0x2209, 0xcf, RELATION, normalChar },
00013 { 0x2202, 0xb6, ORDINARY, normalChar },
00014 { 0x2203, 0x24, ORDINARY, normalChar },
00015 { 0x2200, 0x22, ORDINARY, normalChar },
00016 { 0x2207, 0xd1, ORDINARY, normalChar },
00017 { 0x2205, 0xc6, BINOP, normalChar },
00018 { 0x220D, 0x27, RELATION, normalChar },
00019 { 0x007C, 0x7c, ORDINARY, normalChar },
00020 { 0x007B, 0x7b, ORDINARY, normalChar },
00021 { 0x007D, 0x7d, ORDINARY, normalChar },
00022 { 0x00B0, 0xb0, ORDINARY, normalChar },
00023 { 0x00B1, 0xb1, BINOP, normalChar },
00024 { 0x2033, 0xb2, ORDINARY, normalChar },
00025 { 0x2032, 0xa2, ORDINARY, normalChar },
00026 { 0x03BE, 0x78, ORDINARY, normalChar },
00027 { 0x03BD, 0x6e, ORDINARY, normalChar },
00028 { 0x03BC, 0x6d, ORDINARY, normalChar },
00029 { 0x03BB, 0x6c, ORDINARY, normalChar },
00030 { 0x03BA, 0x6b, ORDINARY, normalChar },
00031 { 0x2329, 0xe1, ORDINARY, normalChar },
00032 { 0x2321, 0xf5, ORDINARY, normalChar },
00033 { 0x2320, 0xf3, ORDINARY, normalChar },
00034 { 0x232A, 0xf1, ORDINARY, normalChar },
00035 { 0x03B9, 0x69, ORDINARY, normalChar },
00036 { 0x03B8, 0x71, ORDINARY, normalChar },
00037 { 0x03B7, 0x68, ORDINARY, normalChar },
00038 { 0x03B6, 0x7a, ORDINARY, normalChar },
00039 { 0x03B5, 0x65, ORDINARY, normalChar },
00040 { 0x03B4, 0x64, ORDINARY, normalChar },
00041 { 0x03B3, 0x67, ORDINARY, normalChar },
00042 { 0x03B2, 0x62, ORDINARY, normalChar },
00043 { 0x03B1, 0x61, ORDINARY, normalChar },
00044 { 0x00F7, 0xb8, BINOP, normalChar },
00045 { 0x039F, 0x4f, ORDINARY, normalChar },
00046 { 0x039D, 0x4e, ORDINARY, normalChar },
00047 { 0x039E, 0x58, ORDINARY, normalChar },
00048 { 0x039B, 0x4c, ORDINARY, normalChar },
00049 { 0x039C, 0x4d, ORDINARY, normalChar },
00050 { 0x039A, 0x4b, ORDINARY, normalChar },
00051 { 0x0192, 0xa6, ORDINARY, normalChar },
00052 { 0x0398, 0x51, ORDINARY, normalChar },
00053 { 0x0399, 0x49, ORDINARY, normalChar },
00054 { 0x0396, 0x5a, ORDINARY, normalChar },
00055 { 0x0397, 0x48, ORDINARY, normalChar },
00056 { 0x0394, 0x44, ORDINARY, normalChar },
00057 { 0x0395, 0x45, ORDINARY, normalChar },
00058 { 0x0392, 0x42, ORDINARY, normalChar },
00059 { 0x0393, 0x47, ORDINARY, normalChar },
00060 { 0x0391, 0x41, ORDINARY, normalChar },
00061 { 0x2283, 0xc9, RELATION, normalChar },
00062 { 0x2287, 0xca, RELATION, normalChar },
00063 { 0x2284, 0xcb, RELATION, normalChar },
00064 { 0x221A, 0xd6, ORDINARY, normalChar },
00065 { 0x221E, 0xa5, ORDINARY, normalChar },
00066 { 0x221D, 0xb5, RELATION, normalChar },
00067 { 0x220F, 0xd5, ORDINARY, normalChar },
00068 { 0x2211, 0xe5, ORDINARY, normalChar },
00069 { 0x21D1, 0xdd, RELATION, normalChar },
00070 { 0x21D0, 0xdc, RELATION, normalChar },
00071 { 0x21D3, 0xdf, RELATION, normalChar },
00072 { 0x03A6, 0x46, ORDINARY, normalChar },
00073 { 0x03A7, 0x43, ORDINARY, normalChar },
00074 { 0x03A4, 0x54, ORDINARY, normalChar },
00075 { 0x03A5, 0x55, ORDINARY, normalChar },
00076 { 0x03A3, 0x53, ORDINARY, normalChar },
00077 { 0x03A0, 0x50, ORDINARY, normalChar },
00078 { 0x03A1, 0x52, ORDINARY, normalChar },
00079 { 0x03A8, 0x59, ORDINARY, normalChar },
00080 { 0x03A9, 0x57, ORDINARY, normalChar },
00081 { 0x2135, 0xc0, ORDINARY, normalChar },
00082 { 0x22C5, 0xd7, BINOP, normalChar },
00083 { 0x03C3, 0x73, ORDINARY, normalChar },
00084 { 0x26C4, 0xe0, ORDINARY, normalChar },
00085 { 0xF8EF, 0xea, ORDINARY, normalChar },
00086 { 0xF8EE, 0xe9, ORDINARY, normalChar },
00087 { 0xF8ED, 0xe8, ORDINARY, normalChar },
00088 { 0xF8EC, 0xe7, ORDINARY, normalChar },
00089 { 0xF8EB, 0xe6, ORDINARY, normalChar },
00090 { 0xF8EA, 0xe4, ORDINARY, normalChar },
00091 { 0x2260, 0xb9, RELATION, normalChar },
00092 { 0x2261, 0xba, RELATION, normalChar },
00093 { 0x2264, 0xa3, RELATION, normalChar },
00094 { 0x2265, 0xb3, RELATION, normalChar },
00095 { 0x005B, 0x5b, ORDINARY, normalChar },
00096 { 0x005D, 0x5d, ORDINARY, normalChar },
00097 { 0xF8E9, 0xe3, ORDINARY, normalChar },
00098 { 0xF8E8, 0xe2, ORDINARY, normalChar },
00099 { 0xF8E7, 0xbe, ORDINARY, normalChar },
00100 { 0xF8E6, 0xbd, RELATION, normalChar },
00101 { 0xF8E5, 0x60, ORDINARY, normalChar },
00102 { 0x2282, 0xcc, RELATION, normalChar },
00103 { 0x2286, 0xcd, RELATION, normalChar },
00104 { 0x2295, 0xc5, BINOP, normalChar },
00105 { 0x2297, 0xc4, BINOP, normalChar },
00106 { 0x2192, 0xae, RELATION, normalChar },
00107 { 0x2193, 0xaf, RELATION, normalChar },
00108 { 0x2190, 0xac, RELATION, normalChar },
00109 { 0x2191, 0xad, RELATION, normalChar },
00110 { 0x2194, 0xab, RELATION, normalChar },
00111 { 0x2227, 0xd9, BINOP, normalChar },
00112 { 0x2220, 0xd0, ORDINARY, normalChar },
00113 { 0x2228, 0xda, BINOP, normalChar },
00114 { 0x2229, 0xc7, ORDINARY, normalChar },
00115 { 0x0028, 0x28, ORDINARY, normalChar },
00116 { 0x0029, 0x29, ORDINARY, normalChar },
00117 { 0x222A, 0xc8, ORDINARY, normalChar },
00118 { 0x222B, 0xf2, ORDINARY, normalChar },
00119 { 0x00AE, 0xd2, ORDINARY, normalChar },
00120 { 0x00D7, 0xb4, BINOP, normalChar },
00121 { 0x2122, 0xd4, ORDINARY, normalChar },
00122 { 0xF8F6, 0xf6, ORDINARY, normalChar },
00123 { 0xF8F7, 0xf7, ORDINARY, normalChar },
00124 { 0xF8F4, 0xef, ORDINARY, normalChar },
00125 { 0xF8F2, 0xed, ORDINARY, normalChar },
00126 { 0xF8F3, 0xee, ORDINARY, normalChar },
00127 { 0xF8F0, 0xeb, ORDINARY, normalChar },
00128 { 0xF8F1, 0xec, ORDINARY, normalChar },
00129 { 0xF8F8, 0xf8, ORDINARY, normalChar },
00130 { 0xF8F9, 0xf9, ORDINARY, normalChar },
00131 { 0xF8FD, 0xfd, ORDINARY, normalChar },
00132 { 0xF8FE, 0xfe, ORDINARY, normalChar },
00133 { 0xF8FB, 0xfb, ORDINARY, normalChar },
00134 { 0xF8FC, 0xfc, ORDINARY, normalChar },
00135 { 0xF8FA, 0xfa, ORDINARY, normalChar },
00136 { 0x03D1, 0x4a, ORDINARY, normalChar },
00137 { 0x03D2, 0xa1, ORDINARY, normalChar },
00138 { 0x03D5, 0x6a, ORDINARY, normalChar },
00139 { 0x03D6, 0x76, ORDINARY, normalChar },
00140 { 0x2666, 0xa8, ORDINARY, normalChar },
00141 { 0x00AC, 0xd8, ORDINARY, normalChar },
00142 { 0x211C, 0xc2, ORDINARY, normalChar },
00143 { 0x2111, 0xc1, ORDINARY, normalChar },
00144 { 0x2118, 0xc3, ORDINARY, normalChar },
00145 { 0x00A9, 0xd3, ORDINARY, normalChar },
00146 { 0x2665, 0xa9, ORDINARY, normalChar },
00147 { 0x2660, 0xaa, ORDINARY, normalChar },
00148 { 0x2663, 0xa7, ORDINARY, normalChar },
00149 { 0x21D4, 0xdb, RELATION, normalChar },
00150 { 0x2026, 0xbc, ORDINARY, normalChar },
00151 { 0x21D2, 0xde, RELATION, normalChar },
00152 { 0x2022, 0xb7, BINOP, normalChar },
00153 { 0x223C, 0x7e, RELATION, normalChar },
00154 { 0x22A5, 0x5e, ORDINARY, normalChar },
00155 { 0x2234, 0x5c, BINOP, normalChar },
00156 { 0x2244, 0xa4, ORDINARY, normalChar },
00157 { 0x2245, 0x40, RELATION, normalChar },
00158 { 0x2248, 0xbb, RELATION, normalChar },
00159 { 0x03C0, 0x70, ORDINARY, normalChar },
00160 { 0x03C1, 0x72, ORDINARY, normalChar },
00161 { 0x03C2, 0x56, ORDINARY, normalChar },
00162 { 0xF8F5, 0xf4, ORDINARY, normalChar },
00163 { 0x03C4, 0x74, ORDINARY, normalChar },
00164 { 0x03C5, 0x75, ORDINARY, normalChar },
00165 { 0x03C6, 0x66, ORDINARY, normalChar },
00166 { 0x03C7, 0x63, ORDINARY, normalChar },
00167 { 0x03C8, 0x79, ORDINARY, normalChar },
00168 { 0x03C9, 0x77, ORDINARY, normalChar },
00169 { 0x21B5, 0xbf, ORDINARY, normalChar },
00170 { 0, 0, ORDINARY, normalChar }
00171 };
00172
This file is part of the documentation for lib Library Version 1.3.5.