PC Pro 2001 December/dppcpro1201.iso/Extras/maple/Viewer/WebEQ/MMLViewerInstall.cab/MMLViewerApplet.cab/webeq3/constants/EntityNames.class

Java Class File | 2001-05-24 | 37.3 KB | 1,047 lines

package webeq3.constants;

import java.util.Hashtable;

public class EntityNames implements CharConstants {
   private static final Hashtable tab = new Hashtable(994);
   static final int level = 1;

   public static char get(String var0) {
      Character var1 = (Character)tab.get(var0);
      if (var1 != null) {
         return var1;
      } else if (var0.length() == 1) {
         return var0.charAt(0);
      } else if (var0.length() > 2 && var0.charAt(0) == '#') {
         if (var0.charAt(1) == 'x') {
            try {
               int var5 = Integer.parseInt(var0.substring(2).toLowerCase(), 16);
               return (char)var5;
            } catch (NumberFormatException var3) {
               return '\ufffe';
            }
         } else {
            try {
               int var2 = Integer.parseInt(var0.substring(1));
               return (char)var2;
            } catch (NumberFormatException var4) {
               return '\ufffe';
            }
         }
      } else {
         return '\ufffe';
      }
   }

   static {
      tab.put("sqrt", new Character('√'));
      tab.put("radic", new Character('√'));
      tab.put("surd", new Character('√'));
      tab.put("Sqrt", new Character('√'));
      tab.put("bar", new Character('¯'));
      tab.put("macr", new Character('¯'));
      tab.put("OverBar", new Character('¯'));
      tab.put("OverLine", new Character('¯'));
      tab.put("tilde", new Character('˜'));
      tab.put("DiacriticalTilde", new Character('˜'));
      tab.put("hat", new Character('̂'));
      tab.put("check", new Character('Γ£ô'));
      tab.put("d9", new Character('Γ£ô'));
      tab.put("hacek", new Character('Γ£ô'));
      tab.put("Hacek", new Character('Γ£ô'));
      tab.put("vec", new Character('\ue1c0'));
      tab.put("dot", new Character('˙'));
      tab.put("ddot", new Character('¨'));
      tab.put("die", new Character('¨'));
      tab.put("DoubleDot", new Character('¨'));
      tab.put("Dot", new Character('¨'));
      tab.put("cub", new Character('\uf612'));
      tab.put("OverBrace", new Character('\uf612'));
      tab.put("ovrcub", new Character('\uf612'));
      tab.put("clb", new Character('\uf613'));
      tab.put("UnderBrace", new Character('\uf613'));
      tab.put("udrcub", new Character('\uf613'));
      tab.put("langle", new Character('〈'));
      tab.put("lang", new Character('〈'));
      tab.put("LeftAngleBracket", new Character('〈'));
      tab.put("rangle", new Character('〉'));
      tab.put("rang", new Character('〉'));
      tab.put("RightAngleBracket", new Character('〉'));
      tab.put("lfloor", new Character('Γîè'));
      tab.put("floorl", new Character('Γîè'));
      tab.put("LeftFloor", new Character('Γîè'));
      tab.put("rfloor", new Character('Γîï'));
      tab.put("floorr", new Character('Γîï'));
      tab.put("RightFloor", new Character('Γîï'));
      tab.put("lceil", new Character('Γîê'));
      tab.put("ceill", new Character('Γîê'));
      tab.put("LeftCeiling", new Character('Γîê'));
      tab.put("rceil", new Character('Γîë'));
      tab.put("ceilr", new Character('Γîë'));
      tab.put("RightCeiling", new Character('Γîë'));
      tab.put("{", new Character('{'));
      tab.put("}", new Character('}'));
      tab.put("lparen", new Character('('));
      tab.put("lpar", new Character('('));
      tab.put("rparen", new Character(')'));
      tab.put("rpar", new Character(')'));
      tab.put("lbrace", new Character('{'));
      tab.put("lcub", new Character('{'));
      tab.put("rbrace", new Character('}'));
      tab.put("rcub", new Character('}'));
      tab.put("lbrak", new Character('['));
      tab.put("lsqb", new Character('['));
      tab.put("lbrack", new Character('['));
      tab.put("rbrak", new Character(']'));
      tab.put("rsqb", new Character(']'));
      tab.put("rbrack", new Character(']'));
      tab.put("|", new Character('ΓÇû'));
      tab.put("Verbar", new Character('ΓÇû'));
      tab.put("Vert", new Character('ΓÇû'));
      tab.put("longleftarrow", new Character('\ue190'));
      tab.put("llarrow", new Character('\ue190'));
      tab.put("xlarr", new Character('\ue190'));
      tab.put("longrightarrow", new Character('\ue192'));
      tab.put("lrarrow", new Character('\ue192'));
      tab.put("xrarr", new Character('\ue192'));
      tab.put("xuarr", new Character('\ue191'));
      tab.put("xdarr", new Character('\ue193'));
      tab.put("xharr", new Character('\ue194'));
      tab.put("xvarr", new Character('\ue195'));
      tab.put("Space", new Character(' '));
      tab.put("NonBreakingSpace", new Character(' '));
      tab.put("ZeroWidthSpace", new Character('�'));
      tab.put("VeryThinSpace", new Character('ΓÇë'));
      tab.put("ThinSpace", new Character(' '));
      tab.put("MediumSpace", new Character('ΓÇâ'));
      tab.put("ThickSpace", new Character('\uf365'));
      tab.put("NegativeVeryThinSpace", new Character('\uf380'));
      tab.put("NegativeThinSpace", new Character('\uf382'));
      tab.put("NegativeMediumSpace", new Character('\uf383'));
      tab.put("NegativeThickSpace", new Character('\uf384'));
      tab.put("thinsp", new Character('ΓÇë'));
      tab.put(",", new Character('ΓÇë'));
      tab.put("it", new Character('ΓÇë'));
      tab.put("medsp", new Character(' '));
      tab.put("nbsp", new Character(' '));
      tab.put("thicksp", new Character('ΓÇâ'));
      tab.put("emsp", new Character('ΓÇâ'));
      tab.put("quad", new Character('\uf365'));
      tab.put("negsp", new Character('\uf382'));
      tab.put("negthinsp", new Character('\uf380'));
      tab.put("negemsp", new Character('\uf383'));
      tab.put("negquadsp", new Character('\uf384'));
      tab.put("!", new Character('\uf380'));
      tab.put("InvisibleTimes", new Character('\ufffb'));
      tab.put("ApplyFunction", new Character(''));
      tab.put("AlignmentMarker", new Character('�'));
      tab.put("InvisibleComma", new Character('�'));
      tab.put("MissingTerm", new Character('�'));
      tab.put("NewLine", new Character('\uf385'));
      tab.put("IndentingNewLine", new Character('\uf386'));
      tab.put("NoBreak", new Character('\uf387'));
      tab.put("GoodBreak", new Character('\uf388'));
      tab.put("BadBreak", new Character('\uf389'));
      tab.put("ic", new Character('�'));
      tab.put("af", new Character(''));
      tab.put("shorttemplate", new Character('\ufffa'));
      tab.put("ast", new Character('*'));
      tab.put("colon", new Character(':'));
      tab.put("alpha", new Character('╬▒'));
      tab.put("agr", new Character('╬▒'));
      tab.put("beta", new Character('╬▓'));
      tab.put("bgr", new Character('╬▓'));
      tab.put("gamma", new Character('╬│'));
      tab.put("ggr", new Character('╬│'));
      tab.put("delta", new Character('╬┤'));
      tab.put("dgr", new Character('╬┤'));
      tab.put("epsilon", new Character('╬╡'));
      tab.put("epsi", new Character('╬╡'));
      tab.put("egr", new Character('╬╡'));
      tab.put("straightepsilon", new Character('╬╡'));
      tab.put("zeta", new Character('╬╢'));
      tab.put("zgr", new Character('╬╢'));
      tab.put("eta", new Character('╬╖'));
      tab.put("eegr", new Character('╬╖'));
      tab.put("theta", new Character('╬╕'));
      tab.put("thgr", new Character('╬╕'));
      tab.put("iota", new Character('╬╣'));
      tab.put("igr", new Character('╬╣'));
      tab.put("kappa", new Character('╬║'));
      tab.put("kgr", new Character('╬║'));
      tab.put("lambda", new Character('╬╗'));
      tab.put("lgr", new Character('╬╗'));
      tab.put("mu", new Character('╬╝'));
      tab.put("mgr", new Character('╬╝'));
      tab.put("nu", new Character('╬╜'));
      tab.put("ngr", new Character('╬╜'));
      tab.put("xi", new Character('╬╛'));
      tab.put("xgr", new Character('╬╛'));
      tab.put("omicron", new Character('╬┐'));
      tab.put("ogr", new Character('╬┐'));
      tab.put("pi", new Character('π'));
      tab.put("pgr", new Character('π'));
      tab.put("rho", new Character('ρ'));
      tab.put("rgr", new Character('ρ'));
      tab.put("sigma", new Character('σ'));
      tab.put("sgr", new Character('σ'));
      tab.put("tau", new Character('τ'));
      tab.put("tgr", new Character('τ'));
      tab.put("upsi", new Character('υ'));
      tab.put("ugr", new Character('υ'));
      tab.put("upsilon", new Character('υ'));
      tab.put("phi", new Character('φ'));
      tab.put("phgr", new Character('φ'));
      tab.put("fgr", new Character('φ'));
      tab.put("straightphi", new Character('φ'));
      tab.put("chi", new Character('χ'));
      tab.put("khgr", new Character('χ'));
      tab.put("psi", new Character('ψ'));
      tab.put("psgr", new Character('ψ'));
      tab.put("omega", new Character('ω'));
      tab.put("ohgr", new Character('ω'));
      tab.put("epsiv", new Character('ɛ'));
      tab.put("varepsilon", new Character('ɛ'));
      tab.put("CurlyEpsilon", new Character('ɛ'));
      tab.put("kappav", new Character('╧░'));
      tab.put("varkappa", new Character('╧░'));
      tab.put("thetav", new Character('ϑ'));
      tab.put("vartheta", new Character('ϑ'));
      tab.put("sigmav", new Character('ς'));
      tab.put("varsigma", new Character('ς'));
      tab.put("phiv", new Character('ϕ'));
      tab.put("varphi", new Character('ϕ'));
      tab.put("piv", new Character('ϖ'));
      tab.put("varpi", new Character('ϖ'));
      tab.put("rhov", new Character('╧▒'));
      tab.put("varrho", new Character('╧▒'));
      tab.put("Alpha", new Character('Α'));
      tab.put("Agr", new Character('Α'));
      tab.put("CapitalAlpha", new Character('Α'));
      tab.put("Beta", new Character('Β'));
      tab.put("Bgr", new Character('Β'));
      tab.put("CapitalBeta", new Character('Β'));
      tab.put("Gamma", new Character('Γ'));
      tab.put("Ggr", new Character('Γ'));
      tab.put("CapitalGamma", new Character('Γ'));
      tab.put("Delta", new Character('Δ'));
      tab.put("Dgr", new Character('Δ'));
      tab.put("CapitalDelta", new Character('Δ'));
      tab.put("Epsi", new Character('Ε'));
      tab.put("Epsilon", new Character('Ε'));
      tab.put("Egr", new Character('Ε'));
      tab.put("CapitalEpsilon", new Character('Ε'));
      tab.put("Zeta", new Character('Ζ'));
      tab.put("Zgr", new Character('Ζ'));
      tab.put("CapitalZeta", new Character('Ζ'));
      tab.put("Eta", new Character('Η'));
      tab.put("EEgr", new Character('Η'));
      tab.put("CapitalEta", new Character('Η'));
      tab.put("Iota", new Character('Ι'));
      tab.put("CapitalIota", new Character('Ι'));
      tab.put("Kappa", new Character('Κ'));
      tab.put("Kgr", new Character('Κ'));
      tab.put("CapitalKappa", new Character('Κ'));
      tab.put("Lambda", new Character('Λ'));
      tab.put("Lgr", new Character('Λ'));
      tab.put("CapitalLambda", new Character('Λ'));
      tab.put("Mu", new Character('Μ'));
      tab.put("Mgr", new Character('Μ'));
      tab.put("CapitalMu", new Character('Μ'));
      tab.put("Nu", new Character('Ν'));
      tab.put("Ngr", new Character('Ν'));
      tab.put("CapitalNu", new Character('Ν'));
      tab.put("Xi", new Character('Ξ'));
      tab.put("Ygr", new Character('Ξ'));
      tab.put("CapitalXi", new Character('Ξ'));
      tab.put("CapitalOmicron", new Character('Ο'));
      tab.put("Ogr", new Character('Ο'));
      tab.put("Omicron", new Character('Ο'));
      tab.put("Pi", new Character('Π'));
      tab.put("Pgr", new Character('Π'));
      tab.put("CapitalPi", new Character('Π'));
      tab.put("Rho", new Character('Ρ'));
      tab.put("Rgr", new Character('Ρ'));
      tab.put("CapitalRho", new Character('Ρ'));
      tab.put("Sigma", new Character('Σ'));
      tab.put("Sgr", new Character('Σ'));
      tab.put("CapitalSigma", new Character('Σ'));
      tab.put("Tau", new Character('Τ'));
      tab.put("Tgr", new Character('Τ'));
      tab.put("CapitalTau", new Character('Τ'));
      tab.put("Upsi", new Character('ϒ'));
      tab.put("Upsilon", new Character('ϒ'));
      tab.put("Ugr", new Character('ϒ'));
      tab.put("CapitalUpsilon", new Character('ϒ'));
      tab.put("Phi", new Character('Φ'));
      tab.put("Fgr", new Character('Φ'));
      tab.put("CapitalPhi", new Character('Φ'));
      tab.put("Chi", new Character('Χ'));
      tab.put("KHgr", new Character('Χ'));
      tab.put("CapitalChi", new Character('Χ'));
      tab.put("Theta", new Character('╬ÿ'));
      tab.put("THgr", new Character('╬ÿ'));
      tab.put("CapitalTheta", new Character('╬ÿ'));
      tab.put("Psi", new Character('Ψ'));
      tab.put("PSgr", new Character('Ψ'));
      tab.put("CapitalPsi", new Character('Ψ'));
      tab.put("Omega", new Character('Ω'));
      tab.put("OHgr", new Character('Ω'));
      tab.put("CapitalOmega", new Character('Ω'));
      tab.put("larr", new Character('←'));
      tab.put("leftarrow", new Character('←'));
      tab.put("LeftArrow", new Character('←'));
      tab.put("uarr", new Character('Γåæ'));
      tab.put("uparrow", new Character('Γåæ'));
      tab.put("UpArrow", new Character('Γåæ'));
      tab.put("rarr", new Character('→'));
      tab.put("rightarrow", new Character('→'));
      tab.put("RightArrow", new Character('→'));
      tab.put("to", new Character('→'));
      tab.put("darr", new Character('Γåô'));
      tab.put("downarrow", new Character('Γåô'));
      tab.put("DownArrow", new Character('Γåô'));
      tab.put("rArr", new Character('⇒'));
      tab.put("Rightarrow", new Character('⇒'));
      tab.put("implies", new Character('⇒'));
      tab.put("DoubleRightArrow", new Character('⇒'));
      tab.put("hArr", new Character('Γçö'));
      tab.put("Leftrightarrow", new Character('Γçö'));
      tab.put("iff", new Character('Γçö'));
      tab.put("DoubleLeftRightArrow", new Character('Γçö'));
      tab.put("rarrhk", new Character('↪'));
      tab.put("hookrightarrow", new Character('↪'));
      tab.put("hkarrow", new Character('↪'));
      tab.put("map", new Character('↦'));
      tab.put("mapsto", new Character('↦'));
      tab.put("mapr", new Character('↦'));
      tab.put("RightTeeArrow", new Character('↦'));
      tab.put("empty", new Character('Γêà'));
      tab.put("emptyset", new Character('Γêà'));
      tab.put("varnothing", new Character('Γêà'));
      tab.put("Empty", new Character('Γêà'));
      tab.put("nullset", new Character('Γêà'));
      tab.put("EmptySet", new Character('Γêà'));
      tab.put("cap", new Character('∩'));
      tab.put("cup", new Character('∪'));
      tab.put("sub", new Character('Γèé'));
      tab.put("subset", new Character('Γèé'));
      tab.put("Subset", new Character('Γèé'));
      tab.put("sube", new Character('Γèå'));
      tab.put("subseteq", new Character('Γèå'));
      tab.put("subuline", new Character('Γèå'));
      tab.put("SubsetEqual", new Character('Γèå'));
      tab.put("isin", new Character('Γêê'));
      tab.put("in", new Character('Γêê'));
      tab.put("isinv", new Character('Γêê'));
      tab.put("Element", new Character('Γêê'));
      tab.put("sup", new Character('Γèâ'));
      tab.put("supset", new Character('Γèâ'));
      tab.put("Superset", new Character('Γèâ'));
      tab.put("supseteq", new Character('Γèç'));
      tab.put("supe", new Character('Γèç'));
      tab.put("supuline", new Character('Γèç'));
      tab.put("SupersetEqual", new Character('Γèç'));
      tab.put("notin", new Character('Γêë'));
      tab.put("nonit", new Character('Γêë'));
      tab.put("NotElement", new Character('Γêë'));
      tab.put("infin", new Character('∞'));
      tab.put("infty", new Character('∞'));
      tab.put("Infinity", new Character('∞'));
      tab.put("sum", new Character('Γêæ'));
      tab.put("Sum", new Character('Γêæ'));
      tab.put("prod", new Character('∏'));
      tab.put("Product", new Character('∏'));
      tab.put("int", new Character('Γê½'));
      tab.put("Integral", new Character('Γê½'));
      tab.put("conint", new Character('Γê«'));
      tab.put("oint", new Character('Γê«'));
      tab.put("ContourIntegral", new Character('Γê«'));
      tab.put("oplus", new Character('Γèò'));
      tab.put("CirclePlus", new Character('Γèò'));
      tab.put("otimes", new Character('Γèù'));
      tab.put("CircleTimes", new Character('Γèù'));
      tab.put("and", new Character('∧'));
      tab.put("And", new Character('∧'));
      tab.put("wedge", new Character('∧'));
      tab.put("part", new Character('Γêé'));
      tab.put("partial", new Character('Γêé'));
      tab.put("PartialD", new Character('Γêé'));
      tab.put("Int", new Character('Γê¼'));
      tab.put("iint", new Character('Γê¼'));
      tab.put("tint", new Character('Γê¡'));
      tab.put("iiint", new Character('Γê¡'));
      tab.put("minus", new Character('−'));
      tab.put("ndash", new Character('−'));
      tab.put("endash", new Character('−'));
      tab.put("Dash", new Character('−'));
      tab.put("times", new Character('×'));
      tab.put("Times", new Character('×'));
      tab.put("plus", new Character('+'));
      tab.put("equals", new Character('='));
      tab.put("middot", new Character('┬╖'));
      tab.put("cdot", new Character('┬╖'));
      tab.put("centerdot", new Character('┬╖'));
      tab.put("CenterDot", new Character('┬╖'));
      tab.put("hellip", new Character('…'));
      tab.put("ldots", new Character('…'));
      tab.put("dots", new Character('…'));
      tab.put("ellip", new Character('…'));
      tab.put("Ellipsis", new Character('…'));
      tab.put("vellip", new Character('Γï«'));
      tab.put("vdots", new Character('Γï«'));
      tab.put("elipd", new Character('Γï«'));
      tab.put("VerticalEllipsis", new Character('Γï«'));
      tab.put("ctdot", new Character('Γï»'));
      tab.put("cdots", new Character('Γï»'));
      tab.put("cellip", new Character('Γï»'));
      tab.put("CenterEllipsis", new Character('Γï»'));
      tab.put("dtdot", new Character('⋱'));
      tab.put("ddots", new Character('⋱'));
      tab.put("soldotr", new Character('⋱'));
      tab.put("Continuation", new Character('⋱'));
      tab.put("plusmn", new Character('┬▒'));
      tab.put("pm", new Character('┬▒'));
      tab.put("PlusMinus", new Character('┬▒'));
      tab.put("divide", new Character('├╖'));
      tab.put("div", new Character('├╖'));
      tab.put("Divide", new Character('├╖'));
      tab.put("compfn", new Character('Γêÿ'));
      tab.put("circ", new Character('Γêÿ'));
      tab.put("SmallCircle", new Character('Γêÿ'));
      tab.put("bulop", new Character('Γêÿ'));
      tab.put("convolu", new Character('Γêÿ'));
      tab.put("setmn", new Character('Γêû'));
      tab.put("setminus", new Character('Γêû'));
      tab.put("ssetmn", new Character('\ue216'));
      tab.put("ssetminus", new Character('\ue216'));
      tab.put("shortsetminus", new Character('\ue216'));
      tab.put("smallsetminus", new Character('\ue216'));
      tab.put("backslash", new Character('Γêû'));
      tab.put("Backslash", new Character('Γêû'));
      tab.put("perp", new Character('⊥'));
      tab.put("bot", new Character('⊥'));
      tab.put("bottom", new Character('⊥'));
      tab.put("UpTee", new Character('⊥'));
      tab.put("ang", new Character('Γêá'));
      tab.put("angle", new Character('Γêá'));
      tab.put("angupr", new Character('Γêá'));
      tab.put("Angle", new Character('Γêá'));
      tab.put("nabla", new Character('Γêç'));
      tab.put("Del", new Character('Γêç'));
      tab.put("lt", new Character('<'));
      tab.put("less", new Character('<'));
      tab.put("gt", new Character('>'));
      tab.put("greater", new Character('>'));
      tab.put("le", new Character('Γëñ'));
      tab.put("leq", new Character('Γëñ'));
      tab.put("LessEqual", new Character('Γëñ'));
      tab.put("ge", new Character('≥'));
      tab.put("geq", new Character('≥'));
      tab.put("GreaterEqual", new Character('≥'));
      tab.put("equiv", new Character('Γëí'));
      tab.put("Congruent", new Character('Γëí'));
      tab.put("sim", new Character('∼'));
      tab.put("Tilde", new Character('∼'));
      tab.put("ap", new Character('Γëê'));
      tab.put("approx", new Character('Γëê'));
      tab.put("TildeTilde", new Character('Γëê'));
      tab.put("cong", new Character('Γëà'));
      tab.put("TildeFullEqual", new Character('Γëà'));
      tab.put("prop", new Character('∝'));
      tab.put("propto", new Character('∝'));
      tab.put("Proportional", new Character('∝'));
      tab.put("Lt", new Character('≪'));
      tab.put("ll", new Character('≪'));
      tab.put("LessLess", new Character('≪'));
      tab.put("Gt", new Character('Γë½'));
      tab.put("gg", new Character('Γë½'));
      tab.put("GreaterGreater", new Character('Γë½'));
      tab.put("forall", new Character('∀'));
      tab.put("ForAll", new Character('∀'));
      tab.put("exist", new Character('Γêâ'));
      tab.put("exists", new Character('Γêâ'));
      tab.put("Exists", new Character('Γêâ'));
      tab.put("not", new Character('¬'));
      tab.put("neg", new Character('¬'));
      tab.put("Not", new Character('¬'));
      tab.put("urcorn", new Character('⌝'));
      tab.put("nexist", new Character('Γêä'));
      tab.put("nexists", new Character('Γêä'));
      tab.put("NotExists", new Character('Γêä'));
      tab.put("squarf", new Character('Γû¬'));
      tab.put("qed", new Character('Γû¬'));
      tab.put("blacksquare", new Character('Γû¬'));
      tab.put("FilledRectangle", new Character('Γû¬'));
      tab.put("top", new Character('Γèñ'));
      tab.put("DownTee", new Character('Γèñ'));
      tab.put("real", new Character('ℜ'));
      tab.put("Re", new Character('ℜ'));
      tab.put("image", new Character('Γäæ'));
      tab.put("Im", new Character('Γäæ'));
      tab.put("plank", new Character('ℏ'));
      tab.put("hbar", new Character('ℏ'));
      tab.put("plankv", new Character('ℏ'));
      tab.put("hslash", new Character('ℏ'));
      tab.put("HBar", new Character('ℏ'));
      tab.put("aleph", new Character('ℵ'));
      tab.put("gammad", new Character('Ϝ'));
      tab.put("Gammad", new Character('Ϝ'));
      tab.put("digamma", new Character('Ϝ'));
      tab.put("prime", new Character('′'));
      tab.put("Prime", new Character('′'));
      tab.put("imath", new Character('─▒'));
      tab.put("jmath", new Character('\ue132'));
      tab.put("par", new Character('∥'));
      tab.put("parallel", new Character('∥'));
      tab.put("DoubleVerticalBar", new Character('∥'));
      tab.put("mid", new Character('Γêú'));
      tab.put("VerticalBar", new Character('Γêú'));
      tab.put("vert", new Character('|'));
      tab.put("verbar", new Character('|'));
      tab.put("vrul", new Character('|'));
      tab.put("LeftBracketingBar", new Character('|'));
      tab.put("RightBracketingBar", new Character('|'));
      tab.put("ni", new Character('Γêï'));
      tab.put("niv", new Character('Γêï'));
      tab.put("ReverseElement", new Character('Γêï'));
      tab.put("SuchThat", new Character('Γêï'));
      tab.put("ltimes", new Character('Γïë'));
      tab.put("rtimes", new Character('Γïè'));
      tab.put("sime", new Character('Γëâ'));
      tab.put("simeq", new Character('Γëâ'));
      tab.put("TildeEqual", new Character('Γëâ'));
      tab.put("ne", new Character('Γëá'));
      tab.put("neq", new Character('Γëá'));
      tab.put("NotEqual", new Character('Γëá'));
      tab.put("nlt", new Character('Γë«'));
      tab.put("nless", new Character('Γë«'));
      tab.put("NotLess", new Character('Γë«'));
      tab.put("ngt", new Character('Γë»'));
      tab.put("ngtr", new Character('Γë»'));
      tab.put("NotGreater", new Character('Γë»'));
      tab.put("nle", new Character('\ue270'));
      tab.put("nleq", new Character('\ue270'));
      tab.put("nles", new Character('≰'));
      tab.put("nleqslant", new Character('≰'));
      tab.put("NotLessEqual", new Character('\ue270'));
      tab.put("NotLessSlantEqual", new Character('≰'));
      tab.put("nge", new Character('\ue271'));
      tab.put("ngeq", new Character('\ue271'));
      tab.put("nges", new Character('≱'));
      tab.put("ngeqslant", new Character('≱'));
      tab.put("NotGreater", new Character('\ue271'));
      tab.put("NotGreaterSlantEqual", new Character('≱'));
      tab.put("nsube", new Character('Γèê'));
      tab.put("nsubseteq", new Character('Γèê'));
      tab.put("subNe", new Character('\ue28a'));
      tab.put("NotSubsetEqual", new Character('Γèê'));
      tab.put("nsupe", new Character('Γèë'));
      tab.put("nsupseteq", new Character('Γèë'));
      tab.put("supNe", new Character('\ue28b'));
      tab.put("NotSupersetEqual", new Character('Γèë'));
      tab.put("nsub", new Character('Γèä'));
      tab.put("nsubset", new Character('Γèä'));
      tab.put("NotSubset", new Character('Γèä'));
      tab.put("sublineh", new Character('Γèä'));
      tab.put("vnsub", new Character('\ue284'));
      tab.put("nsup", new Character('Γèà'));
      tab.put("nsupset", new Character('Γèà'));
      tab.put("NotSuperset", new Character('Γèà'));
      tab.put("suplineh", new Character('Γèà'));
      tab.put("vnsup", new Character('\ue285'));
      tab.put("npar", new Character('∦'));
      tab.put("nparallel", new Character('∦'));
      tab.put("NotDoubleVerticalBar", new Character('∦'));
      tab.put("ncong", new Character('Γëç'));
      tab.put("NotTildeFullEqual", new Character('Γëç'));
      tab.put("nmid", new Character('Γêñ'));
      tab.put("NotVerticalBar", new Character('Γêñ'));
      tab.put("xsum", new Character('\ue211'));
      tab.put("bigsum", new Character('\ue211'));
      tab.put("xprod", new Character('\ue20f'));
      tab.put("bigprod", new Character('\ue20f'));
      tab.put("xint", new Character('\ue22b'));
      tab.put("bigint", new Character('\ue22b'));
      tab.put("xconint", new Character('\ue22e'));
      tab.put("bigconint", new Character('\ue22e'));
      tab.put("bigoint", new Character('\ue22e'));
      tab.put("xotimes", new Character('\ue997'));
      tab.put("bigotimes", new Character('\ue997'));
      tab.put("xoplus", new Character('\ue295'));
      tab.put("bigoplus", new Character('\ue295'));
      tab.put("xcap", new Character('Γïé'));
      tab.put("bigcap", new Character('Γïé'));
      tab.put("xcup", new Character('Γïâ'));
      tab.put("bigcup", new Character('Γïâ'));
      tab.put("xwedge", new Character('⋀'));
      tab.put("bigwedge", new Character('⋀'));
      tab.put("xcoprod", new Character('\ue210'));
      tab.put("bigcoprod", new Character('\ue210'));
      tab.put("bigiint", new Character('\ue22c'));
      tab.put("xInt", new Character('\ue22c'));
      tab.put("bigiiint", new Character('\ue22d'));
      tab.put("xtint", new Character('\ue22d'));
      tab.put("nlarr", new Character('↚'));
      tab.put("nleftarrow", new Character('↚'));
      tab.put("nrarr", new Character('↛'));
      tab.put("nrightarrow", new Character('↛'));
      tab.put("nharr", new Character('Γå«'));
      tab.put("nleftrightarrow", new Character('Γå«'));
      tab.put("nlArr", new Character('Γçì'));
      tab.put("nLeftarrow", new Character('Γçì'));
      tab.put("nrArr", new Character('⇏'));
      tab.put("nRightarrow", new Character('⇏'));
      tab.put("nhArr", new Character('⇎'));
      tab.put("nLeftrightarrow", new Character('⇎'));
      tab.put("rharu", new Character('⇀'));
      tab.put("rightharpoonup", new Character('⇀'));
      tab.put("RightVector", new Character('⇀'));
      tab.put("lharu", new Character('↼'));
      tab.put("leftharpoonup", new Character('↼'));
      tab.put("LeftVector", new Character('↼'));
      tab.put("mumap", new Character('⊸'));
      tab.put("multimap", new Character('⊸'));
      tab.put("rarrw", new Character('⇝'));
      tab.put("rightsquigarrow", new Character('⇝'));
      tab.put("dzigrarr", new Character('⇝'));
      tab.put("zigrarr", new Character('⇝'));
      tab.put("harrw", new Character('Γå¡'));
      tab.put("leftrightsquigarrow", new Character('Γå¡'));
      tab.put("ominus", new Character('Γèû'));
      tab.put("CircleMinus", new Character('Γèû'));
      tab.put("odot", new Character('ΓèÖ'));
      tab.put("CircleDot", new Character('ΓèÖ'));
      tab.put("osol", new Character('Γèÿ'));
      tab.put("oslash", new Character('Γèÿ'));
      tab.put("plusb", new Character('⊞'));
      tab.put("boxplus", new Character('⊞'));
      tab.put("minusb", new Character('⊟'));
      tab.put("boxminus", new Character('⊟'));
      tab.put("timesb", new Character('Γèá'));
      tab.put("boxtimes", new Character('Γèá'));
      tab.put("sdotb", new Character('Γèí'));
      tab.put("dotsquare", new Character('Γèí'));
      tab.put("plusdo", new Character('Γêö'));
      tab.put("wreath", new Character('≀'));
      tab.put("wr", new Character('≀'));
      tab.put("VerticalTilde", new Character('≀'));
      tab.put("xodot", new Character('\ue299'));
      tab.put("bigodot", new Character('\ue299'));
      tab.put("xvee", new Character('\ue261'));
      tab.put("bigvee", new Character('\ue261'));
      tab.put("Vee", new Character('\ue261'));
      tab.put("Bbb_A", new Character('\ue538'));
      tab.put("Aopf", new Character('\ue538'));
      tab.put("Bbb_B", new Character('\ue539'));
      tab.put("Bopf", new Character('\ue539'));
      tab.put("Bbb_C", new Character('\ue53a'));
      tab.put("Copf", new Character('\ue53a'));
      tab.put("Bbb_D", new Character('\ue53b'));
      tab.put("Dopf", new Character('\ue53b'));
      tab.put("Bbb_E", new Character('\ue53c'));
      tab.put("Eopf", new Character('\ue53c'));
      tab.put("Bbb_F", new Character('\ue53d'));
      tab.put("Fopf", new Character('\ue53d'));
      tab.put("Bbb_G", new Character('\ue53e'));
      tab.put("Gopf", new Character('\ue53e'));
      tab.put("Bbb_H", new Character('\ue53f'));
      tab.put("Hopf", new Character('\ue53f'));
      tab.put("Bbb_I", new Character('\ue540'));
      tab.put("Iopf", new Character('\ue540'));
      tab.put("Bbb_J", new Character('\ue541'));
      tab.put("Jopf", new Character('\ue541'));
      tab.put("Bbb_K", new Character('\ue542'));
      tab.put("Kopf", new Character('\ue542'));
      tab.put("Bbb_L", new Character('\ue543'));
      tab.put("Lopf", new Character('\ue543'));
      tab.put("Bbb_M", new Character('\ue544'));
      tab.put("Mopf", new Character('\ue544'));
      tab.put("Bbb_N", new Character('\ue545'));
      tab.put("Nopf", new Character('\ue545'));
      tab.put("Bbb_O", new Character('\ue546'));
      tab.put("Oopf", new Character('\ue546'));
      tab.put("Bbb_P", new Character('\ue547'));
      tab.put("Popf", new Character('\ue547'));
      tab.put("Bbb_Q", new Character('\ue548'));
      tab.put("Qopf", new Character('\ue548'));
      tab.put("Bbb_R", new Character('\ue549'));
      tab.put("Ropf", new Character('\ue549'));
      tab.put("Bbb_S", new Character('\ue54a'));
      tab.put("Sopf", new Character('\ue54a'));
      tab.put("Bbb_T", new Character('\ue54b'));
      tab.put("Topf", new Character('\ue54b'));
      tab.put("Bbb_U", new Character('\ue54c'));
      tab.put("Uopf", new Character('\ue54c'));
      tab.put("Bbb_V", new Character('\ue54d'));
      tab.put("Vopf", new Character('\ue54d'));
      tab.put("Bbb_W", new Character('\ue54e'));
      tab.put("Wopf", new Character('\ue54e'));
      tab.put("Bbb_X", new Character('\ue54f'));
      tab.put("Xopf", new Character('\ue54f'));
      tab.put("Bbb_Y", new Character('\ue550'));
      tab.put("Yopf", new Character('\ue550'));
      tab.put("Bbb_Z", new Character('\ue551'));
      tab.put("Zopf", new Character('\ue551'));
      tab.put("asymp", new Character('Γëì'));
      tab.put("CupCap", new Character('Γëì'));
      tab.put("cire", new Character('Γëù'));
      tab.put("circeq", new Character('Γëù'));
      tab.put("wedgeq", new Character('ΓëÖ'));
      tab.put("veeeq", new Character('≚'));
      tab.put("easter", new Character('≛'));
      tab.put("trie", new Character('≜'));
      tab.put("triangleq", new Character('≜'));
      tab.put("equest", new Character('≟'));
      tab.put("fork", new Character('Γïö'));
      tab.put("pitchfork", new Character('Γïö'));
      tab.put("ltdot", new Character('Γïû'));
      tab.put("lessdot", new Character('Γïû'));
      tab.put("gtdot", new Character('Γïù'));
      tab.put("Ll", new Character('Γïÿ'));
      tab.put("lll", new Character('Γïÿ'));
      tab.put("Gg", new Character('ΓïÖ'));
      tab.put("ggg", new Character('ΓïÖ'));
      tab.put("lthree", new Character('Γïï'));
      tab.put("leftthreetimes", new Character('Γïï'));
      tab.put("rthree", new Character('Γïî'));
      tab.put("rightfthreetimes", new Character('Γïî'));
      tab.put("ltrie", new Character('⊴'));
      tab.put("trianglelefteq", new Character('⊴'));
      tab.put("LeftTriangleEqual", new Character('⊴'));
      tab.put("rtrie", new Character('⊵'));
      tab.put("trianglerighteq", new Character('⊵'));
      tab.put("RightTriangleEqual", new Character('⊵'));
      tab.put("dashv", new Character('Γèú'));
      tab.put("LeftTee", new Character('Γèú'));
      tab.put("vdash", new Character('Γèó'));
      tab.put("RightTee", new Character('Γèó'));
      tab.put("vDash", new Character('Γè¿'));
      tab.put("DoubleRightTee", new Character('Γè¿'));
      tab.put("Vdash", new Character('⊩'));
      tab.put("nasymp", new Character('Γë¡'));
      tab.put("lne", new Character('Γë¿'));
      tab.put("lneq", new Character('Γë¿'));
      tab.put("lneqq", new Character('Γë¿'));
      tab.put("gne", new Character('≩'));
      tab.put("gneq", new Character('≩'));
      tab.put("gneqq", new Character('≩'));
      tab.put("nsim", new Character('Γëü'));
      tab.put("NotTilde", new Character('Γëü'));
      tab.put("nsime", new Character('Γëä'));
      tab.put("nsimeq", new Character('Γëä'));
      tab.put("NotTildeEqual", new Character('Γëä'));
      tab.put("simne", new Character('Γëå'));
      tab.put("nap", new Character('Γëë'));
      tab.put("napprox", new Character('Γëë'));
      tab.put("NotTildeTilde", new Character('Γëë'));
      tab.put("nequiv", new Character('Γëó'));
      tab.put("NotCongruent", new Character('Γëó'));
      tab.put("nltri", new Character('⋪'));
      tab.put("ntriangleleft", new Character('⋪'));
      tab.put("NotLeftTriangle", new Character('⋪'));
      tab.put("nrtri", new Character('Γï½'));
      tab.put("ntriangleright", new Character('Γï½'));
      tab.put("NotRightTriangle", new Character('Γï½'));
      tab.put("nltrie", new Character('Γï¼'));
      tab.put("ntrianglelefteq", new Character('Γï¼'));
      tab.put("NotLeftTriangleEqual", new Character('Γï¼'));
      tab.put("nrtrie", new Character('Γï¡'));
      tab.put("ntrianglerighteq", new Character('Γï¡'));
      tab.put("NotRightTriangleEqual", new Character('Γï¡'));
      tab.put("notni", new Character('Γêî'));
      tab.put("NotReverseElement", new Character('Γêî'));
      tab.put("subne", new Character('Γèè'));
      tab.put("subsetneq", new Character('Γèè'));
      tab.put("subsetneqq", new Character('Γèè'));
      tab.put("supne", new Character('Γèï'));
      tab.put("supsetneq", new Character('Γèï'));
      tab.put("supsetneqq", new Character('Γèï'));
      tab.put("nvdash", new Character('Γè¼'));
      tab.put("nvDash", new Character('Γè¡'));
      tab.put("nVdash", new Character('Γè«'));
      tab.put("nVDash", new Character('Γè»'));
      tab.put("frak_A", new Character('\ue504'));
      tab.put("Afr", new Character('\ue504'));
      tab.put("frak_B", new Character('\ue505'));
      tab.put("Bfr", new Character('\ue505'));
      tab.put("frak_C", new Character('\ue506'));
      tab.put("Cfr", new Character('\ue506'));
      tab.put("frak_D", new Character('\ue507'));
      tab.put("Dfr", new Character('\ue507'));
      tab.put("frak_E", new Character('\ue508'));
      tab.put("Efr", new Character('\ue508'));
      tab.put("frak_F", new Character('\ue509'));
      tab.put("Ffr", new Character('\ue509'));
      tab.put("frak_G", new Character('\ue50a'));
      tab.put("Gfr", new Character('\ue50a'));
      tab.put("frak_H", new Character('\ue50b'));
      tab.put("Hfr", new Character('\ue50b'));
      tab.put("frak_I", new Character('\ue50c'));
      tab.put("Ifr", new Character('\ue50c'));
      tab.put("frak_J", new Character('\ue50d'));
      tab.put("Jfr", new Character('\ue50d'));
      tab.put("frak_K", new Character('\ue50e'));
      tab.put("Kfr", new Character('\ue50e'));
      tab.put("frak_L", new Character('\ue50f'));
      tab.put("Lfr", new Character('\ue50f'));
      tab.put("frak_M", new Character('\ue510'));
      tab.put("Mfr", new Character('\ue510'));
      tab.put("frak_N", new Character('\ue511'));
      tab.put("Nfr", new Character('\ue511'));
      tab.put("frak_O", new Character('\ue512'));
      tab.put("Ofr", new Character('\ue512'));
      tab.put("frak_P", new Character('\ue513'));
      tab.put("Pfr", new Character('\ue513'));
      tab.put("frak_Q", new Character('\ue514'));
      tab.put("Qfr", new Character('\ue514'));
      tab.put("frak_R", new Character('\ue515'));
      tab.put("Rfr", new Character('\ue515'));
      tab.put("frak_S", new Character('\ue516'));
      tab.put("Sfr", new Character('\ue516'));
      tab.put("frak_T", new Character('\ue517'));
      tab.put("Tfr", new Character('\ue517'));
      tab.put("frak_U", new Character('\ue518'));
      tab.put("Ufr", new Character('\ue518'));
      tab.put("frak_V", new Character('\ue519'));
      tab.put("Vfr", new Character('\ue519'));
      tab.put("frak_W", new Character('\ue51a'));
      tab.put("Wfr", new Character('\ue51a'));
      tab.put("frak_X", new Character('\ue51b'));
      tab.put("Xfr", new Character('\ue51b'));
      tab.put("frak_Y", new Character('\ue51c'));
      tab.put("Yfr", new Character('\ue51c'));
      tab.put("frak_Z", new Character('\ue51d'));
      tab.put("Zfr", new Character('\ue51d'));
      tab.put("frak_a", new Character('\ue51e'));
      tab.put("afr", new Character('\ue51e'));
      tab.put("frak_b", new Character('\ue51f'));
      tab.put("bfr", new Character('\ue51f'));
      tab.put("frak_c", new Character('\ue520'));
      tab.put("cfr", new Character('\ue520'));
      tab.put("frak_d", new Character('\ue521'));
      tab.put("dfr", new Character('\ue521'));
      tab.put("frak_e", new Character('\ue522'));
      tab.put("efr", new Character('\ue522'));
      tab.put("frak_f", new Character('\ue523'));
      tab.put("ffr", new Character('\ue523'));
      tab.put("frak_g", new Character('\ue524'));
      tab.put("gfr", new Character('\ue524'));
      tab.put("frak_h", new Character('\ue525'));
      tab.put("hfr", new Character('\ue525'));
      tab.put("frak_i", new Character('\ue526'));
      tab.put("ifr", new Character('\ue526'));
      tab.put("frak_j", new Character('\ue527'));
      tab.put("jfr", new Character('\ue527'));
      tab.put("frak_k", new Character('\ue528'));
      tab.put("kfr", new Character('\ue528'));
      tab.put("frak_l", new Character('\ue529'));
      tab.put("lfr", new Character('\ue529'));
      tab.put("frak_m", new Character('\ue52a'));
      tab.put("mfr", new Character('\ue52a'));
      tab.put("frak_n", new Character('\ue52b'));
      tab.put("nfr", new Character('\ue52b'));
      tab.put("frak_o", new Character('\ue52c'));
      tab.put("ofr", new Character('\ue52c'));
      tab.put("frak_p", new Character('\ue52d'));
      tab.put("pfr", new Character('\ue52d'));
      tab.put("frak_q", new Character('\ue52e'));
      tab.put("qfr", new Character('\ue52e'));
      tab.put("frak_r", new Character('\ue52f'));
      tab.put("rfr", new Character('\ue52f'));
      tab.put("frak_s", new Character('\ue530'));
      tab.put("sfr", new Character('\ue530'));
      tab.put("frak_t", new Character('\ue531'));
      tab.put("tfr", new Character('\ue531'));
      tab.put("frak_u", new Character('\ue532'));
      tab.put("ufr", new Character('\ue532'));
      tab.put("frak_v", new Character('\ue533'));
      tab.put("vfr", new Character('\ue533'));
      tab.put("frak_w", new Character('\ue534'));
      tab.put("wfr", new Character('\ue534'));
      tab.put("frak_x", new Character('\ue535'));
      tab.put("xfr", new Character('\ue535'));
      tab.put("frak_y", new Character('\ue536'));
      tab.put("yfr", new Character('\ue536'));
      tab.put("frak_z", new Character('\ue537'));
      tab.put("zfr", new Character('\ue537'));
      tab.put("cal_A", new Character('\ue49c'));
      tab.put("Ascr", new Character('\ue49c'));
      tab.put("cal_B", new Character('\ue49d'));
      tab.put("Bscr", new Character('\ue49d'));
      tab.put("cal_C", new Character('\ue49e'));
      tab.put("Cscr", new Character('\ue49e'));
      tab.put("cal_D", new Character('\ue49f'));
      tab.put("Dscr", new Character('\ue49f'));
      tab.put("cal_E", new Character('\ue4a0'));
      tab.put("Escr", new Character('\ue4a0'));
      tab.put("cal_F", new Character('\ue4a1'));
      tab.put("Fscr", new Character('\ue4a1'));
      tab.put("cal_G", new Character('\ue4a2'));
      tab.put("Gscr", new Character('\ue4a2'));
      tab.put("cal_H", new Character('\ue4a3'));
      tab.put("Hscr", new Character('\ue4a3'));
      tab.put("cal_I", new Character('\ue4a4'));
      tab.put("Iscr", new Character('\ue4a4'));
      tab.put("cal_J", new Character('\ue4a5'));
      tab.put("Jscr", new Character('\ue4a5'));
      tab.put("cal_K", new Character('\ue4a6'));
      tab.put("Kscr", new Character('\ue4a6'));
      tab.put("cal_L", new Character('\ue4a7'));
      tab.put("Lscr", new Character('\ue4a7'));
      tab.put("cal_M", new Character('\ue4a8'));
      tab.put("Mscr", new Character('\ue4a8'));
      tab.put("cal_N", new Character('\ue4a9'));
      tab.put("Nscr", new Character('\ue4a9'));
      tab.put("cal_O", new Character('\ue4aa'));
      tab.put("Oscr", new Character('\ue4aa'));
      tab.put("cal_P", new Character('\ue4ab'));
      tab.put("Pscr", new Character('\ue4ab'));
      tab.put("cal_Q", new Character('\ue4ac'));
      tab.put("Qscr", new Character('\ue4ac'));
      tab.put("cal_R", new Character('\ue4ad'));
      tab.put("Rscr", new Character('\ue4ad'));
      tab.put("cal_S", new Character('\ue4ae'));
      tab.put("Sscr", new Character('\ue4ae'));
      tab.put("cal_T", new Character('\ue4af'));
      tab.put("Tscr", new Character('\ue4af'));
      tab.put("cal_U", new Character('\ue4b0'));
      tab.put("Uscr", new Character('\ue4b0'));
      tab.put("cal_V", new Character('\ue4b1'));
      tab.put("Vscr", new Character('\ue4b1'));
      tab.put("cal_W", new Character('\ue4b2'));
      tab.put("Wscr", new Character('\ue4b2'));
      tab.put("cal_X", new Character('\ue4b3'));
      tab.put("Xscr", new Character('\ue4b3'));
      tab.put("cal_Y", new Character('\ue4b4'));
      tab.put("Yscr", new Character('\ue4b4'));
      tab.put("cal_Z", new Character('\ue4b5'));
      tab.put("Zscr", new Character('\ue4b5'));
      tab.put("hookleftarrow", new Character('↩'));
      tab.put("larrhk", new Character('↩'));
      tab.put("leftrightarrow", new Character('Γåö'));
      tab.put("harr", new Character('Γåö'));
      tab.put("LeftRightArrow", new Character('Γåö'));
      tab.put("updownarrow", new Character('Γåò'));
      tab.put("varr", new Character('Γåò'));
      tab.put("UpDownArrow", new Character('Γåò'));
      tab.put("nearrow", new Character('Γåù'));
      tab.put("nearr", new Character('Γåù'));
      tab.put("UpperRightArrow", new Character('Γåù'));
      tab.put("searrow", new Character('Γåÿ'));
      tab.put("searr", new Character('Γåÿ'));
      tab.put("LowerRightArrow", new Character('Γåÿ'));
      tab.put("drarr", new Character('Γåÿ'));
      tab.put("rarrd", new Character('Γåÿ'));
      tab.put("swarrow", new Character('ΓåÖ'));
      tab.put("swarr", new Character('ΓåÖ'));
      tab.put("dlarr", new Character('ΓåÖ'));
      tab.put("LowerLeftArrow", new Character('ΓåÖ'));
      tab.put("nwarrow", new Character('Γåû'));
      tab.put("nwarr", new Character('Γåû'));
      tab.put("UpperLeftArrow", new Character('Γåû'));
      tab.put("amalg", new Character('⨿'));
      tab.put("coprod", new Character('∐'));
      tab.put("Coproduct", new Character('∐'));
      tab.put("bigtriangleup", new Character('Γû╡'));
      tab.put("xutri", new Character('Γû╡'));
      tab.put("utri", new Character('Γû╡'));
      tab.put("EmptyUpTriangle", new Character('Γû╡'));
      tab.put("bigtriangledown", new Character('Γû┐'));
      tab.put("xdtri", new Character('Γû┐'));
      tab.put("dtri", new Character('Γû┐'));
      tab.put("EmptyDownTriangle", new Character('Γû┐'));
      tab.put("vee", new Character('Γê¿'));
      tab.put("Or", new Character('Γê¿'));
      tab.put("or", new Character('Γê¿'));
      tab.put("bullet", new Character('ΓÇó'));
      tab.put("bull", new Character('ΓÇó'));
      tab.put("bbull", new Character('ΓÇó'));
      tab.put("Bullet", new Character('ΓÇó'));
      tab.put("square", new Character('Γûí'));
      tab.put("squ", new Character('Γûí'));
      tab.put("Box", new Character('Γûí'));
      tab.put("lArr", new Character('⇐'));
      tab.put("Leftarrow", new Character('⇐'));
      tab.put("DoubleLeftArrow", new Character('⇐'));
      tab.put("Uparrow", new Character('Γçæ'));
      tab.put("uArr", new Character('Γçæ'));
      tab.put("DoubleUpArrow", new Character('Γçæ'));
      tab.put("Downarrow", new Character('Γçô'));
      tab.put("dArr", new Character('Γçô'));
      tab.put("DoubleDownArrow", new Character('Γçô'));
      tab.put("Updownarrow", new Character('Γçò'));
      tab.put("vArr", new Character('Γçò'));
      tab.put("DoubleUpDownArrow", new Character('Γçò'));
      tab.put("wp", new Character('Γäÿ'));
      tab.put("weirp", new Character('Γäÿ'));
      tab.put("flat", new Character('ΓÖ¡'));
      tab.put("sharp", new Character('ΓÖ»'));
      tab.put("natur", new Character('ΓÖ«'));
      tab.put("natural", new Character('ΓÖ«'));
      tab.put("ell", new Character('Γäô'));
      tab.put("there4", new Character('∴'));
      tab.put("therefore", new Character('∴'));
      tab.put("Therefore", new Character('∴'));
      tab.put("because", new Character('∵'));
      tab.put("becaus", new Character('∵'));
      tab.put("prec", new Character('≺'));
      tab.put("pr", new Character('≺'));
      tab.put("succ", new Character('≻'));
      tab.put("sc", new Character('≻'));
      tab.put("preceq", new Character('⪯'));
      tab.put("pre", new Character('⪯'));
      tab.put("succeq", new Character('≽'));
      tab.put("sce", new Character('≽'));
      tab.put("nprec", new Character('⊀'));
      tab.put("npr", new Character('⊀'));
      tab.put("nsucc", new Character('Γèü'));
      tab.put("nsc", new Character('Γèü'));
      tab.put("npreceq", new Character('\ueaaf'));
      tab.put("npre", new Character('\ueaaf'));
      tab.put("nsucceq", new Character('⪰'));
      tab.put("nsce", new Character('⪰'));
      tab.put("triangleleft", new Character('Γùâ'));
      tab.put("ltri", new Character('Γùâ'));
      tab.put("triangleright", new Character('Γû╣'));
      tab.put("rtri", new Character('Γû╣'));
      tab.put("angsph", new Character('Γêó'));
      tab.put("sphericalangle", new Character('Γêó'));
      tab.put("angmsd", new Character('Γêí'));
      tab.put("measuredangle", new Character('Γêí'));
      tab.put("comp", new Character('Γêü'));
      tab.put("complement", new Character('Γêü'));
      tab.put("bottom", new Character('⊥'));
      tab.put("bot", new Character('⊥'));
      tab.put("upTee", new Character('⊥'));
      tab.put("comp", new Character('Γêü'));
      tab.put("complement", new Character('Γêü'));
      tab.put("ltrif", new Character('Γùé'));
      tab.put("blacktriangleleft", new Character('Γùé'));
      tab.put("rtrif", new Character('Γû╕'));
      tab.put("blacktriangleright", new Character('Γû╕'));
      tab.put("utrif", new Character('Γû┤'));
      tab.put("blacktriangle", new Character('Γû┤'));
      tab.put("dtrif", new Character('Γû╛'));
      tab.put("blacktriangledown", new Character('Γû╛'));
      tab.put("ulcorn", new Character('⌜'));
      tab.put("ulcorner", new Character('⌜'));
      tab.put("urcorn", new Character('⌝'));
      tab.put("urcorner", new Character('⌝'));
      tab.put("dlcorn", new Character('⌞'));
      tab.put("llcorner", new Character('⌞'));
      tab.put("drcorn", new Character('⌟'));
      tab.put("lrcorner", new Character('⌟'));
      tab.put("CapitalDifferentialD", new Character('Γàà'));
      tab.put("DD", new Character('Γàà'));
      tab.put("DifferentialD", new Character('Γàå'));
      tab.put("dd", new Character('Γàå'));
      tab.put("ExponentialE", new Character('e'));
      tab.put("ee", new Character('e'));
      tab.put("ImaginaryI", new Character('i'));
      tab.put("ii", new Character('i'));
      tab.put("Tab", new Character('\uf365'));
      tab.put("amp", new Character('&'));
   }
}