// // Latex Project Public Licence (lppl1.3) applies // Originally written by Kwanleung Tse // First Release : 1st July, 2014 // Last Update : 25th September, 2014 // // package worker4math.hktex2; import java.util.HashMap; public class Symbol { public static HashMap symboltype = new HashMap(); public static HashMap symbolsubtype = new HashMap(); public static HashMap symbolunicode = new HashMap(); public static HashMap matchsymbol = new HashMap(); public void symbol() { matchsymbol.put("lparen","rparen"); matchsymbol.put("lbrack","rbrack"); matchsymbol.put("lbrace","rbrace"); /* matchsymbol.put("lceil","rceil"); matchsymbol.put("lfloor","rfloor"); matchsymbol.put("ulcorner","urcorner"); matchsymbol.put("llcorner","rlcorner"); matchsymbol.put("lbag","rbag"); matchsymbol.put("lBrack","rBrack"); matchsymbol.put("langle","rangle"); matchsymbol.put("lAngle","rAngle"); matchsymbol.put("Lbrbrak","Rbrbrak"); matchsymbol.put("lgroup","rgroup"); matchsymbol.put("lBrace","rBrace"); matchsymbol.put("lParen","rParen"); matchsymbol.put("llparenthesis","rlparenthesis"); matchsymbol.put("llangle","rlangle"); matchsymbol.put("lbrackubar","rbrackubar"); matchsymbol.put("lbrackultick","rbrackultick"); matchsymbol.put("lbracklltick","rbracklltick"); matchsymbol.put("langledot","rangledot"); matchsymbol.put("lparenless","rparenless"); matchsymbol.put("lparengtr","rparengtr"); matchsymbol.put("lblkbrbrak","rblkbrbrak"); matchsymbol.put("lvzigzag","rvzigzag"); matchsymbol.put("Lvzigzag","Rvzigzag"); matchsymbol.put("lcurvyangle","rcurvyangle"); matchsymbol.put("lbrbrak","rbrbrak"); */ symboltype.put("lparen",1); symboltype.put("lbrack",1); symboltype.put("lbrace",1); /* symboltype.put("lceil",1); symboltype.put("lfloor",1); symboltype.put("ulcorner",1); symboltype.put("llcorner",1); symboltype.put("lbag",1); symboltype.put("lBrack",1); symboltype.put("langle",1); symboltype.put("lAngle",1); symboltype.put("Lbrbrak",1); symboltype.put("lgroup",1); symboltype.put("lBrace",1); symboltype.put("lParen",1); symboltype.put("llparenthesis",1); symboltype.put("llangle",1); symboltype.put("lbrackubar",1); symboltype.put("lbrackultick",1); symboltype.put("lbracklltick",1); symboltype.put("langledot",1); symboltype.put("lparenless",1); symboltype.put("lparengtr",1); symboltype.put("lblkbrbrak",1); symboltype.put("lvzigzag",1); symboltype.put("Lvzigzag",1); symboltype.put("lcurvyangle",1); symboltype.put("lbrbrak",1); */ symboltype.put("rparen",2); symboltype.put("rbrack",2); symboltype.put("rbrace",2); /* symboltype.put("rceil",2); symboltype.put("rfloor",2); symboltype.put("urcorner",2); symboltype.put("lrcorner",2); symboltype.put("rbag",2); symboltype.put("rBrack",2); symboltype.put("rangle",2); symboltype.put("rAngle",2); symboltype.put("Rbrbrak",2); symboltype.put("rgroup",2); symboltype.put("rBrace",2); symboltype.put("rParen",2); symboltype.put("rrparenthesis",2); symboltype.put("rrangle",2); symboltype.put("rbrackubar",2); symboltype.put("rbrackurtick",2); symboltype.put("rbracklrtick",2); symboltype.put("rangledot",2); symboltype.put("rparenless",2); symboltype.put("rparengtr",2); symboltype.put("rblkbrbrak",2); symboltype.put("rvzigzag",2); symboltype.put("Rvzigzag",2); symboltype.put("rcurvyangle",2); symboltype.put("rbrbrak",2); */ symboltype.put("vert",3); /* symboltype.put("Vert",3); symboltype.put("Vvert",3); */ // symboltype.put("overbracket",5); // symboltype.put("overparen",5); symboltype.put("overbrace",5); // symboltype.put("underbracket",6); // symboltype.put("underparen",6); symboltype.put("underbrace",6); symboltype.put("grave",7); symbolsubtype.put("grave",1); symboltype.put("acute",7); symbolsubtype.put("acute",1); symboltype.put("hat",7); symbolsubtype.put("hat",1); symboltype.put("tilde",7); symbolsubtype.put("tilde",1); symboltype.put("overbar",7); symbolsubtype.put("overbar",1); symboltype.put("breve",7); symbolsubtype.put("breve",1); symboltype.put("dot",7); symbolsubtype.put("dot",1); /* symboltype.put("ddot",7); symbolsubtype.put("ddot",1); symboltype.put("ocirc",7); symbolsubtype.put("ocirc",1); symboltype.put("check",7);symbolsubtype.put("check",1); symboltype.put("not",7); symbolsubtype.put("not",1); symboltype.put("leftharpoonaccent",7);symbolsubtype.put("leftharpoonaccent",2); symboltype.put("rightharpoonaccent",7); symbolsubtype.put("rightharpoonaccent",2); symboltype.put("vertoverlay",7); // cancel symboltype.put("overleftarrow",7); symbolsubtype.put("overleftarrow",2); */ symboltype.put("vec",7);symbolsubtype.put("vec",2); symboltype.put("dddot",7); symbolsubtype.put("dddot",2); /* symboltype.put("ddddot",7);symbolsubtype.put("ddddot",2); symboltype.put("overleftrightarrow",7); symbolsubtype.put("overleftrightarrow",2); symboltype.put("widebridgeabove",7); symbolsubtype.put("widebridgeabove",2); symboltype.put("threeunderdot",8); symboltype.put("underrightharpoondown",8); symboltype.put("underleftharpoondown",8); symboltype.put("underleftarrow",8); symboltype.put("underrightarrow",8); */ symboltype.put("sqrt",9); symboltype.put("cuberoot",9); symboltype.put("fourthroot",9); symboltype.put("plus",10); symboltype.put("pm",10); /* symboltype.put("cdotp",10); symboltype.put("times",10); symboltype.put("div",10); symboltype.put("dagger",10); symboltype.put("ddagger",10); symboltype.put("smblkcircle",10); symboltype.put("tieconcat",10); symboltype.put("fracslash",10); symboltype.put("upand",10); symboltype.put("minus",10); symboltype.put("mp",10); symboltype.put("dotplus",10); symboltype.put("divslash",10); symboltype.put("smallsetminus",10); symboltype.put("ast",10); symboltype.put("vysmwhtcircle",10); symboltype.put("vysmblkcircle",10); symboltype.put("wedge",10); symboltype.put("vee",10); symboltype.put("cap",10); symboltype.put("cup",10); symboltype.put("dotminus",10); symboltype.put("invlazys",10); symboltype.put("wr",10); symboltype.put("cupleftarrow",10); symboltype.put("cupdot",10); symboltype.put("uplus",10); symboltype.put("sqcap",10); symboltype.put("sqcup",10); symboltype.put("oplus",10); symboltype.put("ominus",10); symboltype.put("otimes",10); symboltype.put("oslash",10); symboltype.put("odot",10); symboltype.put("circledcirc",10); symboltype.put("circleddast",10); symboltype.put("circledequal",10); symboltype.put("circleddash",10); symboltype.put("boxplus",10); symboltype.put("boxminus",10); symboltype.put("boxtimes",10); symboltype.put("boxdot",10); symboltype.put("intercal",10); symboltype.put("veebar",10); symboltype.put("barwedge",10); symboltype.put("barvee",10); symboltype.put("smwhtdiamond",10); */ symboltype.put("cdot",10); /* symboltype.put("star",10); symboltype.put("divideontimes",10); symboltype.put("ltimes",10); symboltype.put("rtimes",10); symboltype.put("leftthreetimes",10); symboltype.put("rightthreetimes",10); symboltype.put("curlyvee",10); symboltype.put("curlywedge",10); symboltype.put("Cap",10); symboltype.put("Cup",10); symboltype.put("varbarwedge",10); symboltype.put("vardoublewedge",10); symboltype.put("obar",10); symboltype.put("bigtriangleup",10); symboltype.put("triangleright",10); symboltype.put("triangleleft",10); symboltype.put("mdlgwhtcircle",10); symboltype.put("boxbar",10); symboltype.put("veedot",10); symboltype.put("wedgedot",10); symboltype.put("lozengeminus",10); symboltype.put("concavediamond",10); symboltype.put("concavediamondtickleft",10); symboltype.put("concavediamondtickright",10); symboltype.put("whitesquaretickleft",10); symboltype.put("whitesquaretickright",10); symboltype.put("typecolon",10); symboltype.put("circlehbar",10); symboltype.put("circledvert",10); symboltype.put("circledparallel",10); symboltype.put("obslash",10); symboltype.put("operp",10); symboltype.put("olessthan",10); symboltype.put("ogreaterthan",10); symboltype.put("boxdiag",10); symboltype.put("boxbslash",10); symboltype.put("boxast",10); symboltype.put("boxcicle",10); symboltype.put("boxbox",10); symboltype.put("triangleserifs",10); symboltype.put("hourglass",10); symboltype.put("blackhourglass",10); symboltype.put("shuffle",10); symboltype.put("mdlgblkozenge",10); symboltype.put("setminus",10); symboltype.put("dsol",10); symboltype.put("rsolbar",10); symboltype.put("doubleplus",10); symboltype.put("tripleplus",10); symboltype.put("tplus",10); symboltype.put("tminus",10); symboltype.put("ringplus",10); symboltype.put("plushat",10); symboltype.put("simplus",10); symboltype.put("plusdot",10); symboltype.put("plussim",10); symboltype.put("plussubtwo",10); symboltype.put("plustrif",10); symboltype.put("commaminus",10); symboltype.put("minusdot",10); symboltype.put("minusfdots",10); symboltype.put("minusrdots",10); symboltype.put("opluslhrim",10); symboltype.put("oplusrhrim",10); symboltype.put("vectimes",10); symboltype.put("dottimes",10); symboltype.put("timesbar",10); symboltype.put("btimes",10); symboltype.put("smashtimes",10); symboltype.put("otimeslhrim",10); symboltype.put("otimesrhrim",10); symboltype.put("otimeshat",10); symboltype.put("Otimes",10); symboltype.put("odiv",10); symboltype.put("triangleplus",10); symboltype.put("triangleminus",10); symboltype.put("triangletimes",10); symboltype.put("intprod",10); symboltype.put("intprodr",10); symboltype.put("fcmp",10); symboltype.put("amalg",10); symboltype.put("capdot",10); symboltype.put("barcup",10); symboltype.put("barcap",10); symboltype.put("capwedge",10); symboltype.put("cupvee",10); symboltype.put("cupovercap",10); symboltype.put("cupovercup",10); symboltype.put("cupbarcap",10); symboltype.put("capbarcup",10); symboltype.put("twocups",10); symboltype.put("twocaps",10); symboltype.put("closedvarcup",10); symboltype.put("closedvarcap",10); symboltype.put("Sqcap",10); symboltype.put("Sqcup",10); symboltype.put("closedvarcupsmashprod",10); symboltype.put("wedgeodot",10); symboltype.put("veeodot",10); symboltype.put("Wedge",10); symboltype.put("Vee",10); symboltype.put("wedgeonwedge",10); symboltype.put("veeonvee",10); symboltype.put("bigslopedvee",10); symboltype.put("bigslopedwedge",10); symboltype.put("wedgemidvert",10); symboltype.put("veemidvert",10); symboltype.put("midbarwedge",10); symboltype.put("midbarvee",10); symboltype.put("doublebarwedge",10); symboltype.put("wedgebar",10); symboltype.put("wedgedoublebar",10); symboltype.put("varveebar",10); symboltype.put("doublebarvee",10); symboltype.put("veedoublebar",10); symboltype.put("dsub",10); symboltype.put("rsub",10); symboltype.put("eqqplus",10); symboltype.put("pluseqq",10); symboltype.put("interleave",10); symboltype.put("nhVvert",10); symboltype.put("threedotcolon",10); symboltype.put("trslash",10); symboltype.put("sslash",10); symboltype.put("talloblong",10); */ /* symboltype.put("octothorpe",11); symboltype.put("mathdollar",11); symboltype.put("percent",11); symboltype.put("ampersand",11); symboltype.put("period",11); symboltype.put("mathslash",11); symboltype.put("question",11); symboltype.put("atsign",11); */ symboltype.put("backslash",11); /* symboltype.put("sterling",11); symboltype.put("yen",11); symboltype.put("neg",11); symboltype.put("horizbar",11); symboltype.put("twolowline",11); symboltype.put("enleadertwodots",11); symboltype.put("unicodeellipsis",11); symboltype.put("prime",11); symboltype.put("dprime",11); symboltype.put("trprime",11); symboltype.put("backprime",11); symboltype.put("backdprime",11); symboltype.put("backtrprime",11); symboltype.put("Exclam",11); symboltype.put("qprime",11); symboltype.put("euro",11); symboltype.put("enclosecircle",11); symboltype.put("enclosesquare",11); symboltype.put("enclosediamond",11); symboltype.put("enclosetriangle",11); symboltype.put("Eulerconst",11); symboltype.put("Planckconst",11); symboltype.put("mho",11); symboltype.put("Finv",11); symboltype.put("Bbbpi",11); symboltype.put("Game",11); symboltype.put("sansLturned",11); symboltype.put("sansLmirrored",11); symboltype.put("Yup",11); symboltype.put("mitBbbD",11); symboltype.put("mitBbbd",11); symboltype.put("mitBbbe",11); symboltype.put("mitBbbi",11); symboltype.put("mitBbbj",11); symboltype.put("updownarrowbar",11); symboltype.put("linefeed",11); symboltype.put("carriagereturn",11); symboltype.put("barovernorthwestarrow",11); symboltype.put("barleftarrowrightarrowbar",11); symboltype.put("acwopencirclearrow",11); symboltype.put("cwopencirclearrow",11); symboltype.put("nHuparrow",11); symboltype.put("nHdownarrow",11); symboltype.put("leftdasharrow",11); symboltype.put("updasharrow",11); symboltype.put("rightdasharrow",11); symboltype.put("downdasharrow",11); symboltype.put("leftwhitearrow",11); symboltype.put("upwhitearrow",11); symboltype.put("rightwhitearrow",11); symboltype.put("downwhitearrow",11); symboltype.put("whitearrowupfrombar",11); */ symboltype.put("forall",11); symboltype.put("complement",11); symboltype.put("exists",11); symboltype.put("nexists",11); symboltype.put("varnothing",11); symboltype.put("increment",11); symboltype.put("QED",11); symboltype.put("infty",11); symboltype.put("rightangle",11); symboltype.put("angle",11); symboltype.put("measuredangle",11); symboltype.put("sphericalangle",11); symboltype.put("therefore",11); symboltype.put("because",11); /* symboltype.put("sinewave",11); symboltype.put("top",11); symboltype.put("bot",11); symboltype.put("hermitmatrix",11); symboltype.put("measuredrightangle",11); symboltype.put("varlrtriangle",11); symboltype.put("unicodecdots",11); symboltype.put("diameter",11); symboltype.put("invnot",11); symboltype.put("turnednot",11); symboltype.put("inttop",11); symboltype.put("intbottom",11); symboltype.put("lparenuend",11); symboltype.put("lparenextender",11); symboltype.put("lparenlend",11); symboltype.put("rparenuend",11); symboltype.put("rparenextender",11); symboltype.put("rparenlend",11); symboltype.put("lbrackuend",11); symboltype.put("lbrackextender",11); symboltype.put("lbracklend",11); symboltype.put("rbrackuend",11); symboltype.put("rbrackextender",11); symboltype.put("rbracklend",11); symboltype.put("lbraceuend",11); symboltype.put("lbracemid",11); symboltype.put("lbracelend",11); symboltype.put("vbraceextender",11); symboltype.put("rbraceuend",11); symboltype.put("rbracemid",11); symboltype.put("rbracelend",11); symboltype.put("intextender",11); symboltype.put("harrowextender",11); symboltype.put("sumtop",11); symboltype.put("sumbottom",11); symboltype.put("sqrtbottom",11); symboltype.put("obrbrak",11); symboltype.put("ubrbrak",11); symboltype.put("blanksymbol",11); symboltype.put("mathvisiblespace",11); symboltype.put("mdlgblksquare",11); symboltype.put("mdlgwhtsquare",11); symboltype.put("bigblacktriangleup",11); symboltype.put("blacktriangleright",11); symboltype.put("blackpointerright",11); symboltype.put("whitepointerright",11); symboltype.put("bigblacktriangledown",11); symboltype.put("bigtriangledown",11); symboltype.put("blacktriangleleft",11); symboltype.put("blackpointerleft",11); symboltype.put("whitepointerleft",11); symboltype.put("bullseye",11); symboltype.put("mdlgblkcircle",11); symboltype.put("smwhtcircle",11); symboltype.put("squareleftblack",11); symboltype.put("squarerightblack",11); symboltype.put("mdwhtsquare",11); symboltype.put("mdblksquare",11); symboltype.put("bigstar",11); symboltype.put("bigwhitestar",11); symboltype.put("spadesuit",11); symboltype.put("heartsuit",11); symboltype.put("diamondsuit",11); symboltype.put("clubsuit",11); symboltype.put("varspadesuit",11); symboltype.put("varheartsuit",11); symboltype.put("vardiamondsuit",11); symboltype.put("varclubsuit",11); symboltype.put("quarternote",11); symboltype.put("eighthnote",11); symboltype.put("flat",11); symboltype.put("natural",11); symboltype.put("sharp",11); symboltype.put("dicei",11); symboltype.put("diceii",11); symboltype.put("diceiii",11); symboltype.put("diceiv",11); symboltype.put("dicev",11); symboltype.put("dicevi",11); symboltype.put("checkmark",11); symboltype.put("maltese",11); symboltype.put("varstar",11); symboltype.put("threedangle",11); symboltype.put("whiteinwhitetriangle",11); symboltype.put("subsetcirc",11); symboltype.put("supsetcirc",11); symboltype.put("diamondcdot",11); symboltype.put("rdiagovfdiag",11); symboltype.put("fdiagovrdiag",11); symboltype.put("seovnearrow",11); symboltype.put("neovsearrow",11); symboltype.put("fdiagovnearrow",11); symboltype.put("rdiagovsearrow",11); symboltype.put("neovnwarrow",11); symboltype.put("nwovnearrow",11); symboltype.put("uprightcurvearrow",11); symboltype.put("downrightcurvedarrow",11); symboltype.put("mdsmblkcircle",11); symboltype.put("fourvdots",11); symboltype.put("vzigzag",11); symboltype.put("measuredangleleft",11); symboltype.put("rightanglesqr",11); symboltype.put("rightanglemdot",11); symboltype.put("angles",11); symboltype.put("angdnr",11); symboltype.put("gtlpar",11); symboltype.put("sphericalangleup",11); symboltype.put("turnangle",11); symboltype.put("revangle",11); symboltype.put("angleubar",11); symboltype.put("revangleubar",11); symboltype.put("wideangledown",11); symboltype.put("wideangleup",11); symboltype.put("measanglerutone",11); symboltype.put("measanglelutonw",11); symboltype.put("measanglerdtose",11); symboltype.put("measangleldtosw",11); symboltype.put("measangleurtone",11); symboltype.put("measangleultonw",11); symboltype.put("measangledrtose",11); symboltype.put("measangledltosw",11); symboltype.put("revemptyset",11); symboltype.put("emptysetobar",11); symboltype.put("emptysetocirc",11); symboltype.put("emptysetoarr",11); symboltype.put("emptysetoarrl",11); symboltype.put("obot",11); symboltype.put("olcross",11); symboltype.put("odotslashdot",11); symboltype.put("uparrowoncircle",11); symboltype.put("circledwhitebullet",11); symboltype.put("circledbullet",11); symboltype.put("cirscir",11); symboltype.put("cirE",11); symboltype.put("boxonbox",11); symboltype.put("triangleodot",11); symboltype.put("triangleubar",11); symboltype.put("triangles",11); symboltype.put("iinfin",11); symboltype.put("tieinfty",11); symboltype.put("nvinfty",11); symboltype.put("laplac",11); symboltype.put("thermod",11); symboltype.put("downtriangleleftblack",11); symboltype.put("downtrianglerightblack",11); symboltype.put("blackdiamonddownarrow",11); symboltype.put("circledownarrow",11); symboltype.put("blackcircledownarrow",11); symboltype.put("errbarsquare",11); symboltype.put("errbarblacksquare",11); symboltype.put("errbardiamond",11); symboltype.put("errbarblackdiamond",11); symboltype.put("errbarcircle",11); symboltype.put("errbarblackcircle",11); symboltype.put("perps",11); symboltype.put("topcir",11); symboltype.put("dottedsquare",11); symboltype.put("lgblksquare",11); symboltype.put("lgwhtsquare",11); symboltype.put("medwhitestar",11); symboltype.put("medblackstar",11); symboltype.put("smwhitestar",11); */ symboltype.put("less",12); symboltype.put("equal",12); symboltype.put("greater",12); /* symboltype.put("closure",12); symboltype.put("leftarrow",12); symboltype.put("uparrow",12); symboltype.put("rightarrow",12); symboltype.put("downarrow",12); symboltype.put("leftrightarrow",12); symboltype.put("updownarrow",12); symboltype.put("nwarrow",12); symboltype.put("nearrow",12); symboltype.put("searrow",12); symboltype.put("swarrow",12); symboltype.put("nleftarrow",12); symboltype.put("nrightarrow",12); symboltype.put("leftwavearrow",12); symboltype.put("rightwavearrow",12); symboltype.put("twoheadleftarrow",12); symboltype.put("twoheaduparrow",12); symboltype.put("twoheadrightarrow",12); symboltype.put("twoheaddownarrow",12); symboltype.put("leftarrowtail",12); symboltype.put("rightarrowtail",12); symboltype.put("mapsfrom",12); symboltype.put("mapsup",12); symboltype.put("mapsto(",12); symboltype.put("mapsdown",12); symboltype.put("hookleftarrow",12); symboltype.put("hookrightarrow",12); symboltype.put("looparrowleft",12); symboltype.put("looparrowright",12); symboltype.put("leftrightsquigarrow",12); symboltype.put("nleftrightarrow",12); symboltype.put("downzigzagarrow",12); symboltype.put("Lsh",12); symboltype.put("Rsh",12); symboltype.put("Ldsh",12); symboltype.put("Rdsh",12); symboltype.put("curvearrowleft",12); symboltype.put("curvearrowright",12); symboltype.put("leftharpoonup",12); symboltype.put("leftharpoondown",12); symboltype.put("upharpoonright",12); symboltype.put("upharpoonleft",12); symboltype.put("rightharpoonup",12); symboltype.put("rightharpoondown",12); symboltype.put("downharpoonright",12); symboltype.put("downharpoonleft",12); symboltype.put("rightleftarrows",12); symboltype.put("updownarrows",12); symboltype.put("leftrightarrows",12); symboltype.put("leftleftarrows",12); symboltype.put("upuparrows",12); symboltype.put("rightrightarrows",12); symboltype.put("downdownarrows",12); symboltype.put("leftrightharpoons",12); symboltype.put("rightleftharpoons",12); symboltype.put("nLeftarrow",12); symboltype.put("nLeftrightarrow",12); symboltype.put("nRightarrow",12); symboltype.put("Leftarrow",12); symboltype.put("Uparrow",12); symboltype.put("Rightarrow",12); symboltype.put("Downarrow",12); symboltype.put("Leftrightarrow",12); symboltype.put("Updownarrow",12); symboltype.put("Nwarrow",12); symboltype.put("Nearrow",12); symboltype.put("Searrow",12); symboltype.put("Swarrow",12); symboltype.put("Lleftarrow",12); symboltype.put("Rrightarrow",12); symboltype.put("leftsquigarrow",12); symboltype.put("rightsquigarrow",12); symboltype.put("barleftarrow",12); symboltype.put("rightarrowbar",12); symboltype.put("circleonrightarrow",12); symboltype.put("downuparrows",12); symboltype.put("rightthreearrows",12); symboltype.put("nvleftarrow",12); symboltype.put("nvrightarrow",12); symboltype.put("nvleftrightarrow",12); symboltype.put("nVleftarrow",12); symboltype.put("nVrightarrow",12); symboltype.put("nVleftrightarrow",12); symboltype.put("leftarrowtriangle",12); symboltype.put("rightarrowtriangle",12); symboltype.put("leftrightarrowtriangle",12); symboltype.put("in",12); symboltype.put("notin",12); symboltype.put("smallin",12); symboltype.put("ni",12); symboltype.put("nni",12); symboltype.put("smallni",12); symboltype.put("propto",12); symboltype.put("mid",12); symboltype.put("nmid",12); symboltype.put("parallel",12); symboltype.put("nparallel",12); symboltype.put("mathratio",12); symboltype.put("Colon",12); symboltype.put("dashcolon",12); symboltype.put("dotsminusdots",12); symboltype.put("kernelcontraction",12); */ symboltype.put("sim",12); // symboltype.put("backsim",12); symboltype.put("nsim",12); symboltype.put("eqsim",12); symboltype.put("simeq",12); symboltype.put("nsime",12); // symboltype.put("cong",12); // symboltype.put("simneqq",12); // symboltype.put("ncong",12); symboltype.put("approx",12); symboltype.put("napprox",12); symboltype.put("approxeq",12); /* symboltype.put("approxident",12); symboltype.put("backcong",12); symboltype.put("asymp",12); symboltype.put("Bumpeq",12); symboltype.put("bumpeq",12); symboltype.put("doteq",12); symboltype.put("Doteq",12); symboltype.put("fallingdotseq",12); symboltype.put("risingdotseq",12); symboltype.put("coloneq",12); symboltype.put("eqcolon",12); symboltype.put("eqcirc",12); symboltype.put("circeq",12); symboltype.put("arceq",12); symboltype.put("wedgeq",12); symboltype.put("veeeq",12); symboltype.put("stareq",12); symboltype.put("triangleq",12); symboltype.put("eqdef",12); symboltype.put("measeq",12); symboltype.put("questeq",12); */ symboltype.put("ne",12); symboltype.put("equiv",12); symboltype.put("nequiv",12); symboltype.put("Equiv",12); symboltype.put("leq",12); symboltype.put("geq",12); symboltype.put("leqq",12); symboltype.put("geqq",12); symboltype.put("lneqq",12); symboltype.put("gneqq",12); symboltype.put("ll",12); symboltype.put("gg",12); /* symboltype.put("between",12); symboltype.put("nasymp",12); symboltype.put("nless",12); symboltype.put("ngtr",12); symboltype.put("nleq",12); symboltype.put("ngeq",12); symboltype.put("lesssim",12); symboltype.put("gtrsim",12); symboltype.put("nlesssim",12); symboltype.put("ngtrsim",12); symboltype.put("lessgtr",12); symboltype.put("gtrless",12); symboltype.put("nlessgtr",12); symboltype.put("ngtrless",12); symboltype.put("prec",12); symboltype.put("succ",12); symboltype.put("preccurlyeq",12); symboltype.put("succcurlyeq",12); symboltype.put("precsim",12); symboltype.put("succsim",12); symboltype.put("nprec",12); symboltype.put("nsucc",12); symboltype.put("subset",12); symboltype.put("supset",12); symboltype.put("nsubset",12); symboltype.put("nsupset",12); symboltype.put("subseteq",12); symboltype.put("supseteq",12); symboltype.put("nsubseteq",12); symboltype.put("nsupseteq",12); symboltype.put("subsetneq",12); symboltype.put("supsetneq",12); symboltype.put("sqsubset",12); symboltype.put("sqsupset",12); symboltype.put("sqsubseteq",12); symboltype.put("sqsupseteq",12); symboltype.put("vdash",12); symboltype.put("dashv",12); symboltype.put("assert",12); symboltype.put("models",12); symboltype.put("vDash",12); symboltype.put("Vdash",12); symboltype.put("Vvdash",12); symboltype.put("VDash",12); symboltype.put("nvdash",12); symboltype.put("nvDash",12); symboltype.put("nVdash",12); symboltype.put("nVDash",12); symboltype.put("prurel",12); symboltype.put("scurel",12); symboltype.put("vartriangleleft",12); symboltype.put("vartriangleright",12); symboltype.put("trianglelefteq",12); symboltype.put("trianglerighteq",12); symboltype.put("origof",12); symboltype.put("imageof",12); symboltype.put("multimap",12); symboltype.put("bowtie",12); symboltype.put("backsimeq",12); symboltype.put("Subset",12); symboltype.put("Supset",12); symboltype.put("pitchfork",12); symboltype.put("equalparallel",12); symboltype.put("lessdot",12); symboltype.put("gtrdot",12); symboltype.put("lll",12); symboltype.put("ggg",12); symboltype.put("lesseqgtr",12); symboltype.put("gtreqless",12); symboltype.put("eqless",12); symboltype.put("eqgtr",12); symboltype.put("curlyeqprec",12); symboltype.put("curlyeqsucc",12); symboltype.put("npreccurlyeq",12); symboltype.put("nsucccurlyeq",12); symboltype.put("nsqsubseteq",12); symboltype.put("nsqsupseteq",12); symboltype.put("sqsubsetneq",12); symboltype.put("sqsupsetneq",12); symboltype.put("lnsim",12); symboltype.put("gnsim",12); symboltype.put("precnsim",12); symboltype.put("succnsim",12); symboltype.put("nvartriangleleft",12); symboltype.put("nvartriangleright",12); symboltype.put("ntrianglelefteq",12); symboltype.put("ntrianglerighteq",12); symboltype.put("vdots",12); symboltype.put("adots",12); symboltype.put("ddots",12); symboltype.put("disin",12); symboltype.put("varisins",12); symboltype.put("isins",12); symboltype.put("isindot",12); symboltype.put("varisinobar",12); symboltype.put("isinobar",12); symboltype.put("isinvb",12); symboltype.put("isinE",12); symboltype.put("nisd",12); symboltype.put("varnis",12); symboltype.put("nis",12); symboltype.put("varniobar",12); symboltype.put("niobar",12); symboltype.put("bagmember",12); symboltype.put("frown",12); symboltype.put("smile",12); symboltype.put("perp",12); symboltype.put("bsolhsub",12); symboltype.put("suphsol",12); symboltype.put("upin",12); symboltype.put("pullback",12); symboltype.put("pushout",12); symboltype.put("DashVDash",12); symboltype.put("dashVdash",12); symboltype.put("multimapinv",12); symboltype.put("vlongdash",12); symboltype.put("longdashv",12); symboltype.put("cirbot",12); symboltype.put("UUparrow",12); symboltype.put("DDownarrow",12); symboltype.put("acwgapcirclearrow",12); symboltype.put("cwgapcirclearrow",12); symboltype.put("rightarrowonoplus",12); symboltype.put("longleftarrow",12); symboltype.put("longrightarrow",12); symboltype.put("longleftrightarrow",12); symboltype.put("Longleftarrow",12); symboltype.put("Longrightarrow",12); symboltype.put("Longleftrightarrow",12); symboltype.put("longmapsfrom",12); symboltype.put("longmapsto",12); symboltype.put("Longmapsfrom",12); symboltype.put("Longmapsto",12); symboltype.put("longrightsquigarrow",12); symboltype.put("nvtwoheadrightarrow",12); symboltype.put("nVtwoheadrightarrow",12); symboltype.put("nvLeftarrow",12); symboltype.put("nvRightarrow",12); symboltype.put("nvLeftrightarrow",12); symboltype.put("twoheadmapsto",12); symboltype.put("Mapsfrom",12); symboltype.put("Mapsto",12); symboltype.put("downarrowbarred",12); symboltype.put("uparrowbarred",12); symboltype.put("Uuparrow",12); symboltype.put("Ddownarrow",12); symboltype.put("leftbkarrow",12); symboltype.put("rightbkarrow",12); symboltype.put("leftdbkarrow",12); symboltype.put("dbkarow",12); symboltype.put("drbkarow",12); symboltype.put("rightdotarrow",12); symboltype.put("baruparrow",12); symboltype.put("downarrowbar",12); symboltype.put("nvrightarrowtail",12); symboltype.put("nVrightarrowtail",12); symboltype.put("twoheadrightarrowtail",12); symboltype.put("nvtwoheadrightarrowtail",12); symboltype.put("nVtwoheadrightarrowtail",12); symboltype.put("lefttail",12); symboltype.put("righttail",12); symboltype.put("leftdbltail",12); symboltype.put("rightdbltail",12); symboltype.put("diamondleftarrow",12); symboltype.put("rightarrowdiamond",12); symboltype.put("diamondleftarrowbar",12); symboltype.put("barrightarrowdiamond",12); symboltype.put("nwsearrow",12); symboltype.put("neswarrow",12); symboltype.put("hknwarrow",12); symboltype.put("hknearrow",12); symboltype.put("hksearow",12); symboltype.put("hkswarow",12); symboltype.put("tona",12); symboltype.put("toea",12); symboltype.put("tosa",12); symboltype.put("towa",12); symboltype.put("rightcurvedarrow",12); symboltype.put("leftdowncurvedarrow",12); symboltype.put("rightdowncurvedarrow",12); symboltype.put("cwrightarcarrow",12); symboltype.put("acwleftarcarrow",12); symboltype.put("acwoverarcarrow",12); symboltype.put("acwunderarcarrow",12); symboltype.put("curvearrowrightminus",12); symboltype.put("curvearrowleftplus",12); symboltype.put("cwundercurvearrow",12); symboltype.put("ccwundercurvearrow",12); symboltype.put("acwcirclearrow",12); symboltype.put("cwcirclearrow",12); symboltype.put("rightarrowshortleftarrow",12); symboltype.put("leftarrowshortrightarrow",12); symboltype.put("shortrightarrowleftarrow",12); symboltype.put("rightarrowplus",12); symboltype.put("leftarrowplus",12); symboltype.put("rightarrowx",12); symboltype.put("leftrightarrowcircle",12); symboltype.put("twoheaduparrowcircle",12); symboltype.put("leftrightharpoonupdown",12); symboltype.put("leftrightharpoondownup",12); symboltype.put("updownharpoonrightleft",12); symboltype.put("updownharpoonleftright",12); symboltype.put("leftrightharpoonupup",12); symboltype.put("updownharpoonrightright",12); symboltype.put("leftrightharpoondowndown",12); symboltype.put("updownharpoonleftleft",12); symboltype.put("barleftharpoonup",12); symboltype.put("rightharpoonupbar",12); symboltype.put("barupharpoonright",12); symboltype.put("downharpoonrightbar",12); symboltype.put("barleftharpoondown",12); symboltype.put("rightharpoondownbar",12); symboltype.put("barupharpoonleft",12); symboltype.put("downharpoonleftbar",12); symboltype.put("leftharpoonupbar",12); symboltype.put("barrightharpoonup",12); symboltype.put("upharpoonrightbar",12); symboltype.put("bardownharpoonright",12); symboltype.put("leftharpoondownbar",12); symboltype.put("barrightharpoondown",12); symboltype.put("upharpoonleftbar",12); symboltype.put("bardownharpoonleft",12); symboltype.put("leftharpoonsupdown",12); symboltype.put("upharpoonsleftright",12); symboltype.put("rightharpoonsupdown",12); symboltype.put("downharpoonsleftright",12); symboltype.put("leftrightharpoonsup",12); symboltype.put("leftrightharpoonsdown",12); symboltype.put("rightleftharpoonsup",12); symboltype.put("rightleftharpoonsdown",12); symboltype.put("leftharpoonupdash",12); symboltype.put("dashleftharpoondown",12); symboltype.put("rightharpoonupdash",12); symboltype.put("dashrightharpoondown",12); symboltype.put("updownharpoonsleftright",12); symboltype.put("downupharpoonsleftright",12); symboltype.put("rightimply",12); symboltype.put("equalrightarrow",12); symboltype.put("similarrightarrow",12); symboltype.put("leftarrowsimilar",12); symboltype.put("rightarrowsimilar",12); symboltype.put("rightarrowapprox",12); symboltype.put("ltlarr",12); symboltype.put("leftarrowless",12); symboltype.put("gtrarr",12); symboltype.put("subrarr",12); symboltype.put("leftarrowsubset",12); symboltype.put("suplarr",12); symboltype.put("leftfishtail",12); symboltype.put("rightfishtail",12); symboltype.put("upfishtail",12); symboltype.put("downfishtail",12); symboltype.put("rtriltri",12); symboltype.put("ltrivb",12); symboltype.put("vbrtri",12); symboltype.put("lfbowtie",12); symboltype.put("rfbowtie",12); symboltype.put("fbowtie",12); symboltype.put("lftimes",12); symboltype.put("rftimes",12); symboltype.put("dualmap",12); symboltype.put("lrtriangleeq",12); symboltype.put("eparsl",12); symboltype.put("smeparsl",12); symboltype.put("eqvparsl",12); symboltype.put("gleichstark",12); symboltype.put("ruledelayed",12); symboltype.put("veeonwedge",12); symboltype.put("eqdot",12); symboltype.put("dotequiv",12); symboltype.put("equivVert",12); symboltype.put("equivVvert",12); symboltype.put("dotsim",12); symboltype.put("simrdots",12); symboltype.put("simminussim",12); symboltype.put("congdot",12); symboltype.put("asteq",12); symboltype.put("hatapprox",12); symboltype.put("approxeqq",12); symboltype.put("eqqsim",12); symboltype.put("Coloneq",12); symboltype.put("eqeq",12); symboltype.put("eqeqeq",12); symboltype.put("ddotseq",12); symboltype.put("equivDD",12); symboltype.put("ltcir",12); symboltype.put("gtcir",12); symboltype.put("ltquest",12); symboltype.put("gtquest",12); symboltype.put("leqslant",12); symboltype.put("geqslant",12); symboltype.put("lesdot",12); symboltype.put("gesdot",12); symboltype.put("lesdoto",12); symboltype.put("gesdoto",12); symboltype.put("lesdotor",12); symboltype.put("gesdotol",12); symboltype.put("lessapprox",12); symboltype.put("gtrapprox",12); symboltype.put("lneq",12); symboltype.put("gneq",12); symboltype.put("lnapprox",12); symboltype.put("gnapprox",12); symboltype.put("lesseqqgtr",12); symboltype.put("gtreqqless",12); symboltype.put("lsime",12); symboltype.put("gsime",12); symboltype.put("lsimg",12); symboltype.put("gsiml",12); symboltype.put("lgE",12); symboltype.put("glE",12); symboltype.put("lesges",12); symboltype.put("gesles",12); symboltype.put("eqslantless",12); symboltype.put("eqslantgtr",12); symboltype.put("elsdot",12); symboltype.put("egsdot",12); symboltype.put("eqqless",12); symboltype.put("eqqgtr",12); symboltype.put("eqqslantless",12); symboltype.put("eqqslantgtr",12); symboltype.put("simless",12); symboltype.put("simgtr",12); symboltype.put("simlE",12); symboltype.put("simgE",12); symboltype.put("Lt",12); symboltype.put("Gt",12); symboltype.put("partialmeetcontraction",12); symboltype.put("glj",12); symboltype.put("gla",12); symboltype.put("ltcc",12); symboltype.put("gtcc",12); symboltype.put("lescc",12); symboltype.put("gescc",12); symboltype.put("smt",12); symboltype.put("lat",12); symboltype.put("smte",12); symboltype.put("late",12); symboltype.put("bumpeqq",12); symboltype.put("preceq",12); symboltype.put("succeq",12); symboltype.put("precneq",12); symboltype.put("succneq",12); symboltype.put("preceqq",12); symboltype.put("succeqq",12); symboltype.put("precneqq",12); symboltype.put("succneqq",12); symboltype.put("precapprox",12); symboltype.put("succapprox",12); symboltype.put("precnapprox",12); symboltype.put("succnapprox",12); symboltype.put("Prec",12); symboltype.put("Succ",12); symboltype.put("subsetdot",12); symboltype.put("supsetdot",12); symboltype.put("subsetplus",12); symboltype.put("supsetplus",12); symboltype.put("submult",12); symboltype.put("supmult",12); symboltype.put("subedot",12); symboltype.put("supedot",12); symboltype.put("subseteqq",12); symboltype.put("supseteqq",12); symboltype.put("subsim",12); symboltype.put("supsim",12); symboltype.put("subsetapprox",12); symboltype.put("supsetapprox",12); symboltype.put("subsetneqq",12); symboltype.put("supsetneqq",12); symboltype.put("lsqhook",12); symboltype.put("rsqhook",12); symboltype.put("csub",12); symboltype.put("csup",12); symboltype.put("csube",12); symboltype.put("csupe",12); symboltype.put("subsup",12); symboltype.put("supsub",12); symboltype.put("subsub",12); symboltype.put("supsup",12); symboltype.put("suphsub",12); symboltype.put("supdsub",12); symboltype.put("forkv",12); symboltype.put("topfork",12); symboltype.put("mlcp",12); symboltype.put("forks",12); symboltype.put("forksnot",12); symboltype.put("shortlefttack",12); symboltype.put("shortdowntack",12); symboltype.put("shortuptack",12); symboltype.put("vDdash",12); symboltype.put("dashV",12); symboltype.put("Dashv",12); symboltype.put("DashV",12); symboltype.put("varVdash",12); symboltype.put("Barv",12); symboltype.put("vBar",12); symboltype.put("vBarv",12); symboltype.put("barV",12); symboltype.put("Vbar",12); symboltype.put("Not",12); symboltype.put("bNot",12); symboltype.put("revnmid",12); symboltype.put("cirmid",12); symboltype.put("midcir",12); symboltype.put("nhpar",12); symboltype.put("parsim",12); symboltype.put("lllnest",12); symboltype.put("gggnest",12); symboltype.put("leqqslant",12); symboltype.put("geqqslant",12); symboltype.put("circleonleftarrow",12); symboltype.put("leftthreearrows",12); symboltype.put("leftarrowonoplus",12); symboltype.put("longleftsquigarrow",12); symboltype.put("nvtwoheadleftarrow",12); symboltype.put("nVtwoheadleftarrow",12); symboltype.put("twoheadmapsfrom",12); symboltype.put("twoheadleftdbkarrow",12); symboltype.put("leftdotarrow",12); symboltype.put("nvleftarrowtail",12); symboltype.put("nVleftarrowtail",12); symboltype.put("twoheadleftarrowtail",12); symboltype.put("nvtwoheadleftarrowtail",12); symboltype.put("nVtwoheadleftarrowtail",12); symboltype.put("leftarrowx",12); symboltype.put("leftcurvedarrow",12); symboltype.put("equalleftarrow",12); symboltype.put("bsimilarleftarrow",12); symboltype.put("leftarrowbackapprox",12); symboltype.put("rightarrowgtr",12); symboltype.put("rightarrowsupset",12); symboltype.put("LLeftarrow",12); symboltype.put("RRightarrow",12); symboltype.put("bsimilarrightarrow",12); symboltype.put("rightarrowbackapprox",12); symboltype.put("similarleftarrow",12); symboltype.put("leftarrowapprox",12); symboltype.put("leftarrowbsimilar",12); symboltype.put("rightarrowbsimilar",12); */ symboltype.put("Alpha",13); symboltype.put("Beta",13); symboltype.put("Gamma",13); symboltype.put("Delta",13); symboltype.put("Epsilon",13); symboltype.put("Zeta",13); symboltype.put("Eta",13); symboltype.put("Theta",13); symboltype.put("Iota",13); symboltype.put("Kappa",13); symboltype.put("Lambda",13); symboltype.put("Mu",13); symboltype.put("Nu",13); symboltype.put("Xi",13); symboltype.put("Omicron",13); symboltype.put("Pi",13); symboltype.put("Rho",13); symboltype.put("Sigma",13); symboltype.put("Tau",13); symboltype.put("Upsilon",13); symboltype.put("Phi",13); symboltype.put("Chi",13); symboltype.put("Psi",13); symboltype.put("Omega",13); symboltype.put("alpha",13); symboltype.put("beta",13); symboltype.put("gamma",13); symboltype.put("delta",13); symboltype.put("epsilon",13); symboltype.put("zeta",13); symboltype.put("eta",13); symboltype.put("theta",13); symboltype.put("iota",13); symboltype.put("kappa",13); symboltype.put("lambda",13); symboltype.put("mu",13); symboltype.put("nu",13); symboltype.put("xi",13); symboltype.put("omicron",13); symboltype.put("pi",13); symboltype.put("rho",13); symboltype.put("varsigma",13); symboltype.put("sigma",13); symboltype.put("tau",13); symboltype.put("upsilon",13); symboltype.put("varphi",13); symboltype.put("chi",13); symboltype.put("psi",13); symboltype.put("omega",13); symboltype.put("varbeta",13); symboltype.put("vartheta",13); symboltype.put("phi",13); symboltype.put("varpi",13); symboltype.put("Digamma",13); symboltype.put("digamma",13); symboltype.put("varkappa",13); symboltype.put("varrho",13); symboltype.put("varTheta",13); symboltype.put("varepsilon",13); /* symboltype.put("matheth",13); symboltype.put("BbbC",13); symboltype.put("mscrg",13); symboltype.put("mscrH",13); symboltype.put("mfrakH",13); symboltype.put("BbbH",13); symboltype.put("hslash",13); symboltype.put("mscrI",13); */ symboltype.put("Im",13); /* symboltype.put("mscrL",13); symboltype.put("ell",13); symboltype.put("BbbN",13); symboltype.put("wp",13); symboltype.put("BbbP",13); symboltype.put("BbbQ",13); symboltype.put("mscrR",13); */ symboltype.put("Re",13); /* symboltype.put("BbbR",13); symboltype.put("BbbZ",13); symboltype.put("mfrakZ",13); symboltype.put("turnediota",13); symboltype.put("Angstrom",13); symboltype.put("mscrB",13); symboltype.put("mfrakC",13); symboltype.put("mscre",13); symboltype.put("mscrE",13); symboltype.put("mscrF",13); symboltype.put("mscrM",13); symboltype.put("mscro",13); symboltype.put("aleph",13); symboltype.put("beth",13); symboltype.put("gimel",13); symboltype.put("daleth",13); symboltype.put("Bbbgamma",13); symboltype.put("BbbGamma",13); symboltype.put("BbbPi",13); */ symboltype.put("partial",13); symboltype.put("nabla",13); symboltype.put("log",14); symboltype.put("ln",14); symboltype.put("sin",14); symboltype.put("cos",14); symboltype.put("tan",14); symboltype.put("sec",14); symboltype.put("csc",14); symboltype.put("cot",14); symboltype.put("sinh",14); symboltype.put("cosh",14); symboltype.put("tanh",14); symboltype.put("coth",14); symboltype.put("sech",14); symboltype.put("csch",14); symboltype.put("lim",15); symboltype.put("exclam",17); symboltype.put("comma",17); // symboltype.put("mathcolon",17); // symboltype.put("semicolon",17); // symboltype.put("Bbbsum",19); symboltype.put("prod",19); // symboltype.put("coprod",19); symboltype.put("sum",19); /* symboltype.put("intclockwise",19); symboltype.put("varointclockwise",19); symboltype.put("ointctrclockwise",19); symboltype.put("bigwedge",19); symboltype.put("bigvee",19); symboltype.put("bigcap",19); symboltype.put("bigcup",19); symboltype.put("leftouterjoin",19); symboltype.put("rightouterjoin",19); symboltype.put("fullouterjoin",19); symboltype.put("bigbot",19); symboltype.put("bigtop",19); symboltype.put("xsol",19); symboltype.put("xbsol",19); symboltype.put("bigodot",19); symboltype.put("bigoplus",19); symboltype.put("bigotimes",19); symboltype.put("bigcupdot",19); symboltype.put("biguplus",19); symboltype.put("bigsqcap",19); symboltype.put("bigsqcup",19); symboltype.put("conjquant",19); symboltype.put("disjquant",19); symboltype.put("bigtimes",19); symboltype.put("modtwosum",19); symboltype.put("intbar",19); symboltype.put("intBar",19); symboltype.put("intlarhk",19); symboltype.put("intx",19); symboltype.put("intcap",19); symboltype.put("intcup",19); symboltype.put("Join",19); symboltype.put("bigtriangleleft",19); symboltype.put("zcmp",19); symboltype.put("zpipe",19); symboltype.put("zproject",19); symboltype.put("biginterleave",19); symboltype.put("bigtalloblong",19); */ // symboltype.put("bigBbbsum",20); symboltype.put("bigprod",20); // symboltype.put("bigcoprod",20); symboltype.put("bigsum",20); /* symboltype.put("bigintclockwise",20); symboltype.put("bigvarointclockwise",20); symboltype.put("bigointctrclockwise",20); symboltype.put("bigbigwedge",20); symboltype.put("bigbigvee",20); symboltype.put("bigbigcap",20); symboltype.put("bigbigcup",20); symboltype.put("bigleftouterjoin",20); symboltype.put("bigrightouterjoin",20); symboltype.put("bigfullouterjoin",20); symboltype.put("bigbigbot",20); symboltype.put("bigbigtop",20); symboltype.put("bigxsol",20); symboltype.put("bigxbsol",20); symboltype.put("bigbigodot",20); symboltype.put("bigbigoplus",20); symboltype.put("bigbigotimes",20); symboltype.put("bigbigcupdot",20); symboltype.put("bigbiguplus",20); symboltype.put("bigbigsqcap",20); symboltype.put("bigbigsqcup",20); symboltype.put("bigconjquant",20); symboltype.put("bigdisjquant",20); symboltype.put("bigbigtimes",20); symboltype.put("bigmodtwosum",20); symboltype.put("bigintbar",20); symboltype.put("bigintBar",20); symboltype.put("bigintlarhk",20); symboltype.put("bigintx",20); symboltype.put("bigintcap",20); symboltype.put("bigintcup",20); symboltype.put("bigJoin",20); symboltype.put("bigbigtriangleleft",20); symboltype.put("bigzcmp",20); symboltype.put("bigzpipe",20); symboltype.put("bigzproject",20); symboltype.put("bigbiginterleave",20); symboltype.put("bigbigtalloblong",20); */ // symboltype.put("bigbigBbbsum",21); symboltype.put("bigbigprod",21); // symboltype.put("bigbigcoprod",21); symboltype.put("bigbigsum",21); /* symboltype.put("bigbigintclockwise",21); symboltype.put("bigbigvarointclockwise",21); symboltype.put("bigbigointctrclockwise",21); symboltype.put("bigbigbigwedge",21); symboltype.put("bigbigbigvee",21); symboltype.put("bigbigbigcap",21); symboltype.put("bigbigbigcup",21); symboltype.put("bigbigleftouterjoin",21); symboltype.put("bigbigrightouterjoin",21); symboltype.put("bigbigfullouterjoin",21); symboltype.put("bigbigbigbot",21); symboltype.put("bigbigbigtop",21); symboltype.put("bigbigxsol",21); symboltype.put("bigbigxbsol",21); symboltype.put("bigbigbigodot",21); symboltype.put("bigbigbigoplus",21); symboltype.put("bigbigbigotimes",21); symboltype.put("bigbigbigcupdot",21); symboltype.put("bigbigbiguplus",21); symboltype.put("bigbigbigsqcap",21); symboltype.put("bigbigbigsqcup",21); symboltype.put("bigbigconjquant",21); symboltype.put("bigbigdisjquant",21); symboltype.put("bigbigbigtimes",21); symboltype.put("bigbigmodtwosum",21); symboltype.put("bigbigintbar",21); symboltype.put("bigbigintBar",21); symboltype.put("bigbigintlarhk",21); symboltype.put("bigbigintx",21); symboltype.put("bigbigintcap",21); symboltype.put("bigbigintcup",21); symboltype.put("bigbigJoin",21); symboltype.put("bigbigbigtriangleleft",21); symboltype.put("bigbigzcmp",21); symboltype.put("bigbigzpipe",21); symboltype.put("bigbigzproject",21); symboltype.put("bigbigbiginterleave",21); symboltype.put("bigbigbigtalloblong",21); */ symboltype.put("int",22); symboltype.put("iint",22); symboltype.put("iiint",22); symboltype.put("oint",22); symboltype.put("oiint",22); symboltype.put("oiiint",22); /* symboltype.put("sumint",22); symboltype.put("iiiint",22); symboltype.put("fint",22); symboltype.put("cirfint",22); symboltype.put("awint",22); symboltype.put("rppolint",22); symboltype.put("scpolint",22); symboltype.put("npolint",22); symboltype.put("pointint",22); symboltype.put("sqint",22); symboltype.put("upint",22); symboltype.put("lowint",22); */ symboltype.put("bigint",23); symboltype.put("bigiint",23); symboltype.put("bigiiint",23); symboltype.put("bigoint",23); symboltype.put("bigoiint",23); symboltype.put("bigoiiint",23); /* symboltype.put("bigsumint",23); symboltype.put("bigiiiint",23); symboltype.put("bigfint",23); symboltype.put("bigcirfint",23); symboltype.put("bigawint",23); symboltype.put("bigrppolint",23); symboltype.put("bigscpolint",23); symboltype.put("bignpolint",23); symboltype.put("bigpointint",23); symboltype.put("bigsqint",23); symboltype.put("bigupint",23); symboltype.put("biglowint",23); */ symboltype.put("bigbigint",24); symboltype.put("bigbigiint",24); symboltype.put("bigbigiiint",24); symboltype.put("bigbigoint",24); symboltype.put("bigbigoiint",24); symboltype.put("bigbigoiiint",24); /* symboltype.put("bigbigsumint",24); symboltype.put("bigbigiiiint",24); symboltype.put("bigbigfint",24); symboltype.put("bigbigcirfint",24); symboltype.put("bigbigawint",24); symboltype.put("bigbigrppolint",24); symboltype.put("bigbigscpolint",24); symboltype.put("bigbignpolint",24); symboltype.put("bigbigpointint",24); symboltype.put("bigbigsqint",24); symboltype.put("bigbigupint",24); symboltype.put("bigbiglowint",24); */ /************************************************************************************/ symbolunicode.put("lparen","\u0028"); symbolunicode.put("lbrack","\u005B"); symbolunicode.put("lbrace","\u007B"); /* symbolunicode.put("lceil","\u2308"); symbolunicode.put("lfloor","\u230A"); symbolunicode.put("ulcorner","\u231C"); symbolunicode.put("llcorner","\u231E"); symbolunicode.put("lbag","\u27C5"); symbolunicode.put("lBrack","\u27E6"); symbolunicode.put("langle","\u27E8"); symbolunicode.put("lAngle","\u27EA"); symbolunicode.put("Lbrbrak","\u27EC"); symbolunicode.put("lgroup","\u27EE"); symbolunicode.put("lBrace","\u2983"); symbolunicode.put("lParen","\u2985"); symbolunicode.put("llparenthesis","\u2987"); symbolunicode.put("llangle","\u2989"); symbolunicode.put("lbrackubar","\u298B"); symbolunicode.put("lbrackultick","\u298D"); symbolunicode.put("lbracklltick","\u298F"); symbolunicode.put("langledot","\u2991"); symbolunicode.put("lparenless","\u2993"); symbolunicode.put("lparengtr","\u2995"); symbolunicode.put("lblkbrbrak","\u2997"); symbolunicode.put("lvzigzag","\u29D8"); symbolunicode.put("Lvzigzag","\u29DA"); symbolunicode.put("lcurvyangle","\u29FC"); symbolunicode.put("lbrbrak","\u3014"); */ symbolunicode.put("rparen","\u0029"); symbolunicode.put("rbrack","\u005D"); symbolunicode.put("rbrace","\u007D"); /* symbolunicode.put("rceil","\u2309"); symbolunicode.put("rfloor","\u230B"); symbolunicode.put("urcorner","\u231D"); symbolunicode.put("lrcorner","\u231F"); symbolunicode.put("rbag","\u27C6"); symbolunicode.put("rBrack","\u27E7"); symbolunicode.put("rangle","\u27E9"); symbolunicode.put("rAngle","\u27EB"); symbolunicode.put("Rbrbrak","\u27ED"); symbolunicode.put("rgroup","\u27EF"); symbolunicode.put("rBrace","\u2984"); symbolunicode.put("rParen","\u2986"); symbolunicode.put("rrparenthesis","\u2988"); symbolunicode.put("rrangle","\u298A"); symbolunicode.put("rbrackubar","\u298C"); symbolunicode.put("rbrackurtick","\u2990"); symbolunicode.put("rbracklrtick","\u298E"); symbolunicode.put("rangledot","\u2992"); symbolunicode.put("rparenless","\u2996"); symbolunicode.put("rparengtr","\u2994"); symbolunicode.put("rblkbrbrak","\u2998"); symbolunicode.put("rvzigzag","\u29D9"); symbolunicode.put("Rvzigzag","\u29DB"); symbolunicode.put("rcurvyangle","\u29FD"); symbolunicode.put("rbrbrak","\u3015"); */ symbolunicode.put("vert","\u007C"); /* symbolunicode.put("Vert","\u2016"); symbolunicode.put("Vvert","\u2980"); */ symbolunicode.put("exclam","\u0021"); /* symbolunicode.put("comma","\u002C"); symbolunicode.put("mathcolon","\u003A"); symbolunicode.put("semicolon","\u003B"); symbolunicode.put("overbracket","\u23B4"); symbolunicode.put("overparen","\u23DC"); */ symbolunicode.put("overbrace","\u23DE"); // symbolunicode.put("underbracket","\u23B5"); // symbolunicode.put("underparen","\u23DD"); symbolunicode.put("underbrace","\u23DF"); symbolunicode.put("grave","\u0300"); symbolunicode.put("acute","\u0301"); symbolunicode.put("hat","\u0302"); symbolunicode.put("tilde","\u0303"); symbolunicode.put("bar","\u0304"); symbolunicode.put("overbar","\u0305"); symbolunicode.put("breve","\u0306"); symbolunicode.put("dot","\u0307"); /* symbolunicode.put("ddot","\u0308"); symbolunicode.put("ovhook","\u0309"); symbolunicode.put("ocirc","\u030A"); symbolunicode.put("check","\u030C"); symbolunicode.put("not","\u0338"); symbolunicode.put("leftharpoonaccent","\u20D0"); symbolunicode.put("rightharpoonaccent","\u20D1"); symbolunicode.put("vertoverlay","\u20D2"); symbolunicode.put("overleftarrow","\u20D6"); */ symbolunicode.put("vec","\u20D7"); symbolunicode.put("dddot","\u20DB"); /* symbolunicode.put("ddddot","\u20DC"); symbolunicode.put("overleftrightarrow","\u20E1"); symbolunicode.put("annuity","\u20E7"); symbolunicode.put("widebridgeabove","\u20E9"); symbolunicode.put("threeunderdot","\u20E8"); symbolunicode.put("underrightharpoondown","\u20EC"); symbolunicode.put("underleftharpoondown","\u20ED"); symbolunicode.put("underleftarrow","\u20EE"); symbolunicode.put("underrightarrow","\u20EF");*/ // symbolunicode.put("Bbbsum","\u2140"); symbolunicode.put("prod","\u220F"); // symbolunicode.put("coprod","\u2210"); symbolunicode.put("sum","\u2211"); symbolunicode.put("int","\u222B"); symbolunicode.put("iint","\u222C"); symbolunicode.put("iiint","\u222D"); symbolunicode.put("oint","\u222E"); symbolunicode.put("oiint","\u222F"); symbolunicode.put("oiiint","\u2230"); /* symbolunicode.put("intclockwise","\u2231"); symbolunicode.put("varointclockwise","\u2232"); symbolunicode.put("ointctrclockwise","\u2233"); symbolunicode.put("bigwedge","\u22C0"); symbolunicode.put("bigvee","\u22C1"); symbolunicode.put("bigcap","\u22C2"); symbolunicode.put("bigcup","\u22C3"); symbolunicode.put("leftouterjoin","\u27D5"); symbolunicode.put("rightouterjoin","\u27D6"); symbolunicode.put("fullouterjoin","\u27D7"); symbolunicode.put("bigbot","\u27D8"); symbolunicode.put("bigtop","\u27D9"); symbolunicode.put("xsol","\u29F8"); symbolunicode.put("xbsol","\u29F9"); symbolunicode.put("bigodot","\u2A00"); symbolunicode.put("bigoplus","\u2A01"); symbolunicode.put("bigotimes","\u2A02"); symbolunicode.put("bigcupdot","\u2A03"); symbolunicode.put("biguplus","\u2A04"); symbolunicode.put("bigsqcap","\u2A05"); symbolunicode.put("bigsqcup","\u2A06"); symbolunicode.put("conjquant","\u2A07"); symbolunicode.put("disjquant","\u2A08"); symbolunicode.put("bigtimes","\u2A09"); symbolunicode.put("modtwosum","\u2A0A"); symbolunicode.put("sumint","\u2A0B"); symbolunicode.put("iiiint","\u2A0C"); symbolunicode.put("intbar","\u2A0D"); symbolunicode.put("intBar","\u2A0E"); symbolunicode.put("fint","\u2A0F"); symbolunicode.put("cirfint","\u2A10"); symbolunicode.put("awint","\u2A11"); symbolunicode.put("rppolint","\u2A12"); symbolunicode.put("scpolint","\u2A13"); symbolunicode.put("npolint","\u2A14"); symbolunicode.put("pointint","\u2A15"); symbolunicode.put("sqint","\u2A16"); symbolunicode.put("intlarhk","\u2A17"); symbolunicode.put("intx","\u2A18"); symbolunicode.put("intcap","\u2A19"); symbolunicode.put("intcup","\u2A1A"); symbolunicode.put("upint","\u2A1B"); symbolunicode.put("lowint","\u2A1C"); symbolunicode.put("Join","\u2A1D"); symbolunicode.put("bigtriangleleft","\u2A1E"); symbolunicode.put("zcmp","\u2A1F"); symbolunicode.put("zpipe","\u2A20"); symbolunicode.put("zproject","\u2A21"); symbolunicode.put("biginterleave","\u2AFc"); symbolunicode.put("bigtalloblong","\u2AFF"); */ // symbolunicode.put("bigBbbsum","\u2140"); symbolunicode.put("bigprod","\u220F"); // symbolunicode.put("bigcoprod","\u2210"); symbolunicode.put("bigsum","\u2211"); symbolunicode.put("bigint","\u222B"); symbolunicode.put("bigiint","\u222C"); symbolunicode.put("bigiiint","\u222D"); symbolunicode.put("bigoint","\u222E"); symbolunicode.put("bigoiint","\u222F"); symbolunicode.put("bigoiiint","\u2230"); /* symbolunicode.put("bigintclockwise","\u2231"); symbolunicode.put("bigvarointclockwise","\u2232"); symbolunicode.put("bigointctrclockwise","\u2233"); symbolunicode.put("bigbigwedge","\u22C0"); symbolunicode.put("bigbigvee","\u22C1"); symbolunicode.put("bigbigcap","\u22C2"); symbolunicode.put("bigbigcup","\u22C3"); symbolunicode.put("bigleftouterjoin","\u27D5"); symbolunicode.put("bigrightouterjoin","\u27D6"); symbolunicode.put("bigfullouterjoin","\u27D7"); symbolunicode.put("bigbigbot","\u27D8"); symbolunicode.put("bigbigtop","\u27D9"); symbolunicode.put("bigxsol","\u29F8"); symbolunicode.put("bigxbsol","\u29F9"); symbolunicode.put("bigbigodot","\u2A00"); symbolunicode.put("bigbigoplus","\u2A01"); symbolunicode.put("bigbigotimes","\u2A02"); symbolunicode.put("bigbigcupdot","\u2A03"); symbolunicode.put("bigbiguplus","\u2A04"); symbolunicode.put("bigbigsqcap","\u2A05"); symbolunicode.put("bigbigsqcup","\u2A06"); symbolunicode.put("bigconjquant","\u2A07"); symbolunicode.put("bigdisjquant","\u2A08"); symbolunicode.put("bigbigtimes","\u2A09"); symbolunicode.put("bigmodtwosum","\u2A0A"); symbolunicode.put("bigsumint","\u2A0B"); symbolunicode.put("bigiiiint","\u2A0C"); symbolunicode.put("bigintbar","\u2A0D"); symbolunicode.put("bigintBar","\u2A0E"); symbolunicode.put("bigfint","\u2A0F"); symbolunicode.put("bigcirfint","\u2A10"); symbolunicode.put("bigawint","\u2A11"); symbolunicode.put("bigrppolint","\u2A12"); symbolunicode.put("bigscpolint","\u2A13"); symbolunicode.put("bignpolint","\u2A14"); symbolunicode.put("bigpointint","\u2A15"); symbolunicode.put("bigsqint","\u2A16"); symbolunicode.put("bigintlarhk","\u2A17"); symbolunicode.put("bigintx","\u2A18"); symbolunicode.put("bigintcap","\u2A19"); symbolunicode.put("bigintcup","\u2A1A"); symbolunicode.put("bigupint","\u2A1B"); symbolunicode.put("biglowint","\u2A1C"); symbolunicode.put("bigJoin","\u2A1D"); symbolunicode.put("bigbigtriangleleft","\u2A1E"); symbolunicode.put("bigzcmp","\u2A1F"); symbolunicode.put("bigzpipe","\u2A20"); symbolunicode.put("bigzproject","\u2A21"); symbolunicode.put("bigbiginterleave","\u2AFc"); symbolunicode.put("bigbigtalloblong","\u2AFF"); */ // symbolunicode.put("bigbigBbbsum","\u2140"); symbolunicode.put("bigbigprod","\u220F"); // symbolunicode.put("bigbigcoprod","\u2210"); symbolunicode.put("bigbigsum","\u2211"); symbolunicode.put("bigbigint","\u222B"); symbolunicode.put("bigbigiint","\u222C"); symbolunicode.put("bigbigiiint","\u222D"); symbolunicode.put("bigbigoint","\u222E"); symbolunicode.put("bigbigoiint","\u222F"); symbolunicode.put("bigbigoiiint","\u2230"); /* symbolunicode.put("bigbigintclockwise","\u2231"); symbolunicode.put("bigbigvarointclockwise","\u2232"); symbolunicode.put("bigbigointctrclockwise","\u2233"); symbolunicode.put("bigbigbigwedge","\u22C0"); symbolunicode.put("bigbigbigvee","\u22C1"); symbolunicode.put("bigbigbigcap","\u22C2"); symbolunicode.put("bigbigbigcup","\u22C3"); symbolunicode.put("bigbigleftouterjoin","\u27D5"); symbolunicode.put("bigbigrightouterjoin","\u27D6"); symbolunicode.put("bigbigfullouterjoin","\u27D7"); symbolunicode.put("bigbigbigbot","\u27D8"); symbolunicode.put("bigbigbigtop","\u27D9"); symbolunicode.put("bigbigxsol","\u29F8"); symbolunicode.put("bigbigxbsol","\u29F9"); symbolunicode.put("bigbigbigodot","\u2A00"); symbolunicode.put("bigbigbigoplus","\u2A01"); symbolunicode.put("bigbigbigotimes","\u2A02"); symbolunicode.put("bigbigbigcupdot","\u2A03"); symbolunicode.put("bigbigbiguplus","\u2A04"); symbolunicode.put("bigbigbigsqcap","\u2A05"); symbolunicode.put("bigbigbigsqcup","\u2A06"); symbolunicode.put("bigbigconjquant","\u2A07"); symbolunicode.put("bigbigdisjquant","\u2A08"); symbolunicode.put("bigbigbigtimes","\u2A09"); symbolunicode.put("bigbigmodtwosum","\u2A0A"); symbolunicode.put("bigbigsumint","\u2A0B"); symbolunicode.put("bigbigiiiint","\u2A0C"); symbolunicode.put("bigbigintbar","\u2A0D"); symbolunicode.put("bigbigintBar","\u2A0E"); symbolunicode.put("bigbigfint","\u2A0F"); symbolunicode.put("bigbigcirfint","\u2A10"); symbolunicode.put("bigbigawint","\u2A11"); symbolunicode.put("bigbigrppolint","\u2A12"); symbolunicode.put("bigbigscpolint","\u2A13"); symbolunicode.put("bigbignpolint","\u2A14"); symbolunicode.put("bigbigpointint","\u2A15"); symbolunicode.put("bigbigsqint","\u2A16"); symbolunicode.put("bigbigintlarhk","\u2A17"); symbolunicode.put("bigbigintx","\u2A18"); symbolunicode.put("bigbigintcap","\u2A19"); symbolunicode.put("bigbigintcup","\u2A1A"); symbolunicode.put("bigbigupint","\u2A1B"); symbolunicode.put("bigbiglowint","\u2A1C"); symbolunicode.put("bigbigJoin","\u2A1D"); symbolunicode.put("bigbigbigtriangleleft","\u2A1E"); symbolunicode.put("bigbigzcmp","\u2A1F"); symbolunicode.put("bigbigzpipe","\u2A20"); symbolunicode.put("bigbigzproject","\u2A21"); symbolunicode.put("bigbigbiginterleave","\u2AFc"); symbolunicode.put("bigbigbigtalloblong","\u2AFF"); */ symbolunicode.put("plus","\u002B"); symbolunicode.put("pm","\u00B1"); /* symbolunicode.put("cdotp","\u00B7"); symbolunicode.put("times","\u00D7"); symbolunicode.put("div","\u00F7"); symbolunicode.put("dagger","\u2020"); symbolunicode.put("ddagger","\u2021"); symbolunicode.put("smblkcircle","\u2022"); symbolunicode.put("tieconcat","\u2040"); symbolunicode.put("fracslash","\u2044"); symbolunicode.put("upand","\u214B"); symbolunicode.put("minus","\u2212"); symbolunicode.put("mp","\u2213"); symbolunicode.put("dotplus","\u2214"); symbolunicode.put("divslash","\u2215"); symbolunicode.put("smallsetminus","\u2216"); symbolunicode.put("ast","\u2217"); symbolunicode.put("vysmwhtcircle","\u2218"); symbolunicode.put("vysmblkcircle","\u2219"); symbolunicode.put("wedge","\u2227"); symbolunicode.put("vee","\u2228"); symbolunicode.put("cap","\u2229"); symbolunicode.put("cup","\u222A"); symbolunicode.put("dotminus","\u2238"); symbolunicode.put("invlazys","\u223E"); symbolunicode.put("wr","\u2240"); symbolunicode.put("cupleftarrow","\u228C"); symbolunicode.put("cupdot","\u228D"); symbolunicode.put("uplus","\u228E"); symbolunicode.put("sqcap","\u2293"); symbolunicode.put("sqcup","\u2294"); symbolunicode.put("oplus","\u2295"); symbolunicode.put("ominus","\u2296"); symbolunicode.put("otimes","\u2297"); symbolunicode.put("oslash","\u2298"); symbolunicode.put("odot","\u2299"); symbolunicode.put("circledcirc","\u229A"); symbolunicode.put("circleddast","\u229B"); symbolunicode.put("circledequal","\u229C"); symbolunicode.put("circleddash","\u229D"); symbolunicode.put("boxplus","\u229E"); symbolunicode.put("boxminus","\u229F"); symbolunicode.put("boxtimes","\u22A0"); symbolunicode.put("boxdot","\u22A1"); symbolunicode.put("intercal","\u22BA"); symbolunicode.put("veebar","\u22BB"); symbolunicode.put("barwedge","\u22BC"); symbolunicode.put("barvee","\u22BD"); symbolunicode.put("smwhtdiamond","\u22C4"); */ symbolunicode.put("cdot","\u22C5"); /* symbolunicode.put("star","\u22C6"); symbolunicode.put("divideontimes","\u22C7"); symbolunicode.put("ltimes","\u22C9"); symbolunicode.put("rtimes","\u22CA"); symbolunicode.put("leftthreetimes","\u22CB"); symbolunicode.put("rightthreetimes","\u22CC"); symbolunicode.put("curlyvee","\u22CE"); symbolunicode.put("curlywedge","\u22CF"); symbolunicode.put("Cap","\u22D2"); symbolunicode.put("Cup","\u22D3"); symbolunicode.put("varbarwedge","\u2305"); symbolunicode.put("vardoublewedge","\u2306"); symbolunicode.put("obar","\u233D"); symbolunicode.put("bigtriangleup","\u25B3"); symbolunicode.put("triangleright","\u25B7"); symbolunicode.put("triangleleft","\u25C1"); symbolunicode.put("mdlgwhtcircle","\u25CB"); symbolunicode.put("boxbar","\u25EB"); symbolunicode.put("veedot","\u27C7"); symbolunicode.put("wedgedot","\u27D1"); symbolunicode.put("lozengeminus","\u27E0"); symbolunicode.put("concavediamond","\u27E1"); symbolunicode.put("concavediamondtickleft","\u27E2"); symbolunicode.put("concavediamondtickright","\u27E3"); symbolunicode.put("whitesquaretickleft","\u27E4"); symbolunicode.put("whitesquaretickright","\u27E5"); symbolunicode.put("typecolon","\u2982"); symbolunicode.put("circlehbar","\u29B5"); symbolunicode.put("circledvert","\u29B6"); symbolunicode.put("circledparallel","\u29B7"); symbolunicode.put("obslash","\u29B8"); symbolunicode.put("operp","\u29B9"); symbolunicode.put("olessthan","\u29C0"); symbolunicode.put("ogreaterthan","\u29C1"); symbolunicode.put("boxdiag","\u29C4"); symbolunicode.put("boxbslash","\u29C5"); symbolunicode.put("boxast","\u29C6"); symbolunicode.put("boxcicle","\u29C7"); symbolunicode.put("boxbox","\u29C8"); symbolunicode.put("triangleserifs","\u29CD"); symbolunicode.put("hourglass","\u29D6"); symbolunicode.put("blackhourglass","\u29D7"); symbolunicode.put("shuffle","\u29E2"); symbolunicode.put("mdlgblkozenge","\u29EB"); symbolunicode.put("setminus","\u29F5"); symbolunicode.put("dsol","\u29F6"); symbolunicode.put("rsolbar","\u29F7"); symbolunicode.put("doubleplus","\u29FA"); symbolunicode.put("tripleplus","\u29FB"); symbolunicode.put("tplus","\u29FE"); symbolunicode.put("tminus","\u29FF"); symbolunicode.put("ringplus","\u2A22"); symbolunicode.put("plushat","\u2A23"); symbolunicode.put("simplus","\u2A24"); symbolunicode.put("plusdot","\u2A25"); symbolunicode.put("plussim","\u2A26"); symbolunicode.put("plussubtwo","\u2A27"); symbolunicode.put("plustrif","\u2A28"); symbolunicode.put("commaminus","\u2A29"); symbolunicode.put("minusdot","\u2A2A"); symbolunicode.put("minusfdots","\u2A2B"); symbolunicode.put("minusrdots","\u2A2C"); symbolunicode.put("opluslhrim","\u2A2D"); symbolunicode.put("oplusrhrim","\u2A2E"); symbolunicode.put("vectimes","\u2A2F"); symbolunicode.put("dottimes","\u2A30"); symbolunicode.put("timesbar","\u2A31"); symbolunicode.put("btimes","\u2A32"); symbolunicode.put("smashtimes","\u2A33"); symbolunicode.put("otimeslhrim","\u2A34"); symbolunicode.put("otimesrhrim","\u2A35"); symbolunicode.put("otimeshat","\u2A36"); symbolunicode.put("Otimes","\u2A37"); symbolunicode.put("odiv","\u2A38"); symbolunicode.put("triangleplus","\u2A39"); symbolunicode.put("triangleminus","\u2A3A"); symbolunicode.put("triangletimes","\u2A3B"); symbolunicode.put("intprod","\u2A3C"); symbolunicode.put("intprodr","\u2A3D"); symbolunicode.put("fcmp","\u2A3E"); symbolunicode.put("amalg","\u2A3F"); symbolunicode.put("capdot","\u2A40"); symbolunicode.put("barcup","\u2A42"); symbolunicode.put("barcap","\u2A43"); symbolunicode.put("capwedge","\u2A44"); symbolunicode.put("cupvee","\u2A45"); symbolunicode.put("cupovercap","\u2A46"); symbolunicode.put("cupovercup","\u2A47"); symbolunicode.put("cupbarcap","\u2A48"); symbolunicode.put("capbarcup","\u2A49"); symbolunicode.put("twocups","\u2A4A"); symbolunicode.put("twocaps","\u2A4B"); symbolunicode.put("closedvarcup","\u2A4C"); symbolunicode.put("closedvarcap","\u2A4D"); symbolunicode.put("Sqcap","\u2A4E"); symbolunicode.put("Sqcup","\u2A4F"); symbolunicode.put("closedvarcupsmashprod","\u2A50"); symbolunicode.put("wedgeodot","\u2A51"); symbolunicode.put("veeodot","\u2A52"); symbolunicode.put("Wedge","\u2A53"); symbolunicode.put("Vee","\u2A54"); symbolunicode.put("wedgeonwedge","\u2A55"); symbolunicode.put("veeonvee","\u2A56"); symbolunicode.put("bigslopedvee","\u2A57"); symbolunicode.put("bigslopedwedge","\u2A58"); symbolunicode.put("wedgemidvert","\u2A5A"); symbolunicode.put("veemidvert","\u2A5B"); symbolunicode.put("midbarwedge","\u2A5C"); symbolunicode.put("midbarvee","\u2A5D"); symbolunicode.put("doublebarwedge","\u2A5E"); symbolunicode.put("wedgebar","\u2A5F"); symbolunicode.put("wedgedoublebar","\u2A60"); symbolunicode.put("varveebar","\u2A61"); symbolunicode.put("doublebarvee","\u2A62"); symbolunicode.put("veedoublebar","\u2A63"); symbolunicode.put("dsub","\u2A64"); symbolunicode.put("rsub","\u2A65"); symbolunicode.put("eqqplus","\u2A71"); symbolunicode.put("pluseqq","\u2A72"); symbolunicode.put("interleave","\u2AF4"); symbolunicode.put("nhVvert","\u2AF5"); symbolunicode.put("threedotcolon","\u2AF6"); symbolunicode.put("trslash","\u2AFB"); symbolunicode.put("sslash","\u2AFD"); symbolunicode.put("talloblong","\u2AFE");*/ /* symbolunicode.put("octothrope", "\u0023"); symbolunicode.put("mathdollar","\u0024"); symbolunicode.put("percent","\u0025"); symbolunicode.put("ampersand","\u0026"); symbolunicode.put("period","\u002E"); symbolunicode.put("mathslash","\u002F"); symbolunicode.put("question","\u003F"); symbolunicode.put("atsign","\u0040");*/ symbolunicode.put("backslash","\\"); /* symbolunicode.put("sterling","\u00A3"); symbolunicode.put("yen","\u00A5"); symbolunicode.put("neg","\u00AC"); symbolunicode.put("horizbar","\u2015"); symbolunicode.put("twolowline","\u2017"); symbolunicode.put("enleadertwodots","\u2025"); symbolunicode.put("unicodeellipsis","\u2026"); symbolunicode.put("prime","\u2032"); symbolunicode.put("dprime","\u2033"); symbolunicode.put("trprime","\u2034"); symbolunicode.put("backprime","\u2035"); symbolunicode.put("backdprime","\u2036"); symbolunicode.put("backtrprime","\u2037"); symbolunicode.put("Exclam","\u203C"); symbolunicode.put("qprime","\u2057"); symbolunicode.put("euro","\u20AC"); symbolunicode.put("enclosecircle","\u20DD"); symbolunicode.put("enclosesquare","\u20DE"); symbolunicode.put("enclosediamond","\u20DF"); symbolunicode.put("enclosetriangle","\u20E4"); symbolunicode.put("Eulerconst","\u2017"); symbolunicode.put("Planckconst","\u210E"); symbolunicode.put("mho","\u2127"); symbolunicode.put("Finv","\u2132"); symbolunicode.put("Bbbpi","\u213C"); symbolunicode.put("Game","\u2141"); symbolunicode.put("sansLturned","\u2142"); symbolunicode.put("sansLmirrored","\u2143"); symbolunicode.put("Yup","\u2144"); symbolunicode.put("mitBbbD","\u2145"); symbolunicode.put("mitBbbd","\u2146"); symbolunicode.put("mitBbbe","\u2147"); symbolunicode.put("mitBbbi","\u2148"); symbolunicode.put("mitBbbj","\u2149"); symbolunicode.put("updownarrowbar","\u21A8"); symbolunicode.put("linefeed","\u21B4"); symbolunicode.put("carriagereturn","\u21B5"); symbolunicode.put("barovernorthwestarrow","\u21B8"); symbolunicode.put("barleftarrowrightarrowbar","\u21B9"); symbolunicode.put("acwopencirclearrow","\u21BA"); symbolunicode.put("cwopencirclearrow","\u21BB"); symbolunicode.put("nHuparrow","\u21DE"); symbolunicode.put("nHdownarrow","\u21DF"); symbolunicode.put("leftdasharrow","\u21E0"); symbolunicode.put("updasharrow","\u21E1"); symbolunicode.put("rightdasharrow","\u21E2"); symbolunicode.put("downdasharrow","\u21E3"); symbolunicode.put("leftwhitearrow","\u21E6"); symbolunicode.put("upwhitearrow","\u21E7"); symbolunicode.put("rightwhitearrow","\u21E8"); symbolunicode.put("downwhitearrow","\u21E9"); symbolunicode.put("whitearrowupfrombar","\u21EA"); */ symbolunicode.put("forall","\u2200"); symbolunicode.put("complement","\u2201"); symbolunicode.put("exists","\u2203"); symbolunicode.put("nexists","\u2204"); symbolunicode.put("varnothing","\u2205"); symbolunicode.put("increment","\u2206"); symbolunicode.put("QED","\u220E"); symbolunicode.put("infty","\u221E"); symbolunicode.put("rightangle","\u221F"); symbolunicode.put("angle","\u2220"); symbolunicode.put("measuredangle","\u2221"); symbolunicode.put("sphericalangle","\u2222"); symbolunicode.put("therefore","\u2234"); symbolunicode.put("because","\u2235"); /* symbolunicode.put("sinewave","\u223F"); symbolunicode.put("top","\u22A4"); symbolunicode.put("bot","\u22A5"); symbolunicode.put("hermitmatrix","\u22B9"); symbolunicode.put("measuredrightangle","\u22BE"); symbolunicode.put("varlrtriangle","\u22BF"); symbolunicode.put("unicodecdots","\u22EF"); symbolunicode.put("diameter","\u2300"); symbolunicode.put("invnot","\u2310"); symbolunicode.put("turnednot","\u2319"); symbolunicode.put("inttop","\u2320"); symbolunicode.put("intbottom","\u2321"); symbolunicode.put("lparenuend","\u239B"); symbolunicode.put("lparenextender","\u239C"); symbolunicode.put("lparenlend","\u239D"); symbolunicode.put("rparenuend","\u239E"); symbolunicode.put("rparenextender","\u239F"); symbolunicode.put("rparenlend","\u23A0"); symbolunicode.put("lbrackuend","\u23A1"); symbolunicode.put("lbrackextender","\u23A2"); symbolunicode.put("lbracklend","\u23A3"); symbolunicode.put("rbrackuend","\u23A4"); symbolunicode.put("rbrackextender","\u23A5"); symbolunicode.put("rbracklend","\u23A6"); symbolunicode.put("lbraceuend","\u23A7"); symbolunicode.put("lbracemid","\u23A8"); symbolunicode.put("lbracelend","\u23A9"); symbolunicode.put("vbraceextender","\u23AA"); symbolunicode.put("rbraceuend","\u23AB"); symbolunicode.put("rbracemid","\u23AC"); symbolunicode.put("rbracelend","\u23AD"); symbolunicode.put("intextender","\u23AE"); symbolunicode.put("harrowextender","\u23AF"); symbolunicode.put("sumtop","\u23B2"); symbolunicode.put("sumbottom","\u23B3"); symbolunicode.put("sqrtbottom","\u23B7"); symbolunicode.put("obrbrak","\u23E0"); symbolunicode.put("ubrbrak","\u23E1"); symbolunicode.put("blanksymbol","\u2422"); symbolunicode.put("mathvisiblespace","\u2423"); symbolunicode.put("mdlgblksquare","\u25A0"); symbolunicode.put("mdlgwhtsquare","\u25A1"); symbolunicode.put("bigblacktriangleup","\u25B2"); symbolunicode.put("blacktriangleright","\u25B6"); symbolunicode.put("blackpointerright","\u25BA"); symbolunicode.put("whitepointerright","\u25BB"); symbolunicode.put("bigblacktriangledown","\u25BC"); symbolunicode.put("bigtriangledown","\u25BD"); symbolunicode.put("blacktriangleleft","\u25C0"); symbolunicode.put("blackpointerleft","\u25C4"); symbolunicode.put("whitepointerleft","\u25C5"); symbolunicode.put("bullseye","\u25CE"); symbolunicode.put("mdlgblkcircle","\u25CF"); symbolunicode.put("smwhtcircle","\u25E6"); symbolunicode.put("squareleftblack","\u25E7"); symbolunicode.put("squarerightblack","\u25E8"); symbolunicode.put("mdwhtsquare","\u25FB"); symbolunicode.put("mdblksquare","\u25FC"); symbolunicode.put("bigstar","\u2605"); symbolunicode.put("bigwhitestar","\u2606"); symbolunicode.put("spadesuit","\u2660"); symbolunicode.put("heartsuit","\u2661"); symbolunicode.put("diamondsuit","\u2662"); symbolunicode.put("clubsuit","\u2663"); symbolunicode.put("varspadesuit","\u2664"); symbolunicode.put("varheartsuit","\u2665"); symbolunicode.put("vardiamondsuit","\u2666"); symbolunicode.put("varclubsuit","\u2667"); symbolunicode.put("quarternote","\u2669"); symbolunicode.put("eighthnote","\u266A"); symbolunicode.put("flat","\u266D"); symbolunicode.put("natural","\u266E"); symbolunicode.put("sharp","\u266F"); symbolunicode.put("dicei","\u2680"); symbolunicode.put("diceii","\u2681"); symbolunicode.put("diceiii","\u2682"); symbolunicode.put("diceiv","\u2683"); symbolunicode.put("dicev","\u2684"); symbolunicode.put("dicevi","\u2685"); symbolunicode.put("checkmark","\u2713"); symbolunicode.put("maltese","\u2720"); symbolunicode.put("varstar","\u2736"); symbolunicode.put("threedangle","\u27C0"); symbolunicode.put("whiteinwhitetriangle","\u27C1"); symbolunicode.put("subsetcirc","\u27C3"); symbolunicode.put("supsetcirc","\u27C4"); symbolunicode.put("diamondcdot","\u27D0"); symbolunicode.put("rdiagovfdiag","\u292B"); symbolunicode.put("fdiagovrdiag","\u292C"); symbolunicode.put("seovnearrow","\u292D"); symbolunicode.put("neovsearrow","\u292E"); symbolunicode.put("fdiagovnearrow","\u292F"); symbolunicode.put("rdiagovsearrow","\u2930"); symbolunicode.put("neovnwarrow","\u2931"); symbolunicode.put("nwovnearrow","\u2932"); symbolunicode.put("uprightcurvearrow","\u2934"); symbolunicode.put("downrightcurvedarrow","\u2935"); symbolunicode.put("mdsmblkcircle","\u2981"); symbolunicode.put("fourvdots","\u2999"); symbolunicode.put("vzigzag","\u299A"); symbolunicode.put("measuredangleleft","\u299B"); symbolunicode.put("rightanglesqr","\u299C"); symbolunicode.put("rightanglemdot","\u299D"); symbolunicode.put("angles","\u299E"); symbolunicode.put("angdnr","\u299F"); symbolunicode.put("gtlpar","\u29A0"); symbolunicode.put("sphericalangleup","\u29A1"); symbolunicode.put("turnangle","\u29A2"); symbolunicode.put("revangle","\u29A3"); symbolunicode.put("angleubar","\u29A4"); symbolunicode.put("revangleubar","\u29A5"); symbolunicode.put("wideangledown","\u29A6"); symbolunicode.put("wideangleup","\u29A7"); symbolunicode.put("measanglerutone","\u29A8"); symbolunicode.put("measanglelutonw","\u29A9"); symbolunicode.put("measanglerdtose","\u29AA"); symbolunicode.put("measangleldtosw","\u29AB"); symbolunicode.put("measangleurtone","\u29AC"); symbolunicode.put("measangleultonw","\u29AD"); symbolunicode.put("measangledrtose","\u29AE"); symbolunicode.put("measangledltosw","\u29AF"); symbolunicode.put("revemptyset","\u29B0"); symbolunicode.put("emptysetobar","\u29B1"); symbolunicode.put("emptysetocirc","\u29B2"); symbolunicode.put("emptysetoarr","\u29B3"); symbolunicode.put("emptysetoarrl","\u29B4"); symbolunicode.put("obot","\u29BA"); symbolunicode.put("olcross","\u29BB"); symbolunicode.put("odotslashdot","\u29BC"); symbolunicode.put("uparrowoncircle","\u29BD"); symbolunicode.put("circledwhitebullet","\u29BE"); symbolunicode.put("circledbullet","\u29BF"); symbolunicode.put("cirscir","\u29C2"); symbolunicode.put("cirE","\u29C3"); symbolunicode.put("boxonbox","\u29C9"); symbolunicode.put("triangleodot","\u29CA"); symbolunicode.put("triangleubar","\u29CB"); symbolunicode.put("triangles","\u29CC"); symbolunicode.put("iinfin","\u29DC"); symbolunicode.put("tieinfty","\u29DD"); symbolunicode.put("nvinfty","\u29DE"); symbolunicode.put("laplac","\u29E0"); symbolunicode.put("thermod","\u29E7"); symbolunicode.put("downtriangleleftblack","\u29E8"); symbolunicode.put("downtrianglerightblack","\u29E9"); symbolunicode.put("blackdiamonddownarrow","\u29EA"); symbolunicode.put("circledownarrow","\u29EC"); symbolunicode.put("blackcircledownarrow","\u29ED"); symbolunicode.put("errbarsquare","\u29EE"); symbolunicode.put("errbarblacksquare","\u29EF"); symbolunicode.put("errbardiamond","\u29F0"); symbolunicode.put("errbarblackdiamond","\u29F1"); symbolunicode.put("errbarcircle","\u29F2"); symbolunicode.put("errbarblackcircle","\u29F3"); symbolunicode.put("perps","\u2AE1"); symbolunicode.put("topcir","\u2AF1"); symbolunicode.put("dottedsquare","\u2B1A"); symbolunicode.put("lgblksquare","\u2B1B"); symbolunicode.put("lgwhtsquare","\u2B1C"); symbolunicode.put("medwhitestar","\u2B50"); symbolunicode.put("medblackstar","\u2B51"); symbolunicode.put("smwhitestar","\u2B52"); */ symbolunicode.put("less","\u003C"); symbolunicode.put("equal","\u003D"); symbolunicode.put("greater","\u003E"); /* symbolunicode.put("closure","\u2050"); symbolunicode.put("leftarrow","\u2190"); symbolunicode.put("uparrow","\u2191"); symbolunicode.put("rightarrow","\u2192"); symbolunicode.put("downarrow","\u2193"); symbolunicode.put("leftrightarrow","\u2194"); symbolunicode.put("updownarrow","\u2195"); symbolunicode.put("nwarrow","\u2196"); symbolunicode.put("nearrow","\u2197"); symbolunicode.put("searrow","\u2198"); symbolunicode.put("swarrow","\u2199"); symbolunicode.put("nleftarrow","\u219A"); symbolunicode.put("nrightarrow","\u219B"); symbolunicode.put("leftwavearrow","\u219C"); symbolunicode.put("rightwavearrow","\u219D"); symbolunicode.put("twoheadleftarrow","\u219E"); symbolunicode.put("twoheaduparrow","\u219F"); symbolunicode.put("twoheadrightarrow","\u21A0"); symbolunicode.put("twoheaddownarrow","\u21A1"); symbolunicode.put("leftarrowtail","\u21A2"); symbolunicode.put("rightarrowtail","\u21A3"); symbolunicode.put("mapsfrom","\u21A4"); symbolunicode.put("mapsup","\u21A5"); symbolunicode.put("mapsto(","\u21A6"); symbolunicode.put("mapsdown","\u21A7"); symbolunicode.put("hookleftarrow","\u21A9"); symbolunicode.put("hookrightarrow","\u21AA"); symbolunicode.put("looparrowleft","\u21AB"); symbolunicode.put("looparrowright","\u21AC"); symbolunicode.put("leftrightsquigarrow","\u21AD"); symbolunicode.put("nleftrightarrow","\u21AE"); symbolunicode.put("downzigzagarrow","\u21AF"); symbolunicode.put("Lsh","\u21B0"); symbolunicode.put("Rsh","\u21B1"); symbolunicode.put("Ldsh","\u21B2"); symbolunicode.put("Rdsh","\u21B3"); symbolunicode.put("curvearrowleft","\u21B6"); symbolunicode.put("curvearrowright","\u21B7"); symbolunicode.put("leftharpoonup","\u21BC"); symbolunicode.put("leftharpoondown","\u21BD"); symbolunicode.put("upharpoonright","\u21BE"); symbolunicode.put("upharpoonleft","\u21BF"); symbolunicode.put("rightharpoonup","\u21C0"); symbolunicode.put("rightharpoondown","\u21C1"); symbolunicode.put("downharpoonright","\u21C2"); symbolunicode.put("downharpoonleft","\u21C3"); symbolunicode.put("rightleftarrows","\u21C4"); symbolunicode.put("updownarrows","\u21C5"); symbolunicode.put("leftrightarrows","\u21C6"); symbolunicode.put("leftleftarrows","\u21C7"); symbolunicode.put("upuparrows","\u21C8"); symbolunicode.put("rightrightarrows","\u21C9"); symbolunicode.put("downdownarrows","\u21CA"); symbolunicode.put("leftrightharpoons","\u21CB"); symbolunicode.put("rightleftharpoons","\u21CC"); symbolunicode.put("nLeftarrow","\u21CD"); symbolunicode.put("nLeftrightarrow","\u21CE"); symbolunicode.put("nRightarrow","\u21CF"); symbolunicode.put("Leftarrow","\u21D0"); symbolunicode.put("Uparrow","\u21D1"); symbolunicode.put("Rightarrow","\u21D2"); symbolunicode.put("Downarrow","\u21D3"); symbolunicode.put("Leftrightarrow","\u21D4"); symbolunicode.put("Updownarrow","\u21D5"); symbolunicode.put("Nwarrow","\u21D6"); symbolunicode.put("Nearrow","\u21D7"); symbolunicode.put("Searrow","\u21D8"); symbolunicode.put("Swarrow","\u21D9"); symbolunicode.put("Lleftarrow","\u21DA"); symbolunicode.put("Rrightarrow","\u21DB"); symbolunicode.put("leftsquigarrow","\u21DC"); symbolunicode.put("rightsquigarrow","\u21DD"); symbolunicode.put("barleftarrow","\u21E4"); symbolunicode.put("rightarrowbar","\u21E5"); symbolunicode.put("circleonrightarrow","\u21F4"); symbolunicode.put("downuparrows","\u21F5"); symbolunicode.put("rightthreearrows","\u21F6"); symbolunicode.put("nvleftarrow","\u21F7"); symbolunicode.put("nvrightarrow","\u21F8"); symbolunicode.put("nvleftrightarrow","\u21F9"); symbolunicode.put("nVleftarrow","\u21FA"); symbolunicode.put("nVrightarrow","\u21FB"); symbolunicode.put("nVleftrightarrow","\u21FC"); symbolunicode.put("leftarrowtriangle","\u21FD"); symbolunicode.put("rightarrowtriangle","\u21FE"); symbolunicode.put("leftrightarrowtriangle","\u21FF"); symbolunicode.put("in","\u2208"); symbolunicode.put("notin","\u2209"); symbolunicode.put("smallin","\u220A"); symbolunicode.put("ni","\u220B"); symbolunicode.put("nni","\u220C"); symbolunicode.put("smallni","\u220D"); symbolunicode.put("propto","\u221D"); symbolunicode.put("mid","\u2223"); symbolunicode.put("nmid","\u2224"); symbolunicode.put("parallel","\u2225"); symbolunicode.put("nparallel","\u2226"); symbolunicode.put("mathratio","\u2236"); symbolunicode.put("Colon","\u2237"); symbolunicode.put("dashcolon","\u2239"); symbolunicode.put("dotsminusdots","\u223A"); symbolunicode.put("kernelcontraction","\u223B"); */ symbolunicode.put("sim","\u223C"); // symbolunicode.put("backsim","\u223D"); symbolunicode.put("nsim","\u2241"); symbolunicode.put("eqsim","\u2242"); symbolunicode.put("simeq","\u2243"); symbolunicode.put("nsime","\u2244"); // symbolunicode.put("cong","\u2245"); // symbolunicode.put("simneqq","\u2246"); // symbolunicode.put("ncong","\u2247"); symbolunicode.put("approx","\u2248"); symbolunicode.put("napprox","\u2249"); symbolunicode.put("approxeq","\u224A"); /* symbolunicode.put("approxident","\u224B"); symbolunicode.put("backcong","\u224C"); symbolunicode.put("asymp","\u224D"); symbolunicode.put("Bumpeq","\u224E"); symbolunicode.put("bumpeq","\u224F"); symbolunicode.put("doteq","\u2250"); symbolunicode.put("Doteq","\u2251"); symbolunicode.put("fallingdotseq","\u2252"); symbolunicode.put("risingdotseq","\u2253"); symbolunicode.put("coloneq","\u2254"); symbolunicode.put("eqcolon","\u2255"); symbolunicode.put("eqcirc","\u2256"); symbolunicode.put("circeq","\u2257"); symbolunicode.put("arceq","\u2258"); symbolunicode.put("wedgeq","\u2259"); symbolunicode.put("veeeq","\u225A"); symbolunicode.put("stareq","\u225B"); symbolunicode.put("triangleq","\u225C"); symbolunicode.put("eqdef","\u225D"); symbolunicode.put("measeq","\u225E"); symbolunicode.put("questeq","\u225F"); */ symbolunicode.put("ne","\u2260"); symbolunicode.put("equiv","\u2261"); symbolunicode.put("nequiv","\u2262"); symbolunicode.put("Equiv","\u2263"); symbolunicode.put("leq","\u2264"); symbolunicode.put("geq","\u2265"); symbolunicode.put("leqq","\u2266"); symbolunicode.put("geqq","\u2267"); symbolunicode.put("lneqq","\u2268"); symbolunicode.put("gneqq","\u2269"); symbolunicode.put("ll","\u226A"); symbolunicode.put("gg","\u226B"); /* symbolunicode.put("between","\u226C"); symbolunicode.put("nasymp","\u226D"); symbolunicode.put("nless","\u226E"); symbolunicode.put("ngtr","\u226F"); symbolunicode.put("nleq","\u2270"); symbolunicode.put("ngeq","\u2271"); symbolunicode.put("lesssim","\u2272"); symbolunicode.put("gtrsim","\u2273"); symbolunicode.put("nlesssim","\u2274"); symbolunicode.put("ngtrsim","\u2275"); symbolunicode.put("lessgtr","\u2276"); symbolunicode.put("gtrless","\u2277"); symbolunicode.put("nlessgtr","\u2278"); symbolunicode.put("ngtrless","\u2279"); symbolunicode.put("prec","\u227A"); symbolunicode.put("succ","\u227B"); symbolunicode.put("preccurlyeq","\u227C"); symbolunicode.put("succcurlyeq","\u227D"); symbolunicode.put("precsim","\u227E"); symbolunicode.put("succsim","\u227F"); symbolunicode.put("nprec","\u2280"); symbolunicode.put("nsucc","\u2281"); symbolunicode.put("subset","\u2282"); symbolunicode.put("supset","\u2283"); symbolunicode.put("nsubset","\u2284"); symbolunicode.put("nsupset","\u2285"); symbolunicode.put("subseteq","\u2286"); symbolunicode.put("supseteq","\u2287"); symbolunicode.put("nsubseteq","\u2288"); symbolunicode.put("nsupseteq","\u2289"); symbolunicode.put("subsetneq","\u228A"); symbolunicode.put("supsetneq","\u228B"); symbolunicode.put("sqsubset","\u228F"); symbolunicode.put("sqsupset","\u2290"); symbolunicode.put("sqsubseteq","\u2291"); symbolunicode.put("sqsupseteq","\u2292"); symbolunicode.put("vdash","\u22A2"); symbolunicode.put("dashv","\u22A3"); symbolunicode.put("assert","\u22A6"); symbolunicode.put("models","\u22A7"); symbolunicode.put("vDash","\u22A8"); symbolunicode.put("Vdash","\u22A9"); symbolunicode.put("Vvdash","\u22AA"); symbolunicode.put("VDash","\u22AB"); symbolunicode.put("nvdash","\u22AC"); symbolunicode.put("nvDash","\u22AD"); symbolunicode.put("nVdash","\u22AE"); symbolunicode.put("nVDash","\u22AF"); symbolunicode.put("prurel","\u22B0"); symbolunicode.put("scurel","\u22B1"); symbolunicode.put("vartriangleleft","\u22B2"); symbolunicode.put("vartriangleright","\u22B3"); symbolunicode.put("trianglelefteq","\u22B4"); symbolunicode.put("trianglerighteq","\u22B5"); symbolunicode.put("origof","\u22B6"); symbolunicode.put("imageof","\u22B7"); symbolunicode.put("multimap","\u22B8"); symbolunicode.put("bowtie","\u22C8"); symbolunicode.put("backsimeq","\u22CD"); symbolunicode.put("Subset","\u22D0"); symbolunicode.put("Supset","\u22D1"); symbolunicode.put("pitchfork","\u22D4"); symbolunicode.put("equalparallel","\u22D5"); symbolunicode.put("lessdot","\u22D6"); symbolunicode.put("gtrdot","\u22D7"); symbolunicode.put("lll","\u22D8"); symbolunicode.put("ggg","\u22D9"); symbolunicode.put("lesseqgtr","\u22DA"); symbolunicode.put("gtreqless","\u22DB"); symbolunicode.put("eqless","\u22DC"); symbolunicode.put("eqgtr","\u22DD"); symbolunicode.put("curlyeqprec","\u22DE"); symbolunicode.put("curlyeqsucc","\u22DF"); symbolunicode.put("npreccurlyeq","\u22E0"); symbolunicode.put("nsucccurlyeq","\u22E1"); symbolunicode.put("nsqsubseteq","\u22E2"); symbolunicode.put("nsqsupseteq","\u22E3"); symbolunicode.put("sqsubsetneq","\u22E4"); symbolunicode.put("sqsupsetneq","\u22E5"); symbolunicode.put("lnsim","\u22E6"); symbolunicode.put("gnsim","\u22E7"); symbolunicode.put("precnsim","\u22E8"); symbolunicode.put("succnsim","\u22E9"); symbolunicode.put("nvartriangleleft","\u22EA"); symbolunicode.put("nvartriangleright","\u22EB"); symbolunicode.put("ntrianglelefteq","\u22EC"); symbolunicode.put("ntrianglerighteq","\u22ED"); symbolunicode.put("vdots","\u22EE"); symbolunicode.put("adots","\u22F0"); symbolunicode.put("ddots","\u22F1"); symbolunicode.put("disin","\u22F2"); symbolunicode.put("varisins","\u22F3"); symbolunicode.put("isins","\u22F4"); symbolunicode.put("isindot","\u22F5"); symbolunicode.put("varisinobar","\u22F6"); symbolunicode.put("isinobar","\u22F7"); symbolunicode.put("isinvb","\u22F8"); symbolunicode.put("isinE","\u22F9"); symbolunicode.put("nisd","\u22FA"); symbolunicode.put("varnis","\u22FB"); symbolunicode.put("nis","\u22FC"); symbolunicode.put("varniobar","\u22FD"); symbolunicode.put("niobar","\u22FE"); symbolunicode.put("bagmember","\u22FF"); symbolunicode.put("frown","\u2322"); symbolunicode.put("smile","\u2323"); symbolunicode.put("perp","\u27C2"); symbolunicode.put("bsolhsub","\u27C8"); symbolunicode.put("suphsol","\u27C9"); symbolunicode.put("upin","\u27D2"); symbolunicode.put("pullback","\u27D3"); symbolunicode.put("pushout","\u27D4"); symbolunicode.put("DashVDash","\u27DA"); symbolunicode.put("dashVdash","\u27DB"); symbolunicode.put("multimapinv","\u27DC"); symbolunicode.put("vlongdash","\u27DD"); symbolunicode.put("longdashv","\u27DE"); symbolunicode.put("cirbot","\u27DF"); symbolunicode.put("UUparrow","\u27F0"); symbolunicode.put("DDownarrow","\u27F1"); symbolunicode.put("acwgapcirclearrow","\u27F2"); symbolunicode.put("cwgapcirclearrow","\u27F3"); symbolunicode.put("rightarrowonoplus","\u27F4"); symbolunicode.put("longleftarrow","\u27F5"); symbolunicode.put("longrightarrow","\u27F6"); symbolunicode.put("longleftrightarrow","\u27F7"); symbolunicode.put("Longleftarrow","\u27F8"); symbolunicode.put("Longrightarrow","\u27F9"); symbolunicode.put("Longleftrightarrow","\u27FA"); symbolunicode.put("longmapsfrom","\u27FB"); symbolunicode.put("longmapsto","\u27FC"); symbolunicode.put("Longmapsfrom","\u27FD"); symbolunicode.put("Longmapsto","\u27FE"); symbolunicode.put("longrightsquigarrow","\u27FF"); symbolunicode.put("nvtwoheadrightarrow","\u2900"); symbolunicode.put("nVtwoheadrightarrow","\u2901"); symbolunicode.put("nvLeftarrow","\u2902"); symbolunicode.put("nvRightarrow","\u2903"); symbolunicode.put("nvLeftrightarrow","\u2904"); symbolunicode.put("twoheadmapsto","\u2905"); symbolunicode.put("Mapsfrom","\u2906"); symbolunicode.put("Mapsto","\u2907"); symbolunicode.put("downarrowbarred","\u2908"); symbolunicode.put("uparrowbarred","\u2909"); symbolunicode.put("Uuparrow","\u290A"); symbolunicode.put("Ddownarrow","\u290B"); symbolunicode.put("leftbkarrow","\u290C"); symbolunicode.put("rightbkarrow","\u290D"); symbolunicode.put("leftdbkarrow","\u290E"); symbolunicode.put("dbkarow","\u290F"); symbolunicode.put("drbkarow","\u2910"); symbolunicode.put("rightdotarrow","\u2911"); symbolunicode.put("baruparrow","\u2912"); symbolunicode.put("downarrowbar","\u2913"); symbolunicode.put("nvrightarrowtail","\u2914"); symbolunicode.put("nVrightarrowtail","\u2915"); symbolunicode.put("twoheadrightarrowtail","\u2916"); symbolunicode.put("nvtwoheadrightarrowtail","\u2917"); symbolunicode.put("nVtwoheadrightarrowtail","\u2918"); symbolunicode.put("lefttail","\u2919"); symbolunicode.put("righttail","\u291A"); symbolunicode.put("leftdbltail","\u291B"); symbolunicode.put("rightdbltail","\u291C"); symbolunicode.put("diamondleftarrow","\u291D"); symbolunicode.put("rightarrowdiamond","\u291E"); symbolunicode.put("diamondleftarrowbar","\u291F"); symbolunicode.put("barrightarrowdiamond","\u2920"); symbolunicode.put("nwsearrow","\u2921"); symbolunicode.put("neswarrow","\u2922"); symbolunicode.put("hknwarrow","\u2923"); symbolunicode.put("hknearrow","\u2924"); symbolunicode.put("hksearow","\u2925"); symbolunicode.put("hkswarow","\u2926"); symbolunicode.put("tona","\u2927"); symbolunicode.put("toea","\u2928"); symbolunicode.put("tosa","\u2929"); symbolunicode.put("towa","\u292A"); symbolunicode.put("rightcurvedarrow","\u2933"); symbolunicode.put("leftdowncurvedarrow","\u2936"); symbolunicode.put("rightdowncurvedarrow","\u2937"); symbolunicode.put("cwrightarcarrow","\u2938"); symbolunicode.put("acwleftarcarrow","\u2939"); symbolunicode.put("acwoverarcarrow","\u293A"); symbolunicode.put("acwunderarcarrow","\u293B"); symbolunicode.put("curvearrowrightminus","\u293C"); symbolunicode.put("curvearrowleftplus","\u293D"); symbolunicode.put("cwundercurvearrow","\u293E"); symbolunicode.put("ccwundercurvearrow","\u293F"); symbolunicode.put("acwcirclearrow","\u2940"); symbolunicode.put("cwcirclearrow","\u2941"); symbolunicode.put("rightarrowshortleftarrow","\u2942"); symbolunicode.put("leftarrowshortrightarrow","\u2943"); symbolunicode.put("shortrightarrowleftarrow","\u2944"); symbolunicode.put("rightarrowplus","\u2945"); symbolunicode.put("leftarrowplus","\u2946"); symbolunicode.put("rightarrowx","\u2947"); symbolunicode.put("leftrightarrowcircle","\u2948"); symbolunicode.put("twoheaduparrowcircle","\u2949"); symbolunicode.put("leftrightharpoonupdown","\u294A"); symbolunicode.put("leftrightharpoondownup","\u294B"); symbolunicode.put("updownharpoonrightleft","\u294C"); symbolunicode.put("updownharpoonleftright","\u294D"); symbolunicode.put("leftrightharpoonupup","\u294E"); symbolunicode.put("updownharpoonrightright","\u294F"); symbolunicode.put("leftrightharpoondowndown","\u2950"); symbolunicode.put("updownharpoonleftleft","\u2951"); symbolunicode.put("barleftharpoonup","\u2952"); symbolunicode.put("rightharpoonupbar","\u2953"); symbolunicode.put("barupharpoonright","\u2954"); symbolunicode.put("downharpoonrightbar","\u2955"); symbolunicode.put("barleftharpoondown","\u2956"); symbolunicode.put("rightharpoondownbar","\u2957"); symbolunicode.put("barupharpoonleft","\u2958"); symbolunicode.put("downharpoonleftbar","\u2959"); symbolunicode.put("leftharpoonupbar","\u295A"); symbolunicode.put("barrightharpoonup","\u295B"); symbolunicode.put("upharpoonrightbar","\u295C"); symbolunicode.put("bardownharpoonright","\u295D"); symbolunicode.put("leftharpoondownbar","\u295E"); symbolunicode.put("barrightharpoondown","\u295F"); symbolunicode.put("upharpoonleftbar","\u2960"); symbolunicode.put("bardownharpoonleft","\u2961"); symbolunicode.put("leftharpoonsupdown","\u2962"); symbolunicode.put("upharpoonsleftright","\u2963"); symbolunicode.put("rightharpoonsupdown","\u2964"); symbolunicode.put("downharpoonsleftright","\u2965"); symbolunicode.put("leftrightharpoonsup","\u2966"); symbolunicode.put("leftrightharpoonsdown","\u2967"); symbolunicode.put("rightleftharpoonsup","\u2968"); symbolunicode.put("rightleftharpoonsdown","\u2969"); symbolunicode.put("leftharpoonupdash","\u296A"); symbolunicode.put("dashleftharpoondown","\u296B"); symbolunicode.put("rightharpoonupdash","\u296C"); symbolunicode.put("dashrightharpoondown","\u296D"); symbolunicode.put("updownharpoonsleftright","\u296E"); symbolunicode.put("downupharpoonsleftright","\u296F"); symbolunicode.put("rightimply","\u2970"); symbolunicode.put("equalrightarrow","\u2971"); symbolunicode.put("similarrightarrow","\u2972"); symbolunicode.put("leftarrowsimilar","\u2973"); symbolunicode.put("rightarrowsimilar","\u2974"); symbolunicode.put("rightarrowapprox","\u2975"); symbolunicode.put("ltlarr","\u2976"); symbolunicode.put("leftarrowless","\u2977"); symbolunicode.put("gtrarr","\u2978"); symbolunicode.put("subrarr","\u2979"); symbolunicode.put("leftarrowsubset","\u297A"); symbolunicode.put("suplarr","\u297B"); symbolunicode.put("leftfishtail","\u297C"); symbolunicode.put("rightfishtail","\u297D"); symbolunicode.put("upfishtail","\u297E"); symbolunicode.put("downfishtail","\u297F"); symbolunicode.put("rtriltri","\u29CE"); symbolunicode.put("ltrivb","\u29CF"); symbolunicode.put("vbrtri","\u29D0"); symbolunicode.put("lfbowtie","\u29D1"); symbolunicode.put("rfbowtie","\u29D2"); symbolunicode.put("fbowtie","\u29D3"); symbolunicode.put("lftimes","\u29D4"); symbolunicode.put("rftimes","\u29D5"); symbolunicode.put("dualmap","\u29DF"); symbolunicode.put("lrtriangleeq","\u29E1"); symbolunicode.put("eparsl","\u29E3"); symbolunicode.put("smeparsl","\u29E4"); symbolunicode.put("eqvparsl","\u29E5"); symbolunicode.put("gleichstark","\u29E6"); symbolunicode.put("ruledelayed","\u29F4"); symbolunicode.put("veeonwedge","\u2A59"); symbolunicode.put("eqdot","\u2A66"); symbolunicode.put("dotequiv","\u2A67"); symbolunicode.put("equivVert","\u2A68"); symbolunicode.put("equivVvert","\u2A69"); symbolunicode.put("dotsim","\u2A6A"); symbolunicode.put("simrdots","\u2A6B"); symbolunicode.put("simminussim","\u2A6C"); symbolunicode.put("congdot","\u2A6D"); symbolunicode.put("asteq","\u2A6E"); symbolunicode.put("hatapprox","\u2A6F"); symbolunicode.put("approxeqq","\u2A70"); symbolunicode.put("eqqsim","\u2A73"); symbolunicode.put("Coloneq","\u2A74"); symbolunicode.put("eqeq","\u2A75"); symbolunicode.put("eqeqeq","\u2A76"); symbolunicode.put("ddotseq","\u2A77"); symbolunicode.put("equivDD","\u2A78"); symbolunicode.put("ltcir","\u2A79"); symbolunicode.put("gtcir","\u2A7A"); symbolunicode.put("ltquest","\u2A7B"); symbolunicode.put("gtquest","\u2A7C"); symbolunicode.put("leqslant","\u2A7D"); symbolunicode.put("geqslant","\u2A7E"); symbolunicode.put("lesdot","\u2A7F"); symbolunicode.put("gesdot","\u2A80"); symbolunicode.put("lesdoto","\u2A81"); symbolunicode.put("gesdoto","\u2A82"); symbolunicode.put("lesdotor","\u2A83"); symbolunicode.put("gesdotol","\u2A84"); symbolunicode.put("lessapprox","\u2A85"); symbolunicode.put("gtrapprox","\u2A86"); symbolunicode.put("lneq","\u2A87"); symbolunicode.put("gneq","\u2A88"); symbolunicode.put("lnapprox","\u2A89"); symbolunicode.put("gnapprox","\u2A8A"); symbolunicode.put("lesseqqgtr","\u2A8B"); symbolunicode.put("gtreqqless","\u2A8C"); symbolunicode.put("lsime","\u2A8D"); symbolunicode.put("gsime","\u2A8E"); symbolunicode.put("lsimg","\u2A8F"); symbolunicode.put("gsiml","\u2A90"); symbolunicode.put("lgE","\u2A91"); symbolunicode.put("glE","\u2A92"); symbolunicode.put("lesges","\u2A93"); symbolunicode.put("gesles","\u2A94"); symbolunicode.put("eqslantless","\u2A95"); symbolunicode.put("eqslantgtr","\u2A96"); symbolunicode.put("elsdot","\u2A97"); symbolunicode.put("egsdot","\u2A98"); symbolunicode.put("eqqless","\u2A99"); symbolunicode.put("eqqgtr","\u2A9A"); symbolunicode.put("eqqslantless","\u2A9B"); symbolunicode.put("eqqslantgtr","\u2A9C"); symbolunicode.put("simless","\u2A9D"); symbolunicode.put("simgtr","\u2A9E"); symbolunicode.put("simlE","\u2A9F"); symbolunicode.put("simgE","\u2AA0"); symbolunicode.put("Lt","\u2AA1"); symbolunicode.put("Gt","\u2AA2"); symbolunicode.put("partialmeetcontraction","\u2AA3"); symbolunicode.put("glj","\u2AA4"); symbolunicode.put("gla","\u2AA5"); symbolunicode.put("ltcc","\u2AA6"); symbolunicode.put("gtcc","\u2AA7"); symbolunicode.put("lescc","\u2AA8"); symbolunicode.put("gescc","\u2AA9"); symbolunicode.put("smt","\u2AAA"); symbolunicode.put("lat","\u2AAB"); symbolunicode.put("smte","\u2AAC"); symbolunicode.put("late","\u2AAD"); symbolunicode.put("bumpeqq","\u2AAE"); symbolunicode.put("preceq","\u2AAF"); symbolunicode.put("succeq","\u2AB0"); symbolunicode.put("precneq","\u2AB1"); symbolunicode.put("succneq","\u2AB2"); symbolunicode.put("preceqq","\u2AB3"); symbolunicode.put("succeqq","\u2AB4"); symbolunicode.put("precneqq","\u2AB5"); symbolunicode.put("succneqq","\u2AB6"); symbolunicode.put("precapprox","\u2AB7"); symbolunicode.put("succapprox","\u2AB8"); symbolunicode.put("precnapprox","\u2AB9"); symbolunicode.put("succnapprox","\u2ABA"); symbolunicode.put("Prec","\u2ABB"); symbolunicode.put("Succ","\u2ABC"); symbolunicode.put("subsetdot","\u2ABD"); symbolunicode.put("supsetdot","\u2ABE"); symbolunicode.put("subsetplus","\u2ABF"); symbolunicode.put("supsetplus","\u2AC0"); symbolunicode.put("submult","\u2AC1"); symbolunicode.put("supmult","\u2AC2"); symbolunicode.put("subedot","\u2AC3"); symbolunicode.put("supedot","\u2AC4"); symbolunicode.put("subseteqq","\u2AC5"); symbolunicode.put("supseteqq","\u2AC6"); symbolunicode.put("subsim","\u2AC7"); symbolunicode.put("supsim","\u2AC8"); symbolunicode.put("subsetapprox","\u2AC9"); symbolunicode.put("supsetapprox","\u2ACA"); symbolunicode.put("subsetneqq","\u2ACB"); symbolunicode.put("supsetneqq","\u2ACC"); symbolunicode.put("lsqhook","\u2ACD"); symbolunicode.put("rsqhook","\u2ACE"); symbolunicode.put("csub","\u2ACF"); symbolunicode.put("csup","\u2AD0"); symbolunicode.put("csube","\u2AD1"); symbolunicode.put("csupe","\u2AD2"); symbolunicode.put("subsup","\u2AD3"); symbolunicode.put("supsub","\u2AD4"); symbolunicode.put("subsub","\u2AD5"); symbolunicode.put("supsup","\u2AD6"); symbolunicode.put("suphsub","\u2AD7"); symbolunicode.put("supdsub","\u2AD8"); symbolunicode.put("forkv","\u2AD9"); symbolunicode.put("topfork","\u2ADA"); symbolunicode.put("mlcp","\u2ADB"); symbolunicode.put("forks","\u2ADC"); symbolunicode.put("forksnot","\u2ADD"); symbolunicode.put("shortlefttack","\u2ADE"); symbolunicode.put("shortdowntack","\u2ADF"); symbolunicode.put("shortuptack","\u2AE0"); symbolunicode.put("vDdash","\u2AE2"); symbolunicode.put("dashV","\u2AE3"); symbolunicode.put("Dashv","\u2AE4"); symbolunicode.put("DashV","\u2AE5"); symbolunicode.put("varVdash","\u2AE6"); symbolunicode.put("Barv","\u2AE7"); symbolunicode.put("vBar","\u2AE8"); symbolunicode.put("vBarv","\u2AE9"); symbolunicode.put("barV","\u2AEA"); symbolunicode.put("Vbar","\u2AEB"); symbolunicode.put("Not","\u2AEC"); symbolunicode.put("bNot","\u2AED"); symbolunicode.put("revnmid","\u2AEE"); symbolunicode.put("cirmid","\u2AEF"); symbolunicode.put("midcir","\u2AF0"); symbolunicode.put("nhpar","\u2AF2"); symbolunicode.put("parsim","\u2AF3"); symbolunicode.put("lllnest","\u2AF7"); symbolunicode.put("gggnest","\u2AF8"); symbolunicode.put("leqqslant","\u2AF9"); symbolunicode.put("geqqslant","\u2AFA"); symbolunicode.put("circleonleftarrow","\u2B30"); symbolunicode.put("leftthreearrows","\u2B31"); symbolunicode.put("leftarrowonoplus","\u2B32"); symbolunicode.put("longleftsquigarrow","\u2B33"); symbolunicode.put("nvtwoheadleftarrow","\u2B34"); symbolunicode.put("nVtwoheadleftarrow","\u2B35"); symbolunicode.put("twoheadmapsfrom","\u2B36"); symbolunicode.put("twoheadleftdbkarrow","\u2B37"); symbolunicode.put("leftdotarrow","\u2B38"); symbolunicode.put("nvleftarrowtail","\u2B39"); symbolunicode.put("nVleftarrowtail","\u2B3A"); symbolunicode.put("twoheadleftarrowtail","\u2B3B"); symbolunicode.put("nvtwoheadleftarrowtail","\u2B3C"); symbolunicode.put("nVtwoheadleftarrowtail","\u2B3D"); symbolunicode.put("leftarrowx","\u2B3E"); symbolunicode.put("leftcurvedarrow","\u2B3F"); symbolunicode.put("equalleftarrow","\u2B40"); symbolunicode.put("bsimilarleftarrow","\u2B41"); symbolunicode.put("leftarrowbackapprox","\u2B42"); symbolunicode.put("rightarrowgtr","\u2B43"); symbolunicode.put("rightarrowsupset","\u2B44"); symbolunicode.put("LLeftarrow","\u2B45"); symbolunicode.put("RRightarrow","\u2B46"); symbolunicode.put("bsimilarrightarrow","\u2B47"); symbolunicode.put("rightarrowbackapprox","\u2B48"); symbolunicode.put("similarleftarrow","\u2B49"); symbolunicode.put("leftarrowapprox","\u2B4A"); symbolunicode.put("leftarrowbsimilar","\u2B4B"); symbolunicode.put("rightarrowbsimilar","\u2B4C"); */ symbolunicode.put("Alpha","\u0391"); symbolunicode.put("Beta","\u0392"); symbolunicode.put("Gamma","\u0393"); symbolunicode.put("Delta","\u0394"); symbolunicode.put("Epsilon","\u0395"); symbolunicode.put("Zeta","\u0396"); symbolunicode.put("Eta","\u0397"); symbolunicode.put("Theta","\u0398"); symbolunicode.put("Iota","\u0399"); symbolunicode.put("Kappa","\u039A"); symbolunicode.put("Lambda","\u039B"); symbolunicode.put("Mu","\u039C"); symbolunicode.put("Nu","\u039D"); symbolunicode.put("Xi","\u039E"); symbolunicode.put("Omicron","\u039F"); symbolunicode.put("Pi","\u03A0"); symbolunicode.put("Rho","\u03A1"); symbolunicode.put("Sigma","\u03A3"); symbolunicode.put("Tau","\u03A4"); symbolunicode.put("Upsilon","\u03A5"); symbolunicode.put("Phi","\u03A6"); symbolunicode.put("Chi","\u03A7"); symbolunicode.put("Psi","\u03A8"); symbolunicode.put("Omega","\u03A9"); symbolunicode.put("alpha","\u03B1"); symbolunicode.put("beta","\u03B2"); symbolunicode.put("gamma","\u03B3"); symbolunicode.put("delta","\u03B4"); symbolunicode.put("epsilon","\u03B5"); symbolunicode.put("zeta","\u03B6"); symbolunicode.put("eta","\u03B7"); symbolunicode.put("theta","\u03B8"); symbolunicode.put("iota","\u03B9"); symbolunicode.put("kappa","\u03BA"); symbolunicode.put("lambda","\u03BB"); symbolunicode.put("mu","\u03BC"); symbolunicode.put("nu","\u03BD"); symbolunicode.put("xi","\u03BE"); symbolunicode.put("omicron","\u03BF"); symbolunicode.put("pi","\u03C0"); symbolunicode.put("rho","\u03C1"); symbolunicode.put("varsigma","\u03C2"); symbolunicode.put("sigma","\u03C3"); symbolunicode.put("tau","\u03C4"); symbolunicode.put("upsilon","\u03C5"); symbolunicode.put("varphi","\u03C6"); symbolunicode.put("chi","\u03C7"); symbolunicode.put("psi","\u03C8"); symbolunicode.put("omega","\u03C9"); symbolunicode.put("varbeta","\u03D0"); symbolunicode.put("vartheta","\u03D1"); symbolunicode.put("phi","\u03D5"); symbolunicode.put("varpi","\u03D6"); symbolunicode.put("Digamma","\u03DC"); symbolunicode.put("digamma","\u03DD"); symbolunicode.put("varkappa","\u03F0"); symbolunicode.put("varrho","\u03F1"); symbolunicode.put("varTheta","\u03F4"); symbolunicode.put("varepsilon","\u03F5"); symbolunicode.put("matheth","\u00F0"); symbolunicode.put("BbbC","\u2102"); symbolunicode.put("mscrg","\u210A"); symbolunicode.put("mscrH","\u210B"); symbolunicode.put("mfrakH","\u210C"); symbolunicode.put("BbbH","\u210D"); symbolunicode.put("hslash","\u210F"); symbolunicode.put("mscrI","\u2110"); symbolunicode.put("Im","\u2111"); symbolunicode.put("mscrL","\u2112"); symbolunicode.put("ell","\u2113"); symbolunicode.put("BbbN","\u2115"); symbolunicode.put("wp","\u2118"); symbolunicode.put("BbbP","\u2119"); symbolunicode.put("BbbQ","\u211A"); symbolunicode.put("mscrR","\u211B"); symbolunicode.put("Re","\u211C"); symbolunicode.put("BbbR","\u211D"); symbolunicode.put("BbbZ","\u2124"); symbolunicode.put("mfrakZ","\u2128"); symbolunicode.put("turnediota","\u2129"); symbolunicode.put("Angstrom","\u212B"); symbolunicode.put("mscrB","\u212C"); symbolunicode.put("mfrakC","\u212D"); symbolunicode.put("mscre","\u212F"); symbolunicode.put("mscrE","\u2130"); symbolunicode.put("mscrF","\u2131"); symbolunicode.put("mscrM","\u2133"); symbolunicode.put("mscro","\u2134"); symbolunicode.put("aleph","\u2135"); symbolunicode.put("beth","\u2136"); symbolunicode.put("gimel","\u2137"); symbolunicode.put("daleth","\u2138"); symbolunicode.put("Bbbgamma","\u213D"); symbolunicode.put("BbbGamma","\u213E"); symbolunicode.put("BbbPi","\u213F"); symbolunicode.put("partial","\u2202"); symbolunicode.put("nabla","\u2207"); symbolunicode.put("log","log"); symbolunicode.put("ln","ln"); symbolunicode.put("sin","sin"); symbolunicode.put("cos","cos"); symbolunicode.put("tan","tan"); symbolunicode.put("sec","sec"); symbolunicode.put("csc","csc"); symbolunicode.put("cot","cot"); symbolunicode.put("sinh","sinh"); symbolunicode.put("cosh","cosh"); symbolunicode.put("tanh","tanh"); symbolunicode.put("coth","coth"); symbolunicode.put("sech","sech"); symbolunicode.put("csch","csch"); symbolunicode.put("lim","lim"); symbolunicode.put("sqrt","\u221A"); symbolunicode.put("cuberoot","\u221B"); symbolunicode.put("fourthroot","\u221C"); }}