//Generated by CharTableConverter
//!!DO NOT EDIT
package org.xmind.org.freehep.graphics2d.font;
import java.util.Hashtable;
/**
* Generated Symbol Encoding Table.
*
* @author org.xmind.org.freehep.graphics2d.font.CharTableConverter
* @author Jason Wong
*/
public class Symbol extends AbstractCharTable {
private Hashtable<Character, String> unicodeToName = new Hashtable<Character, String>();
private Hashtable<String, Character> nameToUnicode = new Hashtable<String, Character>();
private Hashtable<String, Integer> nameToEnc = new Hashtable<String, Integer>();
private String[] encToName = new String[256];
@SuppressWarnings("nls")
public Symbol() {
unicodeToName.put(new Character((char) 0x0391), "Alpha");
nameToUnicode.put("Alpha", new Character((char) 0x0391));
nameToEnc.put("Alpha", new Integer(65));
encToName[65] = "Alpha";
unicodeToName.put(new Character((char) 0x0392), "Beta");
nameToUnicode.put("Beta", new Character((char) 0x0392));
nameToEnc.put("Beta", new Integer(66));
encToName[66] = "Beta";
unicodeToName.put(new Character((char) 0x03a7), "Chi");
nameToUnicode.put("Chi", new Character((char) 0x03a7));
nameToEnc.put("Chi", new Integer(67));
encToName[67] = "Chi";
unicodeToName.put(new Character((char) 0x0394), "Delta");
nameToUnicode.put("Delta", new Character((char) 0x0394));
nameToEnc.put("Delta", new Integer(68));
encToName[68] = "Delta";
unicodeToName.put(new Character((char) 0x0395), "Epsilon");
nameToUnicode.put("Epsilon", new Character((char) 0x0395));
nameToEnc.put("Epsilon", new Integer(69));
encToName[69] = "Epsilon";
unicodeToName.put(new Character((char) 0x0397), "Eta");
nameToUnicode.put("Eta", new Character((char) 0x0397));
nameToEnc.put("Eta", new Integer(72));
encToName[72] = "Eta";
unicodeToName.put(new Character((char) 0x20ac), "Euro");
nameToUnicode.put("Euro", new Character((char) 0x20ac));
nameToEnc.put("Euro", new Integer(160));
encToName[160] = "Euro";
unicodeToName.put(new Character((char) 0x0393), "Gamma");
nameToUnicode.put("Gamma", new Character((char) 0x0393));
nameToEnc.put("Gamma", new Integer(71));
encToName[71] = "Gamma";
unicodeToName.put(new Character((char) 0x2111), "Ifraktur");
nameToUnicode.put("Ifraktur", new Character((char) 0x2111));
nameToEnc.put("Ifraktur", new Integer(193));
encToName[193] = "Ifraktur";
unicodeToName.put(new Character((char) 0x0399), "Iota");
nameToUnicode.put("Iota", new Character((char) 0x0399));
nameToEnc.put("Iota", new Integer(73));
encToName[73] = "Iota";
unicodeToName.put(new Character((char) 0x039a), "Kappa");
nameToUnicode.put("Kappa", new Character((char) 0x039a));
nameToEnc.put("Kappa", new Integer(75));
encToName[75] = "Kappa";
unicodeToName.put(new Character((char) 0x039b), "Lambda");
nameToUnicode.put("Lambda", new Character((char) 0x039b));
nameToEnc.put("Lambda", new Integer(76));
encToName[76] = "Lambda";
unicodeToName.put(new Character((char) 0x039c), "Mu");
nameToUnicode.put("Mu", new Character((char) 0x039c));
nameToEnc.put("Mu", new Integer(77));
encToName[77] = "Mu";
unicodeToName.put(new Character((char) 0x039d), "Nu");
nameToUnicode.put("Nu", new Character((char) 0x039d));
nameToEnc.put("Nu", new Integer(78));
encToName[78] = "Nu";
unicodeToName.put(new Character((char) 0x03a9), "Omega");
nameToUnicode.put("Omega", new Character((char) 0x03a9));
nameToEnc.put("Omega", new Integer(87));
encToName[87] = "Omega";
unicodeToName.put(new Character((char) 0x039f), "Omicron");
nameToUnicode.put("Omicron", new Character((char) 0x039f));
nameToEnc.put("Omicron", new Integer(79));
encToName[79] = "Omicron";
unicodeToName.put(new Character((char) 0x03a6), "Phi");
nameToUnicode.put("Phi", new Character((char) 0x03a6));
nameToEnc.put("Phi", new Integer(70));
encToName[70] = "Phi";
unicodeToName.put(new Character((char) 0x03a0), "Pi");
nameToUnicode.put("Pi", new Character((char) 0x03a0));
nameToEnc.put("Pi", new Integer(80));
encToName[80] = "Pi";
unicodeToName.put(new Character((char) 0x03a8), "Psi");
nameToUnicode.put("Psi", new Character((char) 0x03a8));
nameToEnc.put("Psi", new Integer(89));
encToName[89] = "Psi";
unicodeToName.put(new Character((char) 0x211c), "Rfractur");
nameToUnicode.put("Rfractur", new Character((char) 0x211c));
nameToEnc.put("Rfractur", new Integer(194));
encToName[194] = "Rfractur";
unicodeToName.put(new Character((char) 0x03a1), "Rho");
nameToUnicode.put("Rho", new Character((char) 0x03a1));
nameToEnc.put("Rho", new Integer(82));
encToName[82] = "Rho";
unicodeToName.put(new Character((char) 0x03a3), "Sigma");
nameToUnicode.put("Sigma", new Character((char) 0x03a3));
nameToEnc.put("Sigma", new Integer(83));
encToName[83] = "Sigma";
unicodeToName.put(new Character((char) 0x03a4), "Tau");
nameToUnicode.put("Tau", new Character((char) 0x03a4));
nameToEnc.put("Tau", new Integer(84));
encToName[84] = "Tau";
unicodeToName.put(new Character((char) 0x0398), "Theta");
nameToUnicode.put("Theta", new Character((char) 0x0398));
nameToEnc.put("Theta", new Integer(81));
encToName[81] = "Theta";
unicodeToName.put(new Character((char) 0x0059), "Upsilon");
nameToUnicode.put("Upsilon", new Character((char) 0x0059));
nameToEnc.put("Upsilon", new Integer(85));
encToName[85] = "Upsilon";
unicodeToName.put(new Character((char) 0x03a5), "Upsilon1");
nameToUnicode.put("Upsilon1", new Character((char) 0x03a5));
nameToEnc.put("Upsilon1", new Integer(161));
encToName[161] = "Upsilon1";
unicodeToName.put(new Character((char) 0x039e), "Xi");
nameToUnicode.put("Xi", new Character((char) 0x039e));
nameToEnc.put("Xi", new Integer(88));
encToName[88] = "Xi";
unicodeToName.put(new Character((char) 0x0396), "Zeta");
nameToUnicode.put("Zeta", new Character((char) 0x0396));
nameToEnc.put("Zeta", new Integer(90));
encToName[90] = "Zeta";
unicodeToName.put(new Character((char) 0x2135), "aleph");
nameToUnicode.put("aleph", new Character((char) 0x2135));
nameToEnc.put("aleph", new Integer(192));
encToName[192] = "aleph";
unicodeToName.put(new Character((char) 0x03b1), "alpha");
nameToUnicode.put("alpha", new Character((char) 0x03b1));
nameToEnc.put("alpha", new Integer(97));
encToName[97] = "alpha";
unicodeToName.put(new Character((char) 0x0026), "ampersand");
nameToUnicode.put("ampersand", new Character((char) 0x0026));
nameToEnc.put("ampersand", new Integer(38));
encToName[38] = "ampersand";
unicodeToName.put(new Character((char) 0x2220), "angle");
nameToUnicode.put("angle", new Character((char) 0x2220));
nameToEnc.put("angle", new Integer(208));
encToName[208] = "angle";
unicodeToName.put(new Character((char) 0x2329), "angleleft");
nameToUnicode.put("angleleft", new Character((char) 0x2329));
nameToEnc.put("angleleft", new Integer(225));
encToName[225] = "angleleft";
unicodeToName.put(new Character((char) 0x232a), "angleright");
nameToUnicode.put("angleright", new Character((char) 0x232a));
nameToEnc.put("angleright", new Integer(241));
encToName[241] = "angleright";
unicodeToName.put(new Character((char) 0x2248), "approxequal");
nameToUnicode.put("approxequal", new Character((char) 0x2248));
nameToEnc.put("approxequal", new Integer(187));
encToName[187] = "approxequal";
unicodeToName.put(new Character((char) 0x2194), "arrowboth");
nameToUnicode.put("arrowboth", new Character((char) 0x2194));
nameToEnc.put("arrowboth", new Integer(171));
encToName[171] = "arrowboth";
unicodeToName.put(new Character((char) 0x21d4), "arrowdblboth");
nameToUnicode.put("arrowdblboth", new Character((char) 0x21d4));
nameToEnc.put("arrowdblboth", new Integer(219));
encToName[219] = "arrowdblboth";
unicodeToName.put(new Character((char) 0x21d3), "arrowdbldown");
nameToUnicode.put("arrowdbldown", new Character((char) 0x21d3));
nameToEnc.put("arrowdbldown", new Integer(223));
encToName[223] = "arrowdbldown";
unicodeToName.put(new Character((char) 0x21d0), "arrowdblleft");
nameToUnicode.put("arrowdblleft", new Character((char) 0x21d0));
nameToEnc.put("arrowdblleft", new Integer(220));
encToName[220] = "arrowdblleft";
unicodeToName.put(new Character((char) 0x21d2), "arrowdblright");
nameToUnicode.put("arrowdblright", new Character((char) 0x21d2));
nameToEnc.put("arrowdblright", new Integer(222));
encToName[222] = "arrowdblright";
unicodeToName.put(new Character((char) 0x21d1), "arrowdblup");
nameToUnicode.put("arrowdblup", new Character((char) 0x21d1));
nameToEnc.put("arrowdblup", new Integer(221));
encToName[221] = "arrowdblup";
unicodeToName.put(new Character((char) 0x2193), "arrowdown");
nameToUnicode.put("arrowdown", new Character((char) 0x2193));
nameToEnc.put("arrowdown", new Integer(175));
encToName[175] = "arrowdown";
unicodeToName.put(new Character((char) 0xF8E7), "arrowhorizex");
nameToUnicode.put("arrowhorizex", new Character((char) 0xF8E7));
nameToEnc.put("arrowhorizex", new Integer(190));
encToName[190] = "arrowhorizex";
unicodeToName.put(new Character((char) 0x2190), "arrowleft");
nameToUnicode.put("arrowleft", new Character((char) 0x2190));
nameToEnc.put("arrowleft", new Integer(172));
encToName[172] = "arrowleft";
unicodeToName.put(new Character((char) 0x2192), "arrowright");
nameToUnicode.put("arrowright", new Character((char) 0x2192));
nameToEnc.put("arrowright", new Integer(174));
encToName[174] = "arrowright";
unicodeToName.put(new Character((char) 0x2191), "arrowup");
nameToUnicode.put("arrowup", new Character((char) 0x2191));
nameToEnc.put("arrowup", new Integer(173));
encToName[173] = "arrowup";
unicodeToName.put(new Character((char) 0xF8E8), "arrowvertex");
nameToUnicode.put("arrowvertex", new Character((char) 0xF8E8));
nameToEnc.put("arrowvertex", new Integer(189));
encToName[189] = "arrowvertex";
unicodeToName.put(new Character((char) 0x2217), "asteriskmath");
nameToUnicode.put("asteriskmath", new Character((char) 0x2217));
nameToEnc.put("asteriskmath", new Integer(42));
encToName[42] = "asteriskmath";
unicodeToName.put(new Character((char) 0x007c), "bar");
nameToUnicode.put("bar", new Character((char) 0x007c));
nameToEnc.put("bar", new Integer(124));
encToName[124] = "bar";
unicodeToName.put(new Character((char) 0x03b2), "beta");
nameToUnicode.put("beta", new Character((char) 0x03b2));
nameToEnc.put("beta", new Integer(98));
encToName[98] = "beta";
unicodeToName.put(new Character((char) 0x007b), "braceleft");
nameToUnicode.put("braceleft", new Character((char) 0x007b));
nameToEnc.put("braceleft", new Integer(123));
encToName[123] = "braceleft";
unicodeToName.put(new Character((char) 0x007d), "braceright");
nameToUnicode.put("braceright", new Character((char) 0x007d));
nameToEnc.put("braceright", new Integer(125));
encToName[125] = "braceright";
unicodeToName.put(new Character((char) 0xF8F1), "bracelefttp");
nameToUnicode.put("bracelefttp", new Character((char) 0xF8F1));
nameToEnc.put("bracelefttp", new Integer(236));
encToName[236] = "bracelefttp";
unicodeToName.put(new Character((char) 0xF8F2), "braceleftmid");
nameToUnicode.put("braceleftmid", new Character((char) 0xF8F2));
nameToEnc.put("braceleftmid", new Integer(237));
encToName[237] = "braceleftmid";
unicodeToName.put(new Character((char) 0xF8F3), "braceleftbt");
nameToUnicode.put("braceleftbt", new Character((char) 0xF8F3));
nameToEnc.put("braceleftbt", new Integer(238));
encToName[238] = "braceleftbt";
unicodeToName.put(new Character((char) 0xF8FC), "bracerighttp");
nameToUnicode.put("bracerighttp", new Character((char) 0xF8FC));
nameToEnc.put("bracerighttp", new Integer(252));
encToName[252] = "bracerighttp";
unicodeToName.put(new Character((char) 0xF8FD), "bracerightmid");
nameToUnicode.put("bracerightmid", new Character((char) 0xF8FD));
nameToEnc.put("bracerightmid", new Integer(253));
encToName[253] = "bracerightmid";
unicodeToName.put(new Character((char) 0xF8FE), "bracerightbt");
nameToUnicode.put("bracerightbt", new Character((char) 0xF8FE));
nameToEnc.put("bracerightbt", new Integer(254));
encToName[254] = "bracerightbt";
unicodeToName.put(new Character((char) 0xF8F4), "braceex");
nameToUnicode.put("braceex", new Character((char) 0xF8F4));
nameToEnc.put("braceex", new Integer(239));
encToName[239] = "braceex";
unicodeToName.put(new Character((char) 0x005b), "bracketleft");
nameToUnicode.put("bracketleft", new Character((char) 0x005b));
nameToEnc.put("bracketleft", new Integer(91));
encToName[91] = "bracketleft";
unicodeToName.put(new Character((char) 0x005d), "bracketright");
nameToUnicode.put("bracketright", new Character((char) 0x005d));
nameToEnc.put("bracketright", new Integer(93));
encToName[93] = "bracketright";
unicodeToName.put(new Character((char) 0xF8EE), "bracketlefttp");
nameToUnicode.put("bracketlefttp", new Character((char) 0xF8EE));
nameToEnc.put("bracketlefttp", new Integer(233));
encToName[233] = "bracketlefttp";
unicodeToName.put(new Character((char) 0xF8EF), "bracketleftex");
nameToUnicode.put("bracketleftex", new Character((char) 0xF8EF));
nameToEnc.put("bracketleftex", new Integer(234));
encToName[234] = "bracketleftex";
unicodeToName.put(new Character((char) 0xF8F0), "bracketleftbt");
nameToUnicode.put("bracketleftbt", new Character((char) 0xF8F0));
nameToEnc.put("bracketleftbt", new Integer(235));
encToName[235] = "bracketleftbt";
unicodeToName.put(new Character((char) 0xF8F9), "bracketrighttp");
nameToUnicode.put("bracketrighttp", new Character((char) 0xF8F9));
nameToEnc.put("bracketrighttp", new Integer(249));
encToName[249] = "bracketrighttp";
unicodeToName.put(new Character((char) 0xF8FA), "bracketrightex");
nameToUnicode.put("bracketrightex", new Character((char) 0xF8FA));
nameToEnc.put("bracketrightex", new Integer(250));
encToName[250] = "bracketrightex";
unicodeToName.put(new Character((char) 0xF8FB), "bracketrightbt");
nameToUnicode.put("bracketrightbt", new Character((char) 0xF8FB));
nameToEnc.put("bracketrightbt", new Integer(251));
encToName[251] = "bracketrightbt";
unicodeToName.put(new Character((char) 0x2219), "bullet");
nameToUnicode.put("bullet", new Character((char) 0x2219));
nameToEnc.put("bullet", new Integer(183));
encToName[183] = "bullet";
unicodeToName.put(new Character((char) 0x21b5), "carriagereturn");
nameToUnicode.put("carriagereturn", new Character((char) 0x21b5));
nameToEnc.put("carriagereturn", new Integer(191));
encToName[191] = "carriagereturn";
unicodeToName.put(new Character((char) 0x03c7), "chi");
nameToUnicode.put("chi", new Character((char) 0x03c7));
nameToEnc.put("chi", new Integer(99));
encToName[99] = "chi";
unicodeToName.put(new Character((char) 0x2297), "circlemultiply");
nameToUnicode.put("circlemultiply", new Character((char) 0x2297));
nameToEnc.put("circlemultiply", new Integer(196));
encToName[196] = "circlemultiply";
unicodeToName.put(new Character((char) 0x2295), "circleplus");
nameToUnicode.put("circleplus", new Character((char) 0x2295));
nameToEnc.put("circleplus", new Integer(197));
encToName[197] = "circleplus";
unicodeToName.put(new Character((char) 0x2663), "club");
nameToUnicode.put("club", new Character((char) 0x2663));
nameToEnc.put("club", new Integer(167));
encToName[167] = "club";
unicodeToName.put(new Character((char) 0x003a), "colon");
nameToUnicode.put("colon", new Character((char) 0x003a));
nameToEnc.put("colon", new Integer(58));
encToName[58] = "colon";
unicodeToName.put(new Character((char) 0x002c), "comma");
nameToUnicode.put("comma", new Character((char) 0x002c));
nameToEnc.put("comma", new Integer(44));
encToName[44] = "comma";
unicodeToName.put(new Character((char) 0x2245), "congruent");
nameToUnicode.put("congruent", new Character((char) 0x2245));
nameToEnc.put("congruent", new Integer(64));
encToName[64] = "congruent";
unicodeToName.put(new Character((char) 0xF8E9), "copyrightsans");
nameToUnicode.put("copyrightsans", new Character((char) 0xF8E9));
nameToEnc.put("copyrightsans", new Integer(227));
encToName[227] = "copyrightsans";
unicodeToName.put(new Character((char) 0xF6D9), "copyrightserif");
nameToUnicode.put("copyrightserif", new Character((char) 0xF6D9));
nameToEnc.put("copyrightserif", new Integer(211));
encToName[211] = "copyrightserif";
unicodeToName.put(new Character((char) 0x00b0), "degree");
nameToUnicode.put("degree", new Character((char) 0x00b0));
nameToEnc.put("degree", new Integer(176));
encToName[176] = "degree";
unicodeToName.put(new Character((char) 0x03b4), "delta");
nameToUnicode.put("delta", new Character((char) 0x03b4));
nameToEnc.put("delta", new Integer(100));
encToName[100] = "delta";
unicodeToName.put(new Character((char) 0x2666), "diamond");
nameToUnicode.put("diamond", new Character((char) 0x2666));
nameToEnc.put("diamond", new Integer(168));
encToName[168] = "diamond";
unicodeToName.put(new Character((char) 0x00f7), "divide");
nameToUnicode.put("divide", new Character((char) 0x00f7));
nameToEnc.put("divide", new Integer(184));
encToName[184] = "divide";
unicodeToName.put(new Character((char) 0x22c5), "dotmath");
nameToUnicode.put("dotmath", new Character((char) 0x22c5));
nameToEnc.put("dotmath", new Integer(215));
encToName[215] = "dotmath";
unicodeToName.put(new Character((char) 0x0038), "eight");
nameToUnicode.put("eight", new Character((char) 0x0038));
nameToEnc.put("eight", new Integer(56));
encToName[56] = "eight";
unicodeToName.put(new Character((char) 0x2208), "element");
nameToUnicode.put("element", new Character((char) 0x2208));
nameToEnc.put("element", new Integer(206));
encToName[206] = "element";
unicodeToName.put(new Character((char) 0x2026), "ellipsis");
nameToUnicode.put("ellipsis", new Character((char) 0x2026));
nameToEnc.put("ellipsis", new Integer(188));
encToName[188] = "ellipsis";
unicodeToName.put(new Character((char) 0x2205), "emptyset");
nameToUnicode.put("emptyset", new Character((char) 0x2205));
nameToEnc.put("emptyset", new Integer(198));
encToName[198] = "emptyset";
unicodeToName.put(new Character((char) 0x03b5), "epsilon");
nameToUnicode.put("epsilon", new Character((char) 0x03b5));
nameToEnc.put("epsilon", new Integer(101));
encToName[101] = "epsilon";
unicodeToName.put(new Character((char) 0x003d), "equal");
nameToUnicode.put("equal", new Character((char) 0x003d));
nameToEnc.put("equal", new Integer(61));
encToName[61] = "equal";
unicodeToName.put(new Character((char) 0x2261), "equivalence");
nameToUnicode.put("equivalence", new Character((char) 0x2261));
nameToEnc.put("equivalence", new Integer(186));
encToName[186] = "equivalence";
unicodeToName.put(new Character((char) 0x03b7), "eta");
nameToUnicode.put("eta", new Character((char) 0x03b7));
nameToEnc.put("eta", new Integer(104));
encToName[104] = "eta";
unicodeToName.put(new Character((char) 0x0021), "exclam");
nameToUnicode.put("exclam", new Character((char) 0x0021));
nameToEnc.put("exclam", new Integer(33));
encToName[33] = "exclam";
unicodeToName.put(new Character((char) 0x2203), "existential");
nameToUnicode.put("existential", new Character((char) 0x2203));
nameToEnc.put("existential", new Integer(36));
encToName[36] = "existential";
unicodeToName.put(new Character((char) 0x0035), "five");
nameToUnicode.put("five", new Character((char) 0x0035));
nameToEnc.put("five", new Integer(53));
encToName[53] = "five";
unicodeToName.put(new Character((char) 0x0192), "florin");
nameToUnicode.put("florin", new Character((char) 0x0192));
nameToEnc.put("florin", new Integer(166));
encToName[166] = "florin";
unicodeToName.put(new Character((char) 0x0034), "four");
nameToUnicode.put("four", new Character((char) 0x0034));
nameToEnc.put("four", new Integer(52));
encToName[52] = "four";
unicodeToName.put(new Character((char) 0x2044), "fraction");
nameToUnicode.put("fraction", new Character((char) 0x2044));
nameToEnc.put("fraction", new Integer(164));
encToName[164] = "fraction";
unicodeToName.put(new Character((char) 0x03b3), "gamma");
nameToUnicode.put("gamma", new Character((char) 0x03b3));
nameToEnc.put("gamma", new Integer(103));
encToName[103] = "gamma";
unicodeToName.put(new Character((char) 0x2207), "gradient");
nameToUnicode.put("gradient", new Character((char) 0x2207));
nameToEnc.put("gradient", new Integer(209));
encToName[209] = "gradient";
unicodeToName.put(new Character((char) 0x003e), "greater");
nameToUnicode.put("greater", new Character((char) 0x003e));
nameToEnc.put("greater", new Integer(62));
encToName[62] = "greater";
unicodeToName.put(new Character((char) 0x2265), "greaterequal");
nameToUnicode.put("greaterequal", new Character((char) 0x2265));
nameToEnc.put("greaterequal", new Integer(179));
encToName[179] = "greaterequal";
unicodeToName.put(new Character((char) 0x2660), "heart");
nameToUnicode.put("heart", new Character((char) 0x2660));
nameToEnc.put("heart", new Integer(169));
encToName[169] = "heart";
unicodeToName.put(new Character((char) 0x221e), "infinity");
nameToUnicode.put("infinity", new Character((char) 0x221e));
nameToEnc.put("infinity", new Integer(165));
encToName[165] = "infinity";
unicodeToName.put(new Character((char) 0x222b), "integral");
nameToUnicode.put("integral", new Character((char) 0x222b));
nameToEnc.put("integral", new Integer(242));
encToName[242] = "integral";
unicodeToName.put(new Character((char) 0x2320), "integraltp");
nameToUnicode.put("integraltp", new Character((char) 0x2320));
nameToEnc.put("integraltp", new Integer(243));
encToName[243] = "integraltp";
unicodeToName.put(new Character((char) 0xF8F5), "integralex");
nameToUnicode.put("integralex", new Character((char) 0xF8F5));
nameToEnc.put("integralex", new Integer(244));
encToName[244] = "integralex";
unicodeToName.put(new Character((char) 0x2321), "integralbt");
nameToUnicode.put("integralbt", new Character((char) 0x2321));
nameToEnc.put("integralbt", new Integer(245));
encToName[245] = "integralbt";
unicodeToName.put(new Character((char) 0x2229), "intersection");
nameToUnicode.put("intersection", new Character((char) 0x2229));
nameToEnc.put("intersection", new Integer(199));
encToName[199] = "intersection";
unicodeToName.put(new Character((char) 0x03b9), "iota");
nameToUnicode.put("iota", new Character((char) 0x03b9));
nameToEnc.put("iota", new Integer(105));
encToName[105] = "iota";
unicodeToName.put(new Character((char) 0x03ba), "kappa");
nameToUnicode.put("kappa", new Character((char) 0x03ba));
nameToEnc.put("kappa", new Integer(107));
encToName[107] = "kappa";
unicodeToName.put(new Character((char) 0x03bb), "lambda");
nameToUnicode.put("lambda", new Character((char) 0x03bb));
nameToEnc.put("lambda", new Integer(108));
encToName[108] = "lambda";
unicodeToName.put(new Character((char) 0x003c), "less");
nameToUnicode.put("less", new Character((char) 0x003c));
nameToEnc.put("less", new Integer(60));
encToName[60] = "less";
unicodeToName.put(new Character((char) 0x2264), "lessequal");
nameToUnicode.put("lessequal", new Character((char) 0x2264));
nameToEnc.put("lessequal", new Integer(163));
encToName[163] = "lessequal";
unicodeToName.put(new Character((char) 0x2227), "logicaland");
nameToUnicode.put("logicaland", new Character((char) 0x2227));
nameToEnc.put("logicaland", new Integer(217));
encToName[217] = "logicaland";
unicodeToName.put(new Character((char) 0x00ac), "logicalnot");
nameToUnicode.put("logicalnot", new Character((char) 0x00ac));
nameToEnc.put("logicalnot", new Integer(216));
encToName[216] = "logicalnot";
unicodeToName.put(new Character((char) 0x2228), "logicalor");
nameToUnicode.put("logicalor", new Character((char) 0x2228));
nameToEnc.put("logicalor", new Integer(218));
encToName[218] = "logicalor";
unicodeToName.put(new Character((char) 0x25ca), "lozenge");
nameToUnicode.put("lozenge", new Character((char) 0x25ca));
nameToEnc.put("lozenge", new Integer(224));
encToName[224] = "lozenge";
unicodeToName.put(new Character((char) 0x2212), "minus");
nameToUnicode.put("minus", new Character((char) 0x2212));
nameToEnc.put("minus", new Integer(45));
encToName[45] = "minus";
unicodeToName.put(new Character((char) 0x2032), "minute");
nameToUnicode.put("minute", new Character((char) 0x2032));
nameToEnc.put("minute", new Integer(162));
encToName[162] = "minute";
unicodeToName.put(new Character((char) 0x03bc), "mu");
nameToUnicode.put("mu", new Character((char) 0x03bc));
nameToEnc.put("mu", new Integer(109));
encToName[109] = "mu";
unicodeToName.put(new Character((char) 0x00d7), "multiply");
nameToUnicode.put("multiply", new Character((char) 0x00d7));
nameToEnc.put("multiply", new Integer(180));
encToName[180] = "multiply";
unicodeToName.put(new Character((char) 0x0039), "nine");
nameToUnicode.put("nine", new Character((char) 0x0039));
nameToEnc.put("nine", new Integer(57));
encToName[57] = "nine";
unicodeToName.put(new Character((char) 0x2209), "notelement");
nameToUnicode.put("notelement", new Character((char) 0x2209));
nameToEnc.put("notelement", new Integer(207));
encToName[207] = "notelement";
unicodeToName.put(new Character((char) 0x2260), "notequal");
nameToUnicode.put("notequal", new Character((char) 0x2260));
nameToEnc.put("notequal", new Integer(185));
encToName[185] = "notequal";
unicodeToName.put(new Character((char) 0x2284), "notsubset");
nameToUnicode.put("notsubset", new Character((char) 0x2284));
nameToEnc.put("notsubset", new Integer(203));
encToName[203] = "notsubset";
unicodeToName.put(new Character((char) 0x03bd), "nu");
nameToUnicode.put("nu", new Character((char) 0x03bd));
nameToEnc.put("nu", new Integer(110));
encToName[110] = "nu";
unicodeToName.put(new Character((char) 0x0023), "numbersign");
nameToUnicode.put("numbersign", new Character((char) 0x0023));
nameToEnc.put("numbersign", new Integer(35));
encToName[35] = "numbersign";
unicodeToName.put(new Character((char) 0x03c9), "omega");
nameToUnicode.put("omega", new Character((char) 0x03c9));
nameToEnc.put("omega", new Integer(119));
encToName[119] = "omega";
unicodeToName.put(new Character((char) 0x03d6), "omega1");
nameToUnicode.put("omega1", new Character((char) 0x03d6));
nameToEnc.put("omega1", new Integer(118));
encToName[118] = "omega1";
unicodeToName.put(new Character((char) 0x03bf), "omicron");
nameToUnicode.put("omicron", new Character((char) 0x03bf));
nameToEnc.put("omicron", new Integer(111));
encToName[111] = "omicron";
unicodeToName.put(new Character((char) 0x0031), "one");
nameToUnicode.put("one", new Character((char) 0x0031));
nameToEnc.put("one", new Integer(49));
encToName[49] = "one";
unicodeToName.put(new Character((char) 0x0028), "parenleft");
nameToUnicode.put("parenleft", new Character((char) 0x0028));
nameToEnc.put("parenleft", new Integer(40));
encToName[40] = "parenleft";
unicodeToName.put(new Character((char) 0x0029), "parenright");
nameToUnicode.put("parenright", new Character((char) 0x0029));
nameToEnc.put("parenright", new Integer(41));
encToName[41] = "parenright";
unicodeToName.put(new Character((char) 0xF8EB), "parenlefttp");
nameToUnicode.put("parenlefttp", new Character((char) 0xF8EB));
nameToEnc.put("parenlefttp", new Integer(230));
encToName[230] = "parenlefttp";
unicodeToName.put(new Character((char) 0xF8EC), "parenleftex");
nameToUnicode.put("parenleftex", new Character((char) 0xF8EC));
nameToEnc.put("parenleftex", new Integer(231));
encToName[231] = "parenleftex";
unicodeToName.put(new Character((char) 0xF8ED), "parenleftbt");
nameToUnicode.put("parenleftbt", new Character((char) 0xF8ED));
nameToEnc.put("parenleftbt", new Integer(232));
encToName[232] = "parenleftbt";
unicodeToName.put(new Character((char) 0xF8F6), "parenrighttp");
nameToUnicode.put("parenrighttp", new Character((char) 0xF8F6));
nameToEnc.put("parenrighttp", new Integer(246));
encToName[246] = "parenrighttp";
unicodeToName.put(new Character((char) 0xF8F7), "parenrightex");
nameToUnicode.put("parenrightex", new Character((char) 0xF8F7));
nameToEnc.put("parenrightex", new Integer(247));
encToName[247] = "parenrightex";
unicodeToName.put(new Character((char) 0xF8F8), "parenrightbt");
nameToUnicode.put("parenrightbt", new Character((char) 0xF8F8));
nameToEnc.put("parenrightbt", new Integer(248));
encToName[248] = "parenrightbt";
unicodeToName.put(new Character((char) 0x2202), "partialdiff");
nameToUnicode.put("partialdiff", new Character((char) 0x2202));
nameToEnc.put("partialdiff", new Integer(182));
encToName[182] = "partialdiff";
unicodeToName.put(new Character((char) 0x0025), "percent");
nameToUnicode.put("percent", new Character((char) 0x0025));
nameToEnc.put("percent", new Integer(37));
encToName[37] = "percent";
unicodeToName.put(new Character((char) 0x002e), "period");
nameToUnicode.put("period", new Character((char) 0x002e));
nameToEnc.put("period", new Integer(46));
encToName[46] = "period";
unicodeToName.put(new Character((char) 0x22a5), "perpendicular");
nameToUnicode.put("perpendicular", new Character((char) 0x22a5));
nameToEnc.put("perpendicular", new Integer(94));
encToName[94] = "perpendicular";
unicodeToName.put(new Character((char) 0x03d5), "phi");
nameToUnicode.put("phi", new Character((char) 0x03d5));
nameToEnc.put("phi", new Integer(102));
encToName[102] = "phi";
unicodeToName.put(new Character((char) 0x03c6), "phi1");
nameToUnicode.put("phi1", new Character((char) 0x03c6));
nameToEnc.put("phi1", new Integer(106));
encToName[106] = "phi1";
unicodeToName.put(new Character((char) 0x03c0), "pi");
nameToUnicode.put("pi", new Character((char) 0x03c0));
nameToEnc.put("pi", new Integer(112));
encToName[112] = "pi";
unicodeToName.put(new Character((char) 0x002b), "plus");
nameToUnicode.put("plus", new Character((char) 0x002b));
nameToEnc.put("plus", new Integer(43));
encToName[43] = "plus";
unicodeToName.put(new Character((char) 0x00b1), "plusminus");
nameToUnicode.put("plusminus", new Character((char) 0x00b1));
nameToEnc.put("plusminus", new Integer(177));
encToName[177] = "plusminus";
unicodeToName.put(new Character((char) 0x220f), "product");
nameToUnicode.put("product", new Character((char) 0x220f));
nameToEnc.put("product", new Integer(213));
encToName[213] = "product";
unicodeToName.put(new Character((char) 0x2282), "propersubset");
nameToUnicode.put("propersubset", new Character((char) 0x2282));
nameToEnc.put("propersubset", new Integer(204));
encToName[204] = "propersubset";
unicodeToName.put(new Character((char) 0x2283), "propersuperset");
nameToUnicode.put("propersuperset", new Character((char) 0x2283));
nameToEnc.put("propersuperset", new Integer(201));
encToName[201] = "propersuperset";
unicodeToName.put(new Character((char) 0x221d), "proportional");
nameToUnicode.put("proportional", new Character((char) 0x221d));
nameToEnc.put("proportional", new Integer(181));
encToName[181] = "proportional";
unicodeToName.put(new Character((char) 0x03c8), "psi");
nameToUnicode.put("psi", new Character((char) 0x03c8));
nameToEnc.put("psi", new Integer(121));
encToName[121] = "psi";
unicodeToName.put(new Character((char) 0x003f), "question");
nameToUnicode.put("question", new Character((char) 0x003f));
nameToEnc.put("question", new Integer(63));
encToName[63] = "question";
unicodeToName.put(new Character((char) 0x221a), "radical");
nameToUnicode.put("radical", new Character((char) 0x221a));
nameToEnc.put("radical", new Integer(214));
encToName[214] = "radical";
unicodeToName.put(new Character((char) 0xF8E5), "radicalex");
nameToUnicode.put("radicalex", new Character((char) 0xF8E5));
nameToEnc.put("radicalex", new Integer(96));
encToName[96] = "radicalex";
unicodeToName.put(new Character((char) 0x2286), "reflexsubset");
nameToUnicode.put("reflexsubset", new Character((char) 0x2286));
nameToEnc.put("reflexsubset", new Integer(205));
encToName[205] = "reflexsubset";
unicodeToName.put(new Character((char) 0x2287), "reflexsuperset");
nameToUnicode.put("reflexsuperset", new Character((char) 0x2287));
nameToEnc.put("reflexsuperset", new Integer(202));
encToName[202] = "reflexsuperset";
unicodeToName.put(new Character((char) 0xF8E8), "registersans");
nameToUnicode.put("registersans", new Character((char) 0xF8E8));
nameToEnc.put("registersans", new Integer(226));
encToName[226] = "registersans";
unicodeToName.put(new Character((char) 0xF6DA), "registerserif");
nameToUnicode.put("registerserif", new Character((char) 0xF6DA));
nameToEnc.put("registerserif", new Integer(210));
encToName[210] = "registerserif";
unicodeToName.put(new Character((char) 0x03c1), "rho");
nameToUnicode.put("rho", new Character((char) 0x03c1));
nameToEnc.put("rho", new Integer(114));
encToName[114] = "rho";
unicodeToName.put(new Character((char) 0x2033), "second");
nameToUnicode.put("second", new Character((char) 0x2033));
nameToEnc.put("second", new Integer(178));
encToName[178] = "second";
unicodeToName.put(new Character((char) 0x003b), "semicolon");
nameToUnicode.put("semicolon", new Character((char) 0x003b));
nameToEnc.put("semicolon", new Integer(59));
encToName[59] = "semicolon";
unicodeToName.put(new Character((char) 0x0037), "seven");
nameToUnicode.put("seven", new Character((char) 0x0037));
nameToEnc.put("seven", new Integer(55));
encToName[55] = "seven";
unicodeToName.put(new Character((char) 0x03c3), "sigma");
nameToUnicode.put("sigma", new Character((char) 0x03c3));
nameToEnc.put("sigma", new Integer(115));
encToName[115] = "sigma";
unicodeToName.put(new Character((char) 0x03c2), "sigma1");
nameToUnicode.put("sigma1", new Character((char) 0x03c2));
nameToEnc.put("sigma1", new Integer(86));
encToName[86] = "sigma1";
unicodeToName.put(new Character((char) 0x223c), "similar");
nameToUnicode.put("similar", new Character((char) 0x223c));
nameToEnc.put("similar", new Integer(126));
encToName[126] = "similar";
unicodeToName.put(new Character((char) 0x0036), "six");
nameToUnicode.put("six", new Character((char) 0x0036));
nameToEnc.put("six", new Integer(54));
encToName[54] = "six";
unicodeToName.put(new Character((char) 0x002f), "slash");
nameToUnicode.put("slash", new Character((char) 0x002f));
nameToEnc.put("slash", new Integer(47));
encToName[47] = "slash";
unicodeToName.put(new Character((char) 0x0020), "space");
nameToUnicode.put("space", new Character((char) 0x0020));
nameToEnc.put("space", new Integer(32));
encToName[32] = "space";
unicodeToName.put(new Character((char) 0x2660), "spade");
nameToUnicode.put("spade", new Character((char) 0x2660));
nameToEnc.put("spade", new Integer(170));
encToName[170] = "spade";
unicodeToName.put(new Character((char) 0x220b), "suchthat");
nameToUnicode.put("suchthat", new Character((char) 0x220b));
nameToEnc.put("suchthat", new Integer(39));
encToName[39] = "suchthat";
unicodeToName.put(new Character((char) 0x2211), "summation");
nameToUnicode.put("summation", new Character((char) 0x2211));
nameToEnc.put("summation", new Integer(229));
encToName[229] = "summation";
unicodeToName.put(new Character((char) 0x03c4), "tau");
nameToUnicode.put("tau", new Character((char) 0x03c4));
nameToEnc.put("tau", new Integer(116));
encToName[116] = "tau";
unicodeToName.put(new Character((char) 0x2234), "therefore");
nameToUnicode.put("therefore", new Character((char) 0x2234));
nameToEnc.put("therefore", new Integer(92));
encToName[92] = "therefore";
unicodeToName.put(new Character((char) 0x03b8), "theta");
nameToUnicode.put("theta", new Character((char) 0x03b8));
nameToEnc.put("theta", new Integer(113));
encToName[113] = "theta";
unicodeToName.put(new Character((char) 0x03d1), "theta1");
nameToUnicode.put("theta1", new Character((char) 0x03d1));
nameToEnc.put("theta1", new Integer(74));
encToName[74] = "theta1";
unicodeToName.put(new Character((char) 0x0033), "three");
nameToUnicode.put("three", new Character((char) 0x0033));
nameToEnc.put("three", new Integer(51));
encToName[51] = "three";
unicodeToName.put(new Character((char) 0xF8EA), "trademarksans");
nameToUnicode.put("trademarksans", new Character((char) 0xF8EA));
nameToEnc.put("trademarksans", new Integer(228));
encToName[228] = "trademarksans";
unicodeToName.put(new Character((char) 0xF6DB), "trademarkserif");
nameToUnicode.put("trademarkserif", new Character((char) 0xF6DB));
nameToEnc.put("trademarkserif", new Integer(212));
encToName[212] = "trademarkserif";
unicodeToName.put(new Character((char) 0x0032), "two");
nameToUnicode.put("two", new Character((char) 0x0032));
nameToEnc.put("two", new Integer(50));
encToName[50] = "two";
unicodeToName.put(new Character((char) 0x005f), "underscore");
nameToUnicode.put("underscore", new Character((char) 0x005f));
nameToEnc.put("underscore", new Integer(95));
encToName[95] = "underscore";
unicodeToName.put(new Character((char) 0x222a), "union");
nameToUnicode.put("union", new Character((char) 0x222a));
nameToEnc.put("union", new Integer(200));
encToName[200] = "union";
unicodeToName.put(new Character((char) 0x2200), "universal");
nameToUnicode.put("universal", new Character((char) 0x2200));
nameToEnc.put("universal", new Integer(34));
encToName[34] = "universal";
unicodeToName.put(new Character((char) 0x03c5), "upsilon");
nameToUnicode.put("upsilon", new Character((char) 0x03c5));
nameToEnc.put("upsilon", new Integer(117));
encToName[117] = "upsilon";
unicodeToName.put(new Character((char) 0x2118), "weierstrass");
nameToUnicode.put("weierstrass", new Character((char) 0x2118));
nameToEnc.put("weierstrass", new Integer(195));
encToName[195] = "weierstrass";
unicodeToName.put(new Character((char) 0x03be), "xi");
nameToUnicode.put("xi", new Character((char) 0x03be));
nameToEnc.put("xi", new Integer(120));
encToName[120] = "xi";
unicodeToName.put(new Character((char) 0x0030), "zero");
nameToUnicode.put("zero", new Character((char) 0x0030));
nameToEnc.put("zero", new Integer(48));
encToName[48] = "zero";
unicodeToName.put(new Character((char) 0x03b6), "zeta");
nameToUnicode.put("zeta", new Character((char) 0x03b6));
nameToEnc.put("zeta", new Integer(122));
encToName[122] = "zeta";
}
public String toName(Character c) {
return ((String) unicodeToName.get(c));
}
public String toName(int enc) {
if (enc != 0)
return (encToName[enc]);
return (null);
}
public int toEncoding(String name) {
return (((Integer) (nameToEnc.get(name))).intValue());
}
public char toUnicode(String name) {
return (((Character) (nameToUnicode.get(name))).charValue());
}
public String getName() {
return ("Symbol");//$NON-NLS-1$
}
public String getEncoding() {
return ("");//$NON-NLS-1$
}
}
