//Generated by CharTableConverter
//!!DO NOT EDIT
package org.freehep.graphicsio.font.encoding;

import java.util.*;

/**
 * Generated  Symbol Encoding Table.
 *
 * @author org.freehep.graphicsio.font.encoding.CharTableConverter
 * @version $Id: Symbol.java,v 1.1 2001/11/29 01:45:28 duns Exp $
 */
public class Symbol extends AbstractCharTable {
	private Hashtable unicodeToName = new Hashtable();
	private Hashtable nameToUnicode = new Hashtable();
	private Hashtable nameToEnc = new Hashtable();
	private String[] encToName = new String[256];
	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");
	}

	public String getEncoding(){
		return("");
	}

}
