diff --git a/main/inc/lib/asciimath/ASCIIMathML.js b/main/inc/lib/asciimath/ASCIIMathML.js
index 0ddad725b0..24474201ec 100755
--- a/main/inc/lib/asciimath/ASCIIMathML.js
+++ b/main/inc/lib/asciimath/ASCIIMathML.js
@@ -33,6 +33,13 @@ The LaTeXMathML modifications were made by Douglas Woodall, June 2006.
 (for details see header on the LaTeXMathML part in middle of file)
 Extensive clean-up and improvements by Paulo Soares, Oct 2007.
 
+Some modifications from AM.js, version 2.X.X.4 November 2009
+by Mauno Korpelainen (http://korpelainen.net) have been transfered here.
+
+This script has been "assembled" for Chamilo 1.8.7.1 LMS
+by Ivan Tcholakov, July 2010, using some information from
+http://groups.google.com/group/asciimath
+
 This program is free software; you can redistribute it and/or modify
 it under the terms of the GNU Lesser General Public License as published by
 the Free Software Foundation; either version 2.1 of the License, or (at
@@ -349,7 +356,7 @@ var AMsymbols = [
 
 //binary relation symbols
 {input:"!=",  tag:"mo", output:"\u2260", tex:"ne", ttype:CONST},
-{input:":=",  tag:"mo", output:":=",     tex:null, ttype:CONST},
+{input:":=",  tag:"mo", output:":=",     tex:"text{:=}", ttype:CONST},
 {input:"lt",  tag:"mo", output:"<",      tex:null, ttype:CONST},
 {input:"<=",  tag:"mo", output:"\u2264", tex:"le", ttype:CONST},
 {input:"lt=", tag:"mo", output:"\u2264", tex:"leq", ttype:CONST},
@@ -375,9 +382,9 @@ var AMsymbols = [
 {input:"and", tag:"mtext", output:"and", tex:null, ttype:SPACE},
 {input:"or",  tag:"mtext", output:"or",  tex:null, ttype:SPACE},
 {input:"not", tag:"mo", output:"\u00AC", tex:"neg", ttype:CONST},
-{input:"=>",  tag:"mo", output:"\u21D2", tex:"implies", ttype:CONST},
+{input:"=>",  tag:"mo", output:"\u21D2", tex:"Rightarrow", ttype:CONST},
 {input:"if",  tag:"mo", output:"if",     tex:null, ttype:SPACE},
-{input:"<=>", tag:"mo", output:"\u21D4", tex:"iff", ttype:CONST},
+{input:"<=>", tag:"mo", output:"\u21D4", tex:"Leftrightarrow", ttype:CONST},
 {input:"AA",  tag:"mo", output:"\u2200", tex:"forall", ttype:CONST},
 {input:"EE",  tag:"mo", output:"\u2203", tex:"exists", ttype:CONST},
 {input:"_|_", tag:"mo", output:"\u22A5", tex:"bot", ttype:CONST},
@@ -390,14 +397,14 @@ var AMsymbols = [
 {input:")", tag:"mo", output:")", tex:null, ttype:RIGHTBRACKET},
 {input:"[", tag:"mo", output:"[", tex:null, ttype:LEFTBRACKET},
 {input:"]", tag:"mo", output:"]", tex:null, ttype:RIGHTBRACKET},
-{input:"{", tag:"mo", output:"{", tex:null, ttype:LEFTBRACKET},
-{input:"}", tag:"mo", output:"}", tex:null, ttype:RIGHTBRACKET},
+{input:"{", tag:"mo", output:"{", tex:"lbrace", ttype:LEFTBRACKET},
+{input:"}", tag:"mo", output:"}", tex:"rbrace", ttype:RIGHTBRACKET},
 {input:"|", tag:"mo", output:"|", tex:null, ttype:LEFTRIGHT},
 //{input:"||", tag:"mo", output:"||", tex:null, ttype:LEFTRIGHT},
 {input:"(:", tag:"mo", output:"\u2329", tex:"langle", ttype:LEFTBRACKET},
 {input:":)", tag:"mo", output:"\u232A", tex:"rangle", ttype:RIGHTBRACKET},
-{input:"<<", tag:"mo", output:"\u2329", tex:null, ttype:LEFTBRACKET},
-{input:">>", tag:"mo", output:"\u232A", tex:null, ttype:RIGHTBRACKET},
+{input:"<<", tag:"mo", output:"\u2329", tex:"langle", ttype:LEFTBRACKET},
+{input:">>", tag:"mo", output:"\u232A", tex:"rangle", ttype:RIGHTBRACKET},
 {input:"{:", tag:"mo", output:"{:", tex:null, ttype:LEFTBRACKET, invisible:true},
 {input:":}", tag:"mo", output:":}", tex:null, ttype:RIGHTBRACKET, invisible:true},
 
@@ -417,7 +424,7 @@ var AMsymbols = [
 {input:"...",  tag:"mo", output:"...",    tex:"ldots", ttype:CONST},
 {input:":.",  tag:"mo", output:"\u2234",  tex:"therefore", ttype:CONST},
 {input:"/_",  tag:"mo", output:"\u2220",  tex:"angle", ttype:CONST},
-{input:"\\ ",  tag:"mo", output:"\u00A0", tex:null, ttype:CONST},
+{input:"\\ ", tag:"mo", output:"\u00A0", tex:null, ttype:CONST, val:true},
 {input:"quad", tag:"mo", output:"\u00A0\u00A0", tex:null, ttype:CONST},
 {input:"qquad", tag:"mo", output:"\u00A0\u00A0\u00A0\u00A0", tex:null, ttype:CONST},
 {input:"cdots", tag:"mo", output:"\u22EF", tex:null, ttype:CONST},
@@ -427,15 +434,15 @@ var AMsymbols = [
 {input:"square", tag:"mo", output:"\u25A1", tex:null, ttype:CONST},
 {input:"|__", tag:"mo", output:"\u230A",  tex:"lfloor", ttype:CONST},
 {input:"__|", tag:"mo", output:"\u230B",  tex:"rfloor", ttype:CONST},
-{input:"|~", tag:"mo", output:"\u2308",  tex:"lceiling", ttype:CONST},
-{input:"~|", tag:"mo", output:"\u2309",  tex:"rceiling", ttype:CONST},
-{input:"CC",  tag:"mo", output:"\u2102", tex:null, ttype:CONST},
-{input:"NN",  tag:"mo", output:"\u2115", tex:null, ttype:CONST},
-{input:"QQ",  tag:"mo", output:"\u211A", tex:null, ttype:CONST},
-{input:"RR",  tag:"mo", output:"\u211D", tex:null, ttype:CONST},
-{input:"ZZ",  tag:"mo", output:"\u2124", tex:null, ttype:CONST},
-{input:"f",   tag:"mi", output:"f",      tex:null, ttype:UNARY, func:true},
-{input:"g",   tag:"mi", output:"g",      tex:null, ttype:UNARY, func:true},
+{input:"|~", tag:"mo", output:"\u2308", tex:"lceil", ttype:CONST},
+{input:"~|", tag:"mo", output:"\u2309", tex:"rceil", ttype:CONST},
+{input:"CC", tag:"mo", output:"\u2102", tex:"mathbb{C}", ttype:CONST, notexcopy:true},
+{input:"NN", tag:"mo", output:"\u2115", tex:"mathbb{N}", ttype:CONST, notexcopy:true},
+{input:"QQ", tag:"mo", output:"\u211A", tex:"mathbb{Q}", ttype:CONST, notexcopy:true},
+{input:"RR", tag:"mo", output:"\u211D", tex:"mathbb{R}", ttype:CONST, notexcopy:true},
+{input:"ZZ", tag:"mo", output:"\u2124", tex:"mathbb{Z}", ttype:CONST, notexcopy:true},
+//{input:"f", tag:"mi", output:"f", tex:null, ttype:UNARY, func:true, val:true},
+//{input:"g", tag:"mi", output:"g", tex:null, ttype:UNARY, func:true, val:true},
 
 //standard functions
 {input:"lim",  tag:"mo", output:"lim", tex:null, ttype:UNDEROVER},
@@ -503,7 +510,504 @@ AMquote,
 {input:"tt",  tag:"mstyle", atname:"fontfamily", atval:"monospace", output:"tt", tex:null, ttype:UNARY},
 {input:"mathtt", tag:"mstyle", atname:"fontfamily", atval:"monospace", output:"mathtt", tex:null, ttype:UNARY},
 {input:"fr",  tag:"mstyle", atname:"mathvariant", atval:"fraktur", output:"fr", tex:null, ttype:UNARY, codes:AMfrk},
-{input:"mathfrak",  tag:"mstyle", atname:"mathvariant", atval:"fraktur", output:"mathfrak", tex:null, ttype:UNARY, codes:AMfrk}
+{input:"mathfrak",  tag:"mstyle", atname:"mathvariant", atval:"fraktur", output:"mathfrak", tex:null, ttype:UNARY, codes:AMfrk},
+
+// Symbols added by Mauno Korpelainen, November 2009.
+{input:"density",tag:"mstyle",atname:"mathvariant", atval:"mathsize", tex:null, ttype:BINARY},
+{input:"varkappa", tag:"mi", output:"\u03F0", tex:null, ttype:CONST},
+{input:"digamma", tag:"mi", output:"\u03DC", tex:null, ttype:CONST},
+{input:"'", tag:"mo", output:"\u02B9", tex:"hspace{0}{'}", ttype:CONST},
+{input:"''", tag:"mo", output:"\u02BA", tex:"hspace{0}{''}", ttype:CONST},
+{input:"'''", tag:"mo", output:"\u2034", tex:"hspace{0}{'''}", ttype:CONST},
+{input:"''''", tag:"mo", output:"\u2057", tex:"hspace{0}{''''}", ttype:CONST},
+{input:"#", tag:"mo", output:"#", tex:null, ttype:CONST},
+{input:"%", tag:"mo", output:"\u0025", tex:null, ttype:CONST},
+{input:"&", tag:"mo", output:"\u0026", tex:null, ttype:CONST},
+{input:"^", tag:"msup", output:"^", tex:null, ttype:INFIX},
+{input:"~=", tag:"mo", output:"\u2245", tex:"cong", ttype:CONST},
+{input:"aa", tag:"mo", output:"\u00E5", tex:null, ttype:CONST},
+{input:"abs", tag:"mo", output:"abs", tex:null, ttype:UNARY, func:true},
+{input:"acute", tag:"mover", output:"\u00B4", tex:null, ttype:UNARY, acc:true},
+{input:"AE", tag:"mo", output:"\u00C6", tex:null, ttype:CONST},
+{input:"ae", tag:"mo", output:"\u00E6", tex:null, ttype:CONST},
+{input:"amalg", tag:"mo", output:"\u2210", tex:null, ttype:CONST},
+{input:"angle", tag:"mo", output:"\u2222", tex:null, ttype:CONST},
+{input:"approx", tag:"mo", output:"\u2248", tex:null, ttype:CONST},
+{input:"approxeq", tag:"mo", output:"\u224A", tex:null, ttype:CONST},
+{input:"arccos", tag:"mo", output:"arccos", tex:null, ttype:UNARY, func:true},
+{input:"arcsin", tag:"mo", output:"arcsin", tex:null, ttype:UNARY, func:true},
+{input:"arctan", tag:"mo", output:"arctan", tex:null, ttype:UNARY, func:true},
+{input:"arg", tag:"mi", output:"arg", tex:null, ttype:UNARY, func:true},
+{input:"ast", tag:"mo", output:"\u002A", tex:null, ttype:CONST},
+{input:"asymp", tag:"mo", output:"\u224D", tex:null, ttype:CONST},
+{input:"atop", tag:"mfrac", output:"", tex:null, ttype:INFIX},
+{input:"backprime", tag:"mo", output:"\u2035", tex:null, ttype:CONST},
+{input:"backsim", tag:"mo", output:"\u223D", tex:null, ttype:CONST},
+{input:"backsimeq", tag:"mo", output:"\u22CD", tex:null, ttype:CONST},
+{input:"backslash", tag:"mo", output:"\u2216", atval:"1", tex:null, ttype:STRETCHY},
+{input:"barwedge", tag:"mo", output:"\u22BC", tex:null, ttype:CONST},
+{input:"Bbb{A}", tag:"mo", output:"\uD835\uDD38", tex:"Bbb{A}", ttype:CONST},
+{input:"because", tag:"mo", output:"\u2235", tex:null, ttype:CONST},
+{input:"beth", tag:"mo", output:"\u2136", tex:null, ttype:CONST},
+{input:"between", tag:"mo", output:"\u226C", tex:null, ttype:CONST},
+{input:"bigcap", tag:"mo", output:"\u22C2", tex:null, ttype:UNDEROVER},
+{input:"bigcirc", tag:"mo", output:"\u25CB", tex:null, ttype:CONST},
+{input:"bigcup", tag:"mo", output:"\u22C3", tex:null, ttype:UNDEROVER},
+{input:"bigodot", tag:"mo", output:"\u2A00", tex:null, ttype:UNDEROVER},
+{input:"bigoplus", tag:"mo", output:"\u2A01", tex:null, ttype:UNDEROVER},
+{input:"bigotimes", tag:"mo", output:"\u2A02", tex:null, ttype:UNDEROVER},
+{input:"bigsqcap", tag:"mo", output:"\u2A05", tex:null, ttype:UNDEROVER},
+{input:"bigsqcup", tag:"mo", output:"\u2A06", tex:null, ttype:UNDEROVER},
+{input:"bigstar", tag:"mo", output:"\u2605", tex:null, ttype:CONST},
+{input:"bigtriangledown",tag:"mo",output:"\u25BD", tex:null, ttype:CONST},
+{input:"bigtriangleup",tag:"mo",output:"\u25B3", tex:null, ttype:CONST},
+{input:"biguplus", tag:"mo", output:"\u2A04", tex:null, ttype:UNDEROVER},
+{input:"bigwedge", tag:"mo", output:"\u22C0", tex:null, ttype:UNDEROVER},
+{input:"bigwedge", tag:"mo", output:"\u22C0", tex:null, ttype:UNDEROVER},
+{input:"bigvee", tag:"mo", output:"\u22C1", tex:null, ttype:UNDEROVER},
+{input:"blacktriangle", tag:"mo", output:"\u25B4", tex:null, ttype:CONST},
+{input:"blacktriangledown", tag:"mo", output:"\u25BE", tex:null, ttype:CONST},
+{input:"blacktriangleleft", tag:"mo", output:"\u25C0", tex:null, ttype:CONST},
+{input:"blacktriangleright", tag:"mo", output:"\u25B6", tex:null, ttype:CONST},
+{input:"bot", tag:"mo", output:"\u22A5", tex:null, ttype:CONST},
+{input:"bowtie", tag:"mo", output:"\u22C8", tex:null, ttype:CONST},
+{input:"Box", tag:"mo", output:"\u25A1", tex:null, ttype:CONST},
+{input:"boxdot", tag:"mo", output:"\u22A1", tex:null, ttype:CONST},
+{input:"boxminus", tag:"mo", output:"\u229F", tex:null, ttype:CONST},
+{input:"boxplus", tag:"mo", output:"\u229E", tex:null, ttype:CONST},
+{input:"boxtimes", tag:"mo", output:"\u22A0", tex:null, ttype:CONST},
+{input:"breve", tag:"mover", output:"\u02D8", tex:null, ttype:UNARY, acc:true},
+{input:"bullet", tag:"mo", output:"\u2022", tex:null, ttype:CONST},
+{input:"Bumpeq", tag:"mo", output:"\u224E", tex:null, ttype:CONST},
+{input:"bumpeq", tag:"mo", output:"\u224F", tex:null, ttype:CONST},
+{input:"cap", tag:"mo", output:"\u2229", tex:null, ttype:CONST},
+{input:"Cap", tag:"mo", output:"\u22D2", tex:null, ttype:CONST},
+{input:"cdot", tag:"mo", output:"\u22C5", tex:null, ttype:CONST},
+{input:"cdotp", tag:"mo", output:"\u00B7", tex:null, ttype:CONST},
+{input:"check", tag:"mover", output:"\u02C7", tex:null, ttype:UNARY, acc:true},
+{input:"checkmark", tag:"mo", output:"\u2713", tex:null, ttype:CONST},
+{input:"choose", tag:"mfrac", output:"", tex:null, ttype:INFIX},
+{input:"circ", tag:"mo", output:"\u2218", tex:null, ttype:CONST},
+{input:"circeq", tag:"mo", output:"\u2257", tex:null, ttype:CONST},
+{input:"circledast", tag:"mo", output:"\u229B", tex:null, ttype:CONST},
+{input:"circledcirc", tag:"mo", output:"\u229A", tex:null, ttype:CONST},
+{input:"circleddash", tag:"mo", output:"\u229D", tex:null, ttype:CONST},
+{input:"circledR", tag:"mo", output:"\u24C7", tex:null, ttype:CONST},
+{input:"circledS", tag:"mo", output:"\u24C8", tex:null, ttype:CONST},
+{input:"clubsuit", tag:"mo", output:"\u2663", tex:null, ttype:CONST},
+{input:"colon", tag:"mo", output:"\u003A", tex:null, ttype:CONST},
+{input:"complement", tag:"mo", output:"\u2201", tex:null, ttype:CONST},
+{input:"cong", tag:"mo", output:"\u2245", tex:null, ttype:CONST},
+{input:"coprod", tag:"mo", output:"\u2210", tex:null, ttype:UNDEROVER},
+{input:"coth", tag:"mo", output:"coth", tex:null, ttype:UNARY, func:true},
+{input:"cup", tag:"mo", output:"\u222A", tex:null, ttype:CONST},
+{input:"Cup", tag:"mo", output:"\u22D3", tex:null, ttype:CONST},
+{input:"curlyeqprec", tag:"mo", output:"\u22DE", tex:null, ttype:CONST},
+{input:"curlyeqsucc", tag:"mo", output:"\u22DF", tex:null, ttype:CONST},
+{input:"curlywedge", tag:"mo", output:"\u22CF", tex:null, ttype:CONST},
+{input:"curlyvee", tag:"mo", output:"\u22CE", tex:null, ttype:CONST},
+{input:"curvearrowleft", tag:"mo", output:"\u21B6", tex:null, ttype:CONST},
+{input:"curvearrowright", tag:"mo", output:"\u21B7", tex:null, ttype:CONST},
+{input:"dag", tag:"mo", output:"\u2020", tex:null, ttype:CONST},
+{input:"dagger", tag:"mo", output:"\u2020", tex:null, ttype:CONST},
+{input:"daleth", tag:"mo", output:"\u2138", tex:null, ttype:CONST},
+{input:"dashv", tag:"mo", output:"\u22A3", tex:null, ttype:CONST},
+{input:"ddag", tag:"mo", output:"\u2021", tex:null, ttype:CONST},
+{input:"ddagger", tag:"mo", output:"\u2021", tex:null, ttype:CONST},
+{input:"ddots", tag:"mo", output:"\u22F1", tex:null, ttype:CONST},
+{input:"deg", tag:"mi", output:"deg", tex:null, ttype:UNARY, func:true},
+{input:"Diamond", tag:"mo", output:"\u2662", tex:null, ttype:CONST},
+{input:"diamondsuit", tag:"mo", output:"\u2662", tex:null, ttype:CONST},
+{input:"displaystyle",tag:"mstyle",atname:"displaystyle",atval:"true", tex:null, ttype:UNARY},
+{input:"div", tag:"mo", output:"\u00F7", tex:null, ttype:CONST},
+{input:"divide", tag:"mo", output:"-:", tex:null, ttype:DEFINITION},
+{input:"divideontimes", tag:"mo", output:"\u22C7", tex:null, ttype:CONST},
+{input:"doteq", tag:"mo", output:"\u2250", tex:null, ttype:CONST},
+{input:"Doteq", tag:"mo", output:"\u2251", tex:null, ttype:CONST},
+{input:"dotplus", tag:"mo", output:"\u2214", tex:null, ttype:CONST},
+{input:"dots", tag:"mo", output:"\u2026", tex:null, ttype:CONST},
+{input:"doublebarwedge", tag:"mo", output:"\u2A5E", tex:null, ttype:CONST},
+{input:"downarrow", tag:"mo", output:"\u2193", tex:null, ttype:CONST},
+{input:"Downarrow", tag:"mo", output:"\u21D3", tex:null, ttype:CONST},
+{input:"downdownarrows", tag:"mo", output:"\u21CA", tex:null, ttype:CONST},
+{input:"downharpoonleft", tag:"mo", output:"\u21C3", tex:null, ttype:CONST},
+{input:"downharpoonright", tag:"mo", output:"\u21C2", tex:null, ttype:CONST},
+{input:"ell", tag:"mo", output:"\u2113", tex:null, ttype:CONST},
+{input:"emptyset", tag:"mo", output:"\u2205", tex:null, ttype:CONST},
+{input:"eqcirc", tag:"mo", output:"\u2256", tex:null, ttype:CONST},
+{input:"eqsim", tag:"mo", output:"\u2242", tex:null, ttype:CONST},
+{input:"eqslantgtr", tag:"mo", output:"\u2A96", tex:null, ttype:CONST},
+{input:"eqslantless", tag:"mo", output:"\u2A95", tex:null, ttype:CONST},
+{input:"equiv", tag:"mo", output:"\u2261", tex:null, ttype:CONST},
+{input:"exists", tag:"mo", output:"\u2203", tex:null, ttype:CONST},
+{input:"exp", tag:"mi", output:"exp", tex:null, ttype:UNARY, func:true},
+{input:"fallingdotseq", tag:"mo", output:"\u2252", tex:null, ttype:CONST},
+{input:"Finv", tag:"mo", output:"\u2132", tex:null, ttype:CONST},
+{input:"flat", tag:"mo", output:"\u266D", tex:null, ttype:CONST},
+{input:"forall", tag:"mo", output:"\u2200", tex:null, ttype:CONST},
+{input:"frac", tag:"mfrac", output:"/", tex:null, ttype:BINARY},
+{input:"frac12", tag:"mo", output:"\u00BD", tex:null, ttype:CONST},
+{input:"frac13", tag:"mo", output:"\u2153", tex:null, ttype:CONST},
+{input:"frac14", tag:"mo", output:"\u00BC", tex:null, ttype:CONST},
+{input:"frac15", tag:"mo", output:"\u2155", tex:null, ttype:CONST},
+{input:"frac16", tag:"mo", output:"\u2159", tex:null, ttype:CONST},
+{input:"frac18", tag:"mo", output:"\u215B", tex:null, ttype:CONST},
+{input:"frac23", tag:"mo", output:"\u2154", tex:null, ttype:CONST},
+{input:"frac25", tag:"mo", output:"\u2156", tex:null, ttype:CONST},
+{input:"frac34", tag:"mo", output:"\u00BE", tex:null, ttype:CONST},
+{input:"frac35", tag:"mo", output:"\u2157", tex:null, ttype:CONST},
+{input:"frac38", tag:"mo", output:"\u215C", tex:null, ttype:CONST},
+{input:"frac45", tag:"mo", output:"\u2158", tex:null, ttype:CONST},
+{input:"frac56", tag:"mo", output:"\u215A", tex:null, ttype:CONST},
+{input:"frac58", tag:"mo", output:"\u215D", tex:null, ttype:CONST},
+{input:"frac78", tag:"mo", output:"\u215E", tex:null, ttype:CONST},
+{input:"frown", tag:"mo", output:"\u2322", tex:null, ttype:CONST},
+{input:"Game", tag:"mo", output:"\u2141", tex:null, ttype:CONST},
+{input:"ge", tag:"mo", output:"\u2265", tex:null, ttype:CONST},
+{input:"geqq", tag:"mo", output:"\u2267", tex:null, ttype:CONST},
+{input:"geqslant", tag:"mo", output:"\u2265", tex:null, ttype:CONST},
+{input:"gets", tag:"mo", output:"\u2190", tex:null, ttype:CONST},
+{input:"gg", tag:"mo", output:"\u226B", tex:null, ttype:CONST},
+{input:"ggg", tag:"mo", output:"\u22D9", tex:null, ttype:CONST},
+{input:"gimel", tag:"mo", output:"\u2137", tex:null, ttype:CONST},
+{input:"gnapprox", tag:"mo", output:"\u2A8A", tex:null, ttype:CONST},
+{input:"gneq", tag:"mo", output:"\u2A88", tex:null, ttype:CONST},
+{input:"gneqq", tag:"mo", output:"\u2269", tex:null, ttype:CONST},
+{input:"gnsim", tag:"mo", output:"\u22E7", tex:null, ttype:CONST},
+{input:"grave", tag:"mover", output:"\u0060", tex:null, ttype:UNARY, acc:true},
+{input:"gt", tag:"mo", output:"\u003E", tex:null, ttype:CONST},
+{input:"gt=", tag:"mo", output:"\u2265", tex:"geq", ttype:CONST},
+{input:"gtrapprox", tag:"mo", output:"\u2A86", tex:null, ttype:CONST},
+{input:"gtrdot", tag:"mo", output:"\u22D7", tex:null, ttype:CONST},
+{input:"gtreqless", tag:"mo", output:"\u22DB", tex:null, ttype:CONST},
+{input:"gtreqqless", tag:"mo", output:"\u2A8C", tex:null, ttype:CONST},
+{input:"gtrless", tag:"mo", output:"\u2277", tex:null, ttype:CONST},
+{input:"gtrsim", tag:"mo", output:"\u2273", tex:null, ttype:CONST},
+{input:"hbar", tag:"mo", output:"\u210F", tex:null, ttype:CONST},
+{input:"Heart", tag:"mo", output:"\u2661", tex:"heartsuit", ttype:CONST},
+{input:"heartsuit", tag:"mo", output:"\u2661", tex:null, ttype:CONST},
+{input:"hom", tag:"mi", output:"hom", tex:null, ttype:UNARY, func:true},
+{input:"hookleftarrow", tag:"mo", output:"\u21A9", tex:null, ttype:CONST},
+{input:"hookrightarrow", tag:"mo", output:"\u21AA", tex:null, ttype:CONST},
+{input:"hslash", tag:"mo", output:"\u210F", tex:null, ttype:CONST},
+//{input:"i", tag:"mo", output:"\u0131", tex:null, ttype:CONST},
+{input:"iff", tag:"mo", output:"~\\Longleftrightarrow~", tex:null, ttype:DEFINITION},
+{input:"iff", tag:"mo", output:"<=>", tex:null, ttype:DEFINITION},
+{input:"iiiint", tag:"mo", output:"\u2A0C", tex:null, ttype:CONST},
+{input:"iiint", tag:"mo", output:"\u222D", tex:null, ttype:CONST},
+{input:"iint", tag:"mo", output:"\u222C", tex:null, ttype:CONST},
+{input:"Im", tag:"mo", output:"\u2111", tex:null, ttype:CONST},
+{input:"imath", tag:"mo", output:"\uD835\uDEA4", tex:null, ttype:CONST},
+{input:"implies", tag:"mo", output:"\u21D2", tex:null, ttype:LONG},
+{input:"inf", tag:"mo", output:"inf", tex:null, ttype:UNDEROVER},
+{input:"infty", tag:"mo", output:"\u221E", tex:null, ttype:CONST},
+{input:"intercal", tag:"mo", output:"\u22BA", tex:null, ttype:CONST},
+{input:"jmath", tag:"mo", output:"\uD835\uDEA5", tex:null, ttype:CONST},
+{input:"Join", tag:"mo", output:"\u22C8", tex:null, ttype:CONST},
+{input:"ker", tag:"mi", output:"ker", tex:null, ttype:UNARY, func:true},
+//{input:"L", tag:"mo", output:"\u0141", tex:null, ttype:CONST},
+//{input:"l", tag:"mo", output:"\u0142", tex:null, ttype:CONST},
+{input:"land", tag:"mo", output:"\u2227", tex:null, ttype:CONST},
+{input:"langle", tag:"mo", output:"\u2329", atval:"1", tex:null, ttype:STRETCHY},
+{input:"lbrace", tag:"mo", output:"{", atval:"1", tex:null, ttype:STRETCHY},
+{input:"lbrack", tag:"mo", output:"[", tex:"[", ttype:LEFTBRACKET},
+{input:"lceil", tag:"mo", output:"\u2308", atval:"1", tex:null, ttype:STRETCHY},
+{input:"lceiling", tag:"mo", output:"|~", tex:null, ttype:DEFINITION},
+{input:"ldots", tag:"mo", output:"\u2026", tex:null, ttype:CONST},
+{input:"le", tag:"mo", output:"\u2264", tex:null, ttype:CONST},
+{input:"left", tag:"mo", output:"\left", tex:null, ttype:LEFTBRACKET},
+{input:"leftarrow", tag:"mo", output:"\u2190", tex:null, ttype:CONST},
+{input:"Leftarrow", tag:"mo", output:"\u21D0", tex:null, ttype:CONST},
+{input:"leftarrowtail", tag:"mo", output:"\u21A2", tex:null, ttype:CONST},
+{input:"leftharpoondown", tag:"mo", output:"\u21BD", tex:null, ttype:CONST},
+{input:"leftharpoonup", tag:"mo", output:"\u21BC", tex:null, ttype:CONST},
+{input:"leftleftarrows", tag:"mo", output:"\u21C7", tex:null, ttype:CONST},
+{input:"leftrightarrow", tag:"mo", output:"\u2194", tex:null, ttype:CONST},
+{input:"Leftrightarrow", tag:"mo", output:"\u21D4", tex:null, ttype:CONST},
+{input:"leftrightarrows", tag:"mo", output:"\u21C6", tex:null, ttype:CONST},
+{input:"leftrightharpoons", tag:"mo", output:"\u21CB", tex:null, ttype:CONST},
+{input:"leftrightsquigarrow", tag:"mo", output:"\u21AD", tex:null, ttype:CONST},
+{input:"leftthreetimes", tag:"mo", output:"\u22CB", tex:null, ttype:CONST},
+{input:"leq", tag:"mo", output:"\u2264", tex:null, ttype:CONST},
+{input:"leqq", tag:"mo", output:"\u2266", tex:null, ttype:CONST},
+{input:"leqslant", tag:"mo", output:"\u2264", tex:null, ttype:CONST},
+{input:"lessapprox", tag:"mo", output:"\u2A85", tex:null, ttype:CONST},
+{input:"lessdot", tag:"mo", output:"\u22D6", tex:null, ttype:CONST},
+{input:"lesseqgtr", tag:"mo", output:"\u22DA", tex:null, ttype:CONST},
+{input:"lesseqqgtr", tag:"mo", output:"\u2A8B", tex:null, ttype:CONST},
+{input:"lessgtr", tag:"mo", output:"\u2276", tex:null, ttype:CONST},
+{input:"lesssim", tag:"mo", output:"\u2272", tex:null, ttype:CONST},
+{input:"lfloor", tag:"mo", output:"\u230A", atval:"1", tex:null, ttype:STRETCHY},
+{input:"lg", tag:"mi", output:"lg", tex:null, ttype:UNARY, func:true},
+{input:"lhd", tag:"mo", output:"\u22B2", tex:null, ttype:CONST},
+{input:"liminf", tag:"mo", output:"liminf", tex:null, ttype:UNDEROVER},
+{input:"limsup", tag:"mo", output:"limsup", tex:null, ttype:UNDEROVER},
+{input:"ll", tag:"mo", output:"\u226A", tex:null, ttype:CONST},
+{input:"llcorner", tag:"mo", output:"\u231E", tex:null, ttype:CONST},
+{input:"Lleftarrow", tag:"mo", output:"\u21DA", tex:null, ttype:CONST},
+{input:"lll", tag:"mo", output:"\u22D8", tex:null, ttype:CONST},
+{input:"lmoustache", tag:"mo", output:"\u23B0", tex:null, ttype:CONST},
+{input:"lnapprox", tag:"mo", output:"\u2A89", tex:null, ttype:CONST},
+{input:"lneq", tag:"mo", output:"\u2A87", tex:null, ttype:CONST},
+{input:"lneqq", tag:"mo", output:"\u2268", tex:null, ttype:CONST},
+{input:"lnot", tag:"mo", output:"\u00AC", tex:null, ttype:CONST},
+{input:"lnsim", tag:"mo", output:"\u22E6", tex:null, ttype:CONST},
+{input:"longleftarrow", tag:"mo", output:"\u2190", tex:null, ttype:LONG},
+{input:"Longleftarrow", tag:"mo", output:"\u21D0", tex:null, ttype:LONG},
+{input:"longleftrightarrow", tag:"mo", output:"\u2194", tex:null, ttype:LONG},
+{input:"Longleftrightarrow", tag:"mo", output:"\u21D4", tex:null, ttype:LONG},
+{input:"longmapsto", tag:"mo", output:"\u21A6", tex:null, ttype:CONST},
+{input:"longrightarrow", tag:"mo", output:"\u2192", tex:null, ttype:LONG},
+{input:"Longrightarrow", tag:"mo", output:"\u21D2", tex:null, ttype:LONG},
+{input:"looparrowleft", tag:"mo", output:"\u21AB", tex:null, ttype:CONST},
+{input:"looparrowright", tag:"mo", output:"\u21AC", tex:null, ttype:CONST},
+{input:"lor", tag:"mo", output:"\u2228", tex:null, ttype:CONST},
+{input:"lozenge", tag:"mo", output:"\u25CA", tex:null, ttype:CONST},
+{input:"lrcorner", tag:"mo", output:"\u231F", tex:null, ttype:CONST},
+{input:"Lsh", tag:"mo", output:"\u21B0", tex:null, ttype:CONST},
+{input:"-lt", tag:"mo", output:"\u227A", tex:null, ttype:CONST},
+{input:"ltimes", tag:"mo", output:"\u22C9", tex:null, ttype:CONST},
+{input:"maltese", tag:"mo", output:"\u2720", tex:null, ttype:CONST},
+{input:"mapsto", tag:"mo", output:"\u21A6", tex:null, ttype:CONST},
+{input:"mathit", tag:"mstyle", atname:"mathvariant", atval:"italic", tex:null, ttype:UNARY},
+{input:"mathrm", tag:"mtext", output:"text", tex:null, ttype:TEXT},
+{input:"mathsf", tag:"mstyle", atname:"fontfamily", atval:"sans-serif", output:"mathsf", tex:null, ttype:UNARY},
+{input:"measuredangle", tag:"mo", output:"\u2221", tex:null, ttype:CONST},
+{input:"mho", tag:"mo", output:"\u2127", tex:null, ttype:CONST},
+{input:"mid", tag:"mo", output:"\u2223", atval:"1", tex:null, ttype:STRETCHY},
+{input:"models", tag:"mo", output:"\u22A8", tex:null, ttype:CONST},
+{input:"mp", tag:"mo", output:"\u2213", tex:null, ttype:CONST},
+{input:"multimap", tag:"mo", output:"\u22B8", tex:null, ttype:CONST},
+{input:"nabla", tag:"mo", output:"\u2207", tex:null, ttype:CONST},
+{input:"natural", tag:"mo", output:"\u266E", tex:null, ttype:CONST},
+{input:"ncong", tag:"mo", output:"\u2247", tex:null, ttype:CONST},
+{input:"ne", tag:"mo", output:"\u2260", tex:null, ttype:CONST},
+{input:"nearrow", tag:"mo", output:"\u2197", tex:null, ttype:CONST},
+{input:"neg", tag:"mo", output:"\u00AC", tex:null, ttype:CONST},
+{input:"neq", tag:"mo", output:"\u2260", tex:null, ttype:CONST},
+{input:"nexists", tag:"mo", output:"\u2204", tex:null, ttype:CONST},
+{input:"ngeq", tag:"mo", output:"\u2271", tex:null, ttype:CONST},
+{input:"ngtr", tag:"mo", output:"\u226F", tex:null, ttype:CONST},
+{input:"ni", tag:"mo", output:"\u220B", tex:null, ttype:CONST},
+{input:"nleftarrow", tag:"mo", output:"\u219A", tex:null, ttype:CONST},
+{input:"nLeftarrow", tag:"mo", output:"\u21CD", tex:null, ttype:CONST},
+{input:"nleftrightarrow", tag:"mo", output:"\u21AE", tex:null, ttype:CONST},
+{input:"nLeftrightarrow", tag:"mo", output:"\u21CE", tex:null, ttype:CONST},
+{input:"nleq", tag:"mo", output:"\u2270", tex:null, ttype:CONST},
+{input:"nless", tag:"mo", output:"\u226E", tex:null, ttype:CONST},
+{input:"nmid", tag:"mo", output:"\u2224", tex:null, ttype:CONST},
+{input:"not\\leq", tag:"mo", output:"\u2270", tex:null, ttype:CONST},
+{input:"not<", tag:"mo", output:"\u226E", tex:"not<", ttype:CONST},
+{input:"not=", tag:"mo", output:"\u2260", tex:"not=", ttype:CONST},
+{input:"not>", tag:"mo", output:"\u226F", tex:"not>", ttype:CONST},
+{input:"notexist", tag:"mo", output:"\u2204", tex:"not\\exists", ttype:CONST},
+{input:"notgeq", tag:"mo", output:"\u2271", tex:"not\\geq", ttype:CONST},
+{input:"notin", tag:"mo", output:"\u2209", tex:null, ttype:CONST},
+{input:"notleq", tag:"mo", output:"\u2270", tex:"not\\leq", ttype:CONST},
+{input:"notni", tag:"mo", output:"\u220C", tex:"not\\ni", ttype:CONST},
+{input:"notsubset", tag:"mo", output:"\u2284", tex:"not\\subset", ttype:CONST},
+{input:"notsubseteq", tag:"mo", output:"\u2288", tex:"not\\subseteq", ttype:CONST},
+{input:"notsupset", tag:"mo", output:"\u2285", tex:"not\\supset", ttype:CONST},
+{input:"notsupseteq", tag:"mo", output:"\u2289", tex:"not\\supseteq", ttype:CONST},
+{input:"nparallel", tag:"mo", output:"\u2226", tex:null, ttype:CONST},
+{input:"nprec", tag:"mo", output:"\u2280", tex:null, ttype:CONST},
+{input:"nrightarrow", tag:"mo", output:"\u219B", tex:null, ttype:CONST},
+{input:"nRightarrow", tag:"mo", output:"\u21CF", tex:null, ttype:CONST},
+{input:"nsim", tag:"mo", output:"\u2241", tex:null, ttype:CONST},
+{input:"nsubseteq", tag:"mo", output:"\u2288", tex:null, ttype:CONST},
+{input:"nsucc", tag:"mo", output:"\u2281", tex:null, ttype:CONST},
+{input:"nsupseteq", tag:"mo", output:"\u2289", tex:null, ttype:CONST},
+{input:"ntriangleleft", tag:"mo", output:"\u22EA", tex:null, ttype:CONST},
+{input:"ntrianglelefteq", tag:"mo", output:"\u22EC", tex:null, ttype:CONST},
+{input:"ntriangleright", tag:"mo", output:"\u22EB", tex:null, ttype:CONST},
+{input:"ntrianglerighteq", tag:"mo", output:"\u22ED", tex:null, ttype:CONST},
+{input:"nwarrow", tag:"mo", output:"\u2196", tex:null, ttype:CONST},
+{input:"nvdash", tag:"mo", output:"\u22AC", tex:null, ttype:CONST},
+{input:"nvDash", tag:"mo", output:"\u22AD", tex:null, ttype:CONST},
+{input:"nVdash", tag:"mo", output:"\u22AE", tex:null, ttype:CONST},
+{input:"nVDash", tag:"mo", output:"\u22AF", tex:null, ttype:CONST},
+//{input:"O", tag:"mo", output:"\u00D8", tex:null, ttype:CONST},
+//{input:"o", tag:"mo", output:"\u00F8", tex:null, ttype:CONST},
+{input:"odot", tag:"mo", output:"\u2299", tex:null, ttype:CONST},
+{input:"OE", tag:"mo", output:"\u0152", tex:null, ttype:CONST},
+{input:"oe", tag:"mo", output:"\u0153", tex:null, ttype:CONST},
+{input:"ominus", tag:"mo", output:"\u2296", tex:null, ttype:CONST},
+{input:"oplus", tag:"mo", output:"\u2295", tex:null, ttype:CONST},
+{input:"oslash", tag:"mo", output:"\u2298", tex:null, ttype:CONST},
+{input:"otimes", tag:"mo", output:"\u2297", tex:null, ttype:CONST},
+{input:"overbrace", tag:"mover", output:"\u23B4", tex:null, ttype:UNARY, acc:true},
+{input:"overleftarrow",tag:"mover", output:"\u20D6", tex:null, ttype:UNARY, acc:true},
+{input:"overleftrightarrow", tag:"mo", output:"\u20E1", tex:null, ttype:CONST},
+{input:"overline", tag:"mover", output:"\u00AF", tex:null, ttype:UNARY, acc:true},
+{input:"owns", tag:"mo", output:"\u220B", tex:"ni", ttype:CONST},
+{input:"parallel", tag:"mo", output:"\u2225", atval:"1", tex:null, ttype:STRETCHY},
+{input:"partial", tag:"mo", output:"\u2202", tex:null, ttype:CONST},
+{input:"perp", tag:"mo", output:"\u22A5", tex:null, ttype:CONST},
+{input:"pitchfork", tag:"mo", output:"\u22D4", tex:null, ttype:CONST},
+{input:"pm", tag:"mo", output:"\u00B1", tex:null, ttype:CONST},
+{input:"Pr", tag:"mi", output:"Pr", tex:null, ttype:UNARY, func:true},
+{input:"prec", tag:"mo", output:"\u227A", tex:null, ttype:CONST},
+{input:"precapprox", tag:"mo", output:"\u2AB7", tex:null, ttype:CONST},
+{input:"preccurlyeq", tag:"mo", output:"\u227C", tex:null, ttype:CONST},
+{input:"preceq", tag:"mo", output:"\u227C", tex:null, ttype:CONST},
+{input:"precnapprox", tag:"mo", output:"\u2AB9", tex:null, ttype:CONST},
+{input:"precneqq", tag:"mo", output:"\u2AB5", tex:null, ttype:CONST},
+{input:"precnsim", tag:"mo", output:"\u22E8", tex:null, ttype:CONST},
+{input:"precsim", tag:"mo", output:"\u227E", tex:null, ttype:CONST},
+{input:"prime", tag:"mo", output:"\u2032", tex:null, ttype:CONST},
+{input:"prod", tag:"mo", output:"\u220F", tex:null, ttype:UNDEROVER},
+{input:"prop", tag:"mo", output:"\u221D", tex:"propto", ttype:CONST},
+{input:"propto", tag:"mo", output:"\u221D", tex:null, ttype:CONST},
+{input:"rangle",tag:"mo",output:"\u232A", rtag:"mi",atval:"1", tex:"rangle", ttype:STRETCHY},
+{input:"rbrace",tag:"mo",output:"}", rtag:"mi",atval:"1", tex:"rbrace", ttype:STRETCHY},
+{input:"rbrack",tag:"mo",output:"]", tex:"]", ttype:RIGHTBRACKET},
+{input:"rceil", tag:"mo",output:"\u2309", rtag:"mi",atval:"1", tex:"rceil", ttype:STRETCHY},
+{input:"rceiling", tag:"mo", output:"~|", tex:null, ttype:DEFINITION},
+{input:"Re", tag:"mo", output:"\u211C", tex:null, ttype:CONST},
+{input:"rfloor",tag:"mo",output:"\u230B", rtag:"mi",atval:"1", tex:"rfloor", ttype:STRETCHY},
+{input:"rhd", tag:"mo", output:"\u22B3", tex:null, ttype:CONST},
+{input:"right", tag:"mo", output:"\right", tex:null, ttype:RIGHTBRACKET},
+{input:"rightarrow", tag:"mo", output:"\u2192", tex:null, ttype:CONST},
+{input:"Rightarrow", tag:"mo", output:"\u21D2", tex:null, ttype:CONST},
+{input:"rightarrowtail", tag:"mo", output:"\u21A3", tex:null, ttype:CONST},
+{input:"rightharpoondown", tag:"mo", output:"\u21C1", tex:null, ttype:CONST},
+{input:"rightharpoonup", tag:"mo", output:"\u21C0", tex:null, ttype:CONST},
+{input:"rightleftarrows", tag:"mo", output:"\u21C4", tex:null, ttype:CONST},
+{input:"rightleftharpoons", tag:"mo", output:"\u21CC", tex:null, ttype:CONST},
+{input:"rightrightarrows", tag:"mo", output:"\u21C9", tex:null, ttype:CONST},
+{input:"rightsquigarrow", tag:"mo", output:"\u21DD", tex:null, ttype:CONST},
+{input:"rightthreetimes", tag:"mo", output:"\u22CC", tex:null, ttype:CONST},
+{input:"risingdotseq", tag:"mo", output:"\u2253", tex:null, ttype:CONST},
+{input:"rmoustache", tag:"mo", output:"\u23B1", tex:null, ttype:CONST},
+{input:"Rrightarrow", tag:"mo", output:"\u21DB", tex:null, ttype:CONST},
+{input:"Rsh", tag:"mo", output:"\u21B1", tex:null, ttype:CONST},
+{input:"rtimes", tag:"mo", output:"\u22CA", tex:null, ttype:CONST},
+//{input:"S", tag:"mo", output:"\u00A7", tex:null, ttype:CONST},
+{input:"s0s", tag:"mo", output:"\u200B", tex:"!", ttype:CONST},
+{input:"s1s", tag:"mo", output:"\u200A", tex:"hspace{1}", ttype:CONST},
+{input:"s2s", tag:"mo", output:"\u2009", tex:"hspace{2}", ttype:CONST},
+{input:"s3s", tag:"mo", output:"\u2002", tex:"hspace{5}", ttype:CONST},
+{input:"s4s", tag:"mo", output:"\u2003", tex:"hspace{10}", ttype:CONST},
+{input:"scriptscriptstyle",tag:"mstyle",atname:"scriptlevel",atval:"2", tex:null, ttype:UNARY},
+{input:"scriptstyle",tag:"mstyle",atname:"scriptlevel",atval:"1", tex:null, ttype:UNARY},
+{input:"searrow", tag:"mo", output:"\u2198", tex:null, ttype:CONST},
+{input:"setminus", tag:"mo", output:"\\", tex:null, ttype:CONST},
+{input:"sharp", tag:"mo", output:"\u266F", tex:null, ttype:CONST},
+{input:"sim", tag:"mo", output:"\u223C", tex:null, ttype:CONST},
+{input:"simeq", tag:"mo", output:"\u2243", tex:null, ttype:CONST},
+{input:"sinh", tag:"mo", output:"sinh", tex:null, ttype:UNARY, func:true},
+{input:"slash", tag:"mo", output:"\u2215", tex:null, ttype:CONST},
+{input:"smallint", tag:"mo", output:"\u222B", tex:null, ttype:CONST},
+{input:"smallsetminus", tag:"mo", output:"\u2216", tex:null, ttype:CONST},
+{input:"smile", tag:"mo", output:"\u2323", tex:null, ttype:CONST},
+{input:"spadesuit", tag:"mo", output:"\u2660", tex:null, ttype:CONST},
+{input:"sphericalangle", tag:"mo", output:"\u2222", tex:null, ttype:CONST},
+{input:"sqcap", tag:"mo", output:"\u2293", tex:null, ttype:CONST},
+{input:"sqcup", tag:"mo", output:"\u2294", tex:null, ttype:CONST},
+{input:"sqsubset", tag:"mo", output:"\u228F", tex:null, ttype:CONST},//MimeTex bug
+{input:"sqsubseteq", tag:"mo", output:"\u2291", tex:null, ttype:CONST},
+{input:"sqsupset", tag:"mo", output:"\u2290", tex:null, ttype:CONST},//MimeTex bug
+{input:"sqsupseteq", tag:"mo", output:"\u2292", tex:null, ttype:CONST},
+{input:"ss", tag:"mo", output:"\u00DF", tex:null, ttype:CONST},
+{input:"stackrel", tag:"mover", output:"stackrel", tex:null, ttype:BINARY},
+{input:"star", tag:"mo", output:"\u22C6", tex:null, ttype:CONST},
+{input:"subset", tag:"mo", output:"\u2282", tex:null, ttype:CONST},
+{input:"Subset", tag:"mo", output:"\u22D0", tex:null, ttype:CONST},
+{input:"subseteq", tag:"mo", output:"\u2286", tex:null, ttype:CONST},
+{input:"subseteqq", tag:"mo", output:"\u2AC5", tex:null, ttype:CONST},
+{input:"subsetneq", tag:"mo", output:"\u228A", tex:null, ttype:CONST},
+{input:"subsetneqq", tag:"mo", output:"\u2ACB", tex:null, ttype:CONST},
+{input:"succ", tag:"mo", output:"\u227B", tex:null, ttype:CONST},
+{input:"succapprox", tag:"mo", output:"\u2AB8", tex:null, ttype:CONST},
+{input:"succcurlyeq", tag:"mo", output:"\u227D", tex:null, ttype:CONST},
+{input:"succeq", tag:"mo", output:"\u227D", tex:null, ttype:CONST},
+{input:"succnapprox", tag:"mo", output:"\u2ABA", tex:null, ttype:CONST},
+{input:"succneqq", tag:"mo", output:"\u2AB6", tex:null, ttype:CONST},
+{input:"succnsim", tag:"mo", output:"\u22E9", tex:null, ttype:CONST},
+{input:"succsim", tag:"mo", output:"\u227F", tex:null, ttype:CONST},
+{input:"supset", tag:"mo", output:"\u2283", tex:null, ttype:CONST},
+{input:"Supset", tag:"mo", output:"\u22D1", tex:null, ttype:CONST},
+{input:"supseteq", tag:"mo", output:"\u2287", tex:null, ttype:CONST},
+{input:"supseteqq", tag:"mo", output:"\u2AC6", tex:null, ttype:CONST},
+{input:"supsetneq", tag:"mo", output:"\u228B", tex:null, ttype:CONST},
+{input:"supsetneqq", tag:"mo", output:"\u2ACC", tex:null, ttype:CONST},
+{input:"surd", tag:"mo", output:"sqrt", tex:null, ttype:DEFINITION},
+{input:"swarrow", tag:"mo", output:"\u2199", tex:null, ttype:CONST},
+
+{input:"textasciicircum", tag:"mo", output:"\u005E", tex:null, ttype:CONST},
+{input:"textasciitilde", tag:"mo", output:"\u007E", tex:null, ttype:CONST},
+{input:"textbf", tag:"mstyle", atname:"mathvariant", atval:"bold", tex:null, ttype:UNARY},
+{input:"textcopyright", tag:"mo", output:"\u00A9", tex:null, ttype:CONST},
+{input:"textdegree", tag:"mo", output:"\u00B0", tex:null, ttype:CONST},
+{input:"textdollar", tag:"mo", output:"\u0024", tex:null, ttype:CONST},
+{input:"textit", tag:"mstyle", atname:"mathvariant", atval:"italic", tex:null, ttype:UNARY},
+{input:"textonehalf", tag:"mo", output:"\u00BD", tex:null, ttype:CONST},
+{input:"textonequarter", tag:"mo", output:"\u00BC", tex:null, ttype:CONST},
+{input:"textordfeminine", tag:"mo", output:"\u00AA", tex:null, ttype:CONST},
+{input:"textordmasculine", tag:"mo", output:"\u00BA", tex:null, ttype:CONST},
+{input:"textregistered", tag:"mo", output:"\u00AE", tex:null, ttype:CONST},
+{input:"textrm", tag:"mstyle", output:"\\mathrm", tex:null, ttype: DEFINITION},
+{input:"textstyle",tag:"mstyle",atname:"displaystyle",atval:"false", tex:null, ttype:UNARY},
+{input:"textthreequarters", tag:"mo", output:"\u00BE", tex:null, ttype:CONST},
+{input:"texttrademark", tag:"mo", output:"\u2122", tex:null, ttype:CONST},
+{input:"texttt", tag:"mstyle", atname:"mathvariant", atval:"monospace", tex:null, ttype:UNARY},
+{input:"therefore", tag:"mo", output:"\u2234", tex:null, ttype:CONST},
+{input:"thickapprox", tag:"mo", output:"\u2248", tex:null, ttype:CONST},
+{input:"thicksim", tag:"mo", output:"\u223C", tex:null, ttype:CONST},
+{input:"tilde", tag:"mover", output:"~", tex:null, ttype:UNARY, acc:true},
+{input:"times", tag:"mo", output:"\u00D7", tex:null, ttype:CONST},
+{input:"to", tag:"mo", output:"\u2192", tex:null, ttype:CONST},
+{input:"top", tag:"mo", output:"\u22A4", tex:null, ttype:CONST},
+{input:"triangle", tag:"mo", output:"\u25B3", tex:null, ttype:CONST},
+{input:"triangledown", tag:"mo", output:"\u25BF", tex:null, ttype:CONST},
+{input:"triangleleft",tag:"mo", output:"\u22B2", tex:null, ttype:CONST},
+{input:"trianglelefteq", tag:"mo", output:"\u22B4", tex:null, ttype:CONST},
+{input:"triangleq", tag:"mo", output:"\u225C", tex:null, ttype:CONST},
+{input:"triangleright",tag:"mo",output:"\u22B3", tex:null, ttype:CONST},
+{input:"trianglerighteq", tag:"mo", output:"\u22B5", tex:null, ttype:CONST},
+{input:"twoheadleftarrow", tag:"mo", output:"\u219E", tex:null, ttype:CONST},
+{input:"twoheadrightarrow", tag:"mo", output:"\u21A0", tex:null, ttype:CONST},
+{input:"ulcorner", tag:"mo", output:"\u231C", tex:null, ttype:CONST},
+{input:"underbrace", tag:"munder", output:"\u23B5", tex:null, ttype:UNARY, acc:true},
+{input:"underleftarrow", tag:"mo", output:"\u20EE", tex:null, ttype:CONST},
+{input:"underline", tag:"munder", output:"\u00AF", tex:null, ttype:UNARY, acc:true},
+{input:"underrightarrow", tag:"mo", output:"\u20EF", tex:null, ttype:CONST},
+{input:"unlhd", tag:"mo", output:"\u22B4", tex:null, ttype:CONST},
+{input:"unrhd", tag:"mo", output:"\u22B5", tex:null, ttype:CONST},
+{input:"uparrow", tag:"mo", output:"\u2191", tex:null, ttype:CONST},
+{input:"Uparrow", tag:"mo", output:"\u21D1", tex:null, ttype:CONST},
+{input:"updownarrow", tag:"mo", output:"\u2195", tex:null, ttype:CONST},
+{input:"Updownarrow", tag:"mo", output:"\u21D5", tex:null, ttype:CONST},
+{input:"upharpoonleft", tag:"mo", output:"\u21BF", tex:null, ttype:CONST},
+{input:"upharpoonright", tag:"mo", output:"\u21BE", tex:null, ttype:CONST},
+{input:"uplus", tag:"mo", output:"\u228E", tex:null, ttype:CONST},
+{input:"Upsilon", tag:"mo", output:"\u03A5", tex:null, ttype:CONST},
+{input:"upuparrows", tag:"mo", output:"\u21C8", tex:null, ttype:CONST},
+{input:"urcorner", tag:"mo", output:"\u231D", tex:null, ttype:CONST},
+
+{input:"varnothing", tag:"mo", output:"\u2205", tex:null, ttype:CONST},
+{input:"varpi", tag:"mi", output:"\u03D6", tex:null, ttype:CONST},
+{input:"varpropto", tag:"mo", output:"\u221D", tex:null, ttype:CONST},
+{input:"varrho", tag:"mi", output:"\u03F1", tex:null, ttype:CONST},
+{input:"varsigma", tag:"mi", output:"\u03C2", tex:null, ttype:CONST},
+{input:"vartriangle", tag:"mo", output:"\u22B5", tex:null, ttype:CONST},
+{input:"vartriangleleft", tag:"mo", output:"\u22B2", tex:null, ttype:CONST},
+{input:"vartriangleright", tag:"mo", output:"\u22B3", tex:null, ttype:CONST},
+{input:"vdash", tag:"mo", output:"\u22A2", tex:null, ttype:CONST},
+{input:"vDash", tag:"mo", output:"\u22A8", tex:null, ttype:CONST},
+{input:"Vdash", tag:"mo", output:"\u22A9", tex:null, ttype:CONST},
+{input:"wedge", tag:"mo", output:"\u2227", tex:null, ttype:CONST},
+{input:"vee", tag:"mo", output:"\u2228", tex:null, ttype:CONST},
+{input:"veebar", tag:"mo", output:"\u22BB", text:null, ttype:CONST},
+{input:"vert", tag:"mo", output:"\u007C", atval:"1", tex:null, ttype:STRETCHY},
+{input:"Vert", tag:"mo", output:"\u2016", atval:"1", tex:null, ttype:STRETCHY},
+{input:"widehat", tag:"mover", output:"\u0302", tex:null, ttype:UNARY, acc:true},
+{input:"widetilde", tag:"mover", output:"\u02DC", tex:null, ttype:UNARY, acc:true},
+{input:"wp", tag:"mo", output:"\u2118", tex:null, ttype:CONST},
+{input:"wr", tag:"mo", output:"\u2240", tex:null, ttype:CONST},
+{input:"Vvdash", tag:"mo", output:"\u22AA", tex:null, ttype:CONST},
+{input:"yen", tag:"mo", output:"\u00A5", tex:null, ttype:CONST},
+{input:"zeta", tag:"mi", output:"\u03B6", tex:null, ttype:CONST}
 ];
 
 function compareNames(s1,s2) {
@@ -1483,6 +1987,9 @@ Content between $...$ and $$...$$ is converted by this part of the file
 // Commented out by DRW so that " prints literally in equations
 // LMquote = {input:"\"",	 tag:"mtext", output:"mbox", ttype:TEXT};
 
+var LMcal = AMcal;
+var LMfrk = AMfrk;
+var LMbbb = AMbbb;
 var LMsymbols = [
 //Greek letters
 {input:"\\alpha",	tag:"mi", output:"\u03B1", ttype:CONST},
@@ -1859,9 +2366,268 @@ var LMsymbols = [
 {input:"\\mathtt", tag:"mstyle", atname:"mathvariant", atval:"monospace", ttype:UNARY},
 {input:"\\texttt", tag:"mstyle", atname:"mathvariant", atval:"monospace", ttype:UNARY},
 {input:"\\mathsf", tag:"mstyle", atname:"mathvariant", atval:"sans-serif", ttype:UNARY},
-{input:"\\mathbb", tag:"mstyle", atname:"mathvariant", atval:"double-struck", ttype:UNARY, codes:AMbbb},
-{input:"\\mathcal",tag:"mstyle", atname:"mathvariant", atval:"script", ttype:UNARY, codes:AMcal},
-{input:"\\mathfrak",tag:"mstyle",atname:"mathvariant", atval:"fraktur",ttype:UNARY, codes:AMfrk}
+{input:"\\mathbb", tag:"mstyle", atname:"mathvariant", atval:"double-struck", ttype:UNARY, codes:LMbbb},
+{input:"\\mathcal",tag:"mstyle", atname:"mathvariant", atval:"script", ttype:UNARY, codes:LMcal},
+{input:"\\mathfrak",tag:"mstyle",atname:"mathvariant", atval:"fraktur",ttype:UNARY, codes:LMfrk},
+
+// Symbols added by Mauno Korpelainen, November 2009.
+{input:"\\density",tag:"mstyle",atname:"mathvariant", atval:"mathsize", ttype:BINARY},
+{input:"\\#", tag:"mo", output:"\u0023", ttype:CONST},
+{input:"\\%", tag:"mo", output:"\u0025", ttype:CONST},
+{input:"\\&", tag:"mo", output:"\u0026", ttype:CONST},
+{input:"\\AA", tag:"mo", output:"\u00C5", ttype:CONST},
+{input:"\\aa", tag:"mo", output:"\u00E5", ttype:CONST},
+{input:"\\AE", tag:"mo", output:"\u00C6", ttype:CONST},
+{input:"\\ae", tag:"mo", output:"\u00E6", ttype:CONST},
+{input:"\\approxeq", tag:"mo", output:"\u224A", ttype:CONST},
+{input:"\\backprime", tag:"mo", output:"\u2035", ttype:CONST},
+{input:"\\backsim", tag:"mo", output:"\u223D", ttype:CONST},
+{input:"\\backsimeq", tag:"mo", output:"\u22CD", ttype:CONST},
+{input:"\\barwedge", tag:"mo", output:"\u22BC", ttype:CONST},
+{input:"\\Bbb{A}", tag:"mo", output:"\uD835\uDD38", ttype:CONST},
+{input:"\\because", tag:"mo", output:"\u2235", ttype:CONST},
+{input:"\\beth", tag:"mo", output:"\u2136", ttype:CONST},
+{input:"\\between", tag:"mo", output:"\u226C", ttype:CONST},
+{input:"\\bigcup", tag:"mo", output:"\u22C3", ttype:UNDEROVER},
+{input:"\\bigodot", tag:"mo", output:"\u2A00", ttype:UNDEROVER},
+{input:"\\bigstar", tag:"mo", output:"\u2605", ttype:CONST},
+{input:"\\blacktriangle", tag:"mo", output:"\u25B4", ttype:CONST},
+{input:"\\blacktriangledown", tag:"mo", output:"\u25BE", ttype:CONST},
+{input:"\\blacktriangleleft", tag:"mo", output:"\u25C0", ttype:CONST},
+{input:"\\blacktriangleright", tag:"mo", output:"\u25B6", ttype:CONST},
+{input:"\\boxdot", tag:"mo", output:"\u22A1", ttype:CONST},
+{input:"\\boxminus", tag:"mo", output:"\u229F", ttype:CONST},
+{input:"\\boxplus", tag:"mo", output:"\u229E", ttype:CONST},
+{input:"\\boxtimes", tag:"mo", output:"\u22A0", ttype:CONST},
+{input:"\\Bumpeq", tag:"mo", output:"\u224E", ttype:CONST},
+{input:"\\bumpeq", tag:"mo", output:"\u224F", ttype:CONST},
+{input:"\\Cap", tag:"mo", output:"\u22D2", ttype:CONST},
+{input:"\\cdotp", tag:"mo", output:"\u00B7", ttype:CONST},
+{input:"\\checkmark", tag:"mo", output:"\u2713", ttype:CONST},
+
+{input:"\\circeq", tag:"mo", output:"\u2257", ttype:CONST},
+{input:"\\circledast", tag:"mo", output:"\u229B", ttype:CONST},
+{input:"\\circledcirc", tag:"mo", output:"\u229A", ttype:CONST},
+{input:"\\circleddash", tag:"mo", output:"\u229D", ttype:CONST},
+{input:"\\circledR", tag:"mo", output:"\u24C7", ttype:CONST},
+{input:"\\circledS", tag:"mo", output:"\u24C8", ttype:CONST},
+{input:"\\clubsuit", tag:"mo", output:"\u2663", ttype:CONST},
+{input:"\\colon", tag:"mo", output:"\u003A", ttype:CONST},
+{input:"\\complement", tag:"mo", output:"\u2201", ttype:CONST},
+{input:"\\Cup", tag:"mo", output:"\u22D3", ttype:CONST},
+{input:"\\curlyeqprec", tag:"mo", output:"\u22DE", ttype:CONST},
+{input:"\\curlyeqsucc", tag:"mo", output:"\u22DF", ttype:CONST},
+{input:"\\curlywedge", tag:"mo", output:"\u22CF", ttype:CONST},
+{input:"\\curlyvee", tag:"mo", output:"\u22CE", ttype:CONST},
+{input:"\\curvearrowleft", tag:"mo", output:"\u21B6", ttype:CONST},
+{input:"\\curvearrowright", tag:"mo", output:"\u21B7", ttype:CONST},
+{input:"\\daleth", tag:"mo", output:"\u2138", ttype:CONST},
+{input:"\\diamondsuit", tag:"mo", output:"\u2662", ttype:CONST},
+
+{input:"\\divideontimes", tag:"mo", output:"\u22C7", ttype:CONST},
+{input:"\\Doteq", tag:"mo", output:"\u2251", ttype:CONST},
+{input:"\\dotplus", tag:"mo", output:"\u2214", ttype:CONST},
+{input:"\\dots", tag:"mo", output:"\u2026", ttype:CONST},
+{input:"\\doublebarwedge", tag:"mo", output:"\u2A5E", ttype:CONST},
+
+{input:"\\downdownarrows", tag:"mo", output:"\u21CA", ttype:CONST},
+{input:"\\downharpoonleft", tag:"mo", output:"\u21C3", ttype:CONST},
+{input:"\\downharpoonright", tag:"mo", output:"\u21C2", ttype:CONST},
+{input:"\\eqcirc", tag:"mo", output:"\u2256", ttype:CONST},
+{input:"\\eqsim", tag:"mo", output:"\u2242", ttype:CONST},
+{input:"\\eqslantgtr", tag:"mo", output:"\u2A96", ttype:CONST},
+{input:"\\eqslantless", tag:"mo", output:"\u2A95", ttype:CONST},
+{input:"\\eta", tag:"mi", output:"\u03B7", ttype:CONST},
+{input:"\\fallingdotseq", tag:"mo", output:"\u2252", ttype:CONST},
+{input:"\\Finv", tag:"mo", output:"\u2132", ttype:CONST},
+{input:"\\flat", tag:"mo", output:"\u266D", ttype:CONST},
+{input:"\\Game", tag:"mo", output:"\u2141", ttype:CONST},
+{input:"\\geqq", tag:"mo", output:"\u2267", ttype:CONST},
+{input:"\\ggg", tag:"mo", output:"\u22D9", ttype:CONST},
+{input:"\\gimel", tag:"mo", output:"\u2137", ttype:CONST},
+{input:"\\gnapprox", tag:"mo", output:"\u2A8A", ttype:CONST},
+{input:"\\gneq", tag:"mo", output:"\u2A88", ttype:CONST},
+{input:"\\gneqq", tag:"mo", output:"\u2269", ttype:CONST},
+{input:"\\gnsim", tag:"mo", output:"\u22E7", ttype:CONST},
+{input:"\\gtrapprox", tag:"mo", output:"\u2A86", ttype:CONST},
+{input:"\\gtrdot", tag:"mo", output:"\u22D7", ttype:CONST},
+{input:"\\gtreqless", tag:"mo", output:"\u22DB", ttype:CONST},
+{input:"\\gtreqqless", tag:"mo", output:"\u2A8C", ttype:CONST},
+{input:"\\gtrless", tag:"mo", output:"\u2277", ttype:CONST},
+{input:"\\gtrsim", tag:"mo", output:"\u2273", ttype:CONST},
+{input:"\\heartsuit", tag:"mo", output:"\u2661", ttype:CONST},
+{input:"\\hookleftarrow", tag:"mo", output:"\u21A9", ttype:CONST},
+{input:"\\hookrightarrow", tag:"mo", output:"\u21AA", ttype:CONST},
+{input:"\\hslash", tag:"mo", output:"\u210F", ttype:CONST},
+//{input:"\\i", tag:"mo", output:"\u0131", ttype:CONST},
+{input:"\\iiiint", tag:"mo", output:"\u2A0C", ttype:CONST},
+{input:"\\iiint", tag:"mo", output:"\u222D", ttype:CONST},
+{input:"\\iint", tag:"mo", output:"\u222C", ttype:CONST},
+{input:"\\intercal", tag:"mo", output:"\u22BA", ttype:CONST},
+{input:"\\itx", tag:"mo", output:"\uD835\uDC65", ttype:CONST},
+{input:"\\varkappa", tag:"mi", output:"\u03F0", ttype:CONST},
+{input:"\\digamma", tag:"mi", output:"\u03DC", ttype:CONST},
+//{input:"\\L", tag:"mo", output:"\u0141", ttype:CONST},
+//{input:"\\l", tag:"mo", output:"\u0142", ttype:CONST},
+
+{input:"\\leftarrowtail", tag:"mo", output:"\u21A2", ttype:CONST},
+{input:"\\leftharpoondown", tag:"mo", output:"\u21BD", ttype:CONST},
+{input:"\\leftharpoonup", tag:"mo", output:"\u21BC", ttype:CONST},
+{input:"\\leftleftarrows", tag:"mo", output:"\u21C7", ttype:CONST},
+{input:"\\leftrightarrows", tag:"mo", output:"\u21C6", ttype:CONST},
+{input:"\\leftrightharpoons", tag:"mo", output:"\u21CB", ttype:CONST},
+{input:"\\leftrightsquigarrow", tag:"mo", output:"\u21AD", ttype:CONST},
+{input:"\\leftthreetimes", tag:"mo", output:"\u22CB", ttype:CONST},
+{input:"\\leqq", tag:"mo", output:"\u2266", ttype:CONST},
+{input:"\\lessapprox", tag:"mo", output:"\u2A85", ttype:CONST},
+{input:"\\lessdot", tag:"mo", output:"\u22D6", ttype:CONST},
+{input:"\\lesseqgtr", tag:"mo", output:"\u22DA", ttype:CONST},
+{input:"\\lesseqqgtr", tag:"mo", output:"\u2A8B", ttype:CONST},
+{input:"\\lessgtr", tag:"mo", output:"\u2276", ttype:CONST},
+{input:"\\lesssim", tag:"mo", output:"\u2272", ttype:CONST},
+{input:"\\llcorner", tag:"mo", output:"\u231E", ttype:CONST},
+{input:"\\Lleftarrow", tag:"mo", output:"\u21DA", ttype:CONST},
+{input:"\\lll", tag:"mo", output:"\u22D8", ttype:CONST},
+{input:"\\lmoustache", tag:"mo", output:"\u23B0", ttype:CONST},
+{input:"\\lnapprox", tag:"mo", output:"\u2A89", ttype:CONST},
+{input:"\\lneq", tag:"mo", output:"\u2A87", ttype:CONST},
+{input:"\\lneqq", tag:"mo", output:"\u2268", ttype:CONST},
+{input:"\\lnsim", tag:"mo", output:"\u22E6", ttype:CONST},
+{input:"\\looparrowleft", tag:"mo", output:"\u21AB", ttype:CONST},
+{input:"\\looparrowright", tag:"mo", output:"\u21AC", ttype:CONST},
+{input:"\\lozenge", tag:"mo", output:"\u25CA", ttype:CONST},
+{input:"\\lrcorner", tag:"mo", output:"\u231F", ttype:CONST},
+{input:"\\Lsh", tag:"mo", output:"\u21B0", ttype:CONST},
+{input:"\\ltimes", tag:"mo", output:"\u22C9", ttype:CONST},
+{input:"\\maltese", tag:"mo", output:"\u2720", ttype:CONST},
+{input:"\\measuredangle", tag:"mo", output:"\u2221", ttype:CONST},
+{input:"\\mho", tag:"mo", output:"\u2127", ttype:CONST},
+{input:"\\multimap", tag:"mo", output:"\u22B8", ttype:CONST},
+{input:"\\natural", tag:"mo", output:"\u266E", ttype:CONST},
+{input:"\\ncong", tag:"mo", output:"\u2247", ttype:CONST},
+{input:"\\nearrow", tag:"mo", output:"\u2197", ttype:CONST},
+{input:"\\nexists", tag:"mo", output:"\u2204", ttype:CONST},
+{input:"\\ngeq", tag:"mo", output:"\u2271", ttype:CONST},
+{input:"\\ngtr", tag:"mo", output:"\u226F", ttype:CONST},
+{input:"\\nleftarrow", tag:"mo", output:"\u219A", ttype:CONST},
+{input:"\\nLeftarrow", tag:"mo", output:"\u21CD", ttype:CONST},
+{input:"\\nleftrightarrow", tag:"mo", output:"\u21AE", ttype:CONST},
+{input:"\\nLeftrightarrow", tag:"mo", output:"\u21CE", ttype:CONST},
+{input:"\\nleq", tag:"mo", output:"\u2270", ttype:CONST},
+{input:"\\nless", tag:"mo", output:"\u226E", ttype:CONST},
+{input:"\\nmid", tag:"mo", output:"\u2224", ttype:CONST},
+{input:"\\not\\leq", tag:"mo", output:"\u2270", ttype:CONST},
+{input:"\\nparallel", tag:"mo", output:"\u2226", ttype:CONST},
+{input:"\\nprec", tag:"mo", output:"\u2280", ttype:CONST},
+{input:"\\nrightarrow", tag:"mo", output:"\u219B", ttype:CONST},
+{input:"\\nRightarrow", tag:"mo", output:"\u21CF", ttype:CONST},
+{input:"\\nsim", tag:"mo", output:"\u2241", ttype:CONST},
+{input:"\\nsubseteq", tag:"mo", output:"\u2288", ttype:CONST},
+{input:"\\nsucc", tag:"mo", output:"\u2281", ttype:CONST},
+{input:"\\nsupseteq", tag:"mo", output:"\u2289", ttype:CONST},
+{input:"\\ntriangleleft", tag:"mo", output:"\u22EA", ttype:CONST},
+{input:"\\ntrianglelefteq", tag:"mo", output:"\u22EC", ttype:CONST},
+{input:"\\ntriangleright", tag:"mo", output:"\u22EB", ttype:CONST},
+{input:"\\ntrianglerighteq", tag:"mo", output:"\u22ED", ttype:CONST},
+{input:"\\nwarrow", tag:"mo", output:"\u2196", ttype:CONST},
+{input:"\\nvdash", tag:"mo", output:"\u22AC", ttype:CONST},
+{input:"\\nvDash", tag:"mo", output:"\u22AD", ttype:CONST},
+{input:"\\nVdash", tag:"mo", output:"\u22AE", ttype:CONST},
+{input:"\\nVDash", tag:"mo", output:"\u22AF", ttype:CONST},
+//{input:"\\O", tag:"mo", output:"\u00D8", ttype:CONST},
+//{input:"\\o", tag:"mo", output:"\u00F8", ttype:CONST},
+{input:"\\OE", tag:"mo", output:"\u0152", ttype:CONST},
+{input:"\\oe", tag:"mo", output:"\u0153", ttype:CONST},
+{input:"\\overbracket", tag:"mover", output:"\u23B4", ttype:UNARY, acc:true}, //old overbrace = overbracket
+{input:"\\overleftrightarrow", tag:"mo", output:"\u20E1", ttype:CONST},
+{input:"\\pitchfork", tag:"mo", output:"\u22D4", ttype:CONST},
+{input:"\\precapprox", tag:"mo", output:"\u2AB7", ttype:CONST},
+{input:"\\preccurlyeq", tag:"mo", output:"\u227C", ttype:CONST},
+{input:"\\precnapprox", tag:"mo", output:"\u2AB9", ttype:CONST},
+{input:"\\precneqq", tag:"mo", output:"\u2AB5", ttype:CONST},
+{input:"\\precnsim", tag:"mo", output:"\u22E8", ttype:CONST},
+{input:"\\precsim", tag:"mo", output:"\u227E", ttype:CONST},
+{input:"\\rightarrowtail", tag:"mo", output:"\u21A3", ttype:CONST},
+{input:"\\rightharpoondown", tag:"mo", output:"\u21C1", ttype:CONST},
+{input:"\\rightharpoonup", tag:"mo", output:"\u21C0", ttype:CONST},
+{input:"\\rightleftarrows", tag:"mo", output:"\u21C4", ttype:CONST},
+{input:"\\rightleftharpoons", tag:"mo", output:"\u21CC", ttype:CONST},
+{input:"\\rightrightarrows", tag:"mo", output:"\u21C9", ttype:CONST},
+{input:"\\rightsquigarrow", tag:"mo", output:"\u21DD", ttype:CONST},
+{input:"\\rightthreetimes", tag:"mo", output:"\u22CC", ttype:CONST},
+{input:"\\risingdotseq", tag:"mo", output:"\u2253", ttype:CONST},
+{input:"\\rmoustache", tag:"mo", output:"\u23B1", ttype:CONST},
+{input:"\\Rrightarrow", tag:"mo", output:"\u21DB", ttype:CONST},
+{input:"\\Rsh", tag:"mo", output:"\u21B1", ttype:CONST},
+{input:"\\rtimes", tag:"mo", output:"\u22CA", ttype:CONST},
+//{input:"\\S", tag:"mo", output:"\u00A7", ttype:CONST},
+{input:"\\searrow", tag:"mo", output:"\u2198", ttype:CONST},
+{input:"\\sharp", tag:"mo", output:"\u266F", ttype:CONST},
+{input:"\\slash", tag:"mo", output:"\u2215", ttype:CONST},
+{input:"\\smallint", tag:"mo", output:"\u222B", ttype:CONST},
+{input:"\\smallsetminus", tag:"mo", output:"\u2216", ttype:CONST},
+{input:"\\spadesuit", tag:"mo", output:"\u2660", ttype:CONST},
+{input:"\\sphericalangle", tag:"mo", output:"\u2222", ttype:CONST},
+{input:"\\ss", tag:"mo", output:"\u00DF", ttype:CONST},
+{input:"\\Subset", tag:"mo", output:"\u22D0", ttype:CONST},
+{input:"\\subseteqq", tag:"mo", output:"\u2AC5", ttype:CONST},
+{input:"\\subsetneq", tag:"mo", output:"\u228A", ttype:CONST},
+{input:"\\subsetneqq", tag:"mo", output:"\u2ACB", ttype:CONST},
+{input:"\\succapprox", tag:"mo", output:"\u2AB8", ttype:CONST},
+{input:"\\succcurlyeq", tag:"mo", output:"\u227D", ttype:CONST},
+{input:"\\succnapprox", tag:"mo", output:"\u2ABA", ttype:CONST},
+{input:"\\succneqq", tag:"mo", output:"\u2AB6", ttype:CONST},
+{input:"\\succnsim", tag:"mo", output:"\u22E9", ttype:CONST},
+{input:"\\succsim", tag:"mo", output:"\u227F", ttype:CONST},
+{input:"\\Supset", tag:"mo", output:"\u22D1", ttype:CONST},
+{input:"\\supseteqq", tag:"mo", output:"\u2AC6", ttype:CONST},
+{input:"\\supsetneq", tag:"mo", output:"\u228B", ttype:CONST},
+{input:"\\supsetneqq", tag:"mo", output:"\u2ACC", ttype:CONST},
+{input:"\\swarrow", tag:"mo", output:"\u2199", ttype:CONST},
+{input:"\\textasciicircum", tag:"mo", output:"\u005E", ttype:CONST},
+{input:"\\textasciitilde", tag:"mo", output:"\u007E", ttype:CONST},
+{input:"\\textcolor",tag:"mstyle",atname:"mathvariant", atval:"mathcolor", ttype:BINARY},
+{input:"\\textcopyright", tag:"mo", output:"\u00A9", ttype:CONST},
+{input:"\\textdegree", tag:"mo", output:"\u00B0", ttype:CONST},
+{input:"\\textdollar", tag:"mo", output:"\u0024", ttype:CONST},
+{input:"\\textonehalf", tag:"mo", output:"\u00BD", ttype:CONST},
+{input:"\\textonequarter", tag:"mo", output:"\u00BC", ttype:CONST},
+{input:"\\textordfeminine", tag:"mo", output:"\u00AA", ttype:CONST},
+{input:"\\textordmasculine", tag:"mo", output:"\u00BA", ttype:CONST},
+{input:"\\textregistered", tag:"mo", output:"\u00AE", ttype:CONST},
+{input:"\\textthreequarters", tag:"mo", output:"\u00BE", ttype:CONST},
+{input:"\\texttrademark", tag:"mo", output:"\u2122", ttype:CONST},
+{input:"\\theta", tag:"mi", output:"\u03B8", ttype:CONST},
+{input:"\\thickapprox", tag:"mo", output:"\u2248", ttype:CONST},
+{input:"\\thicksim", tag:"mo", output:"\u223C", ttype:CONST},
+
+{input:"\\triangledown", tag:"mo", output:"\u25BF", ttype:CONST},
+{input:"\\trianglelefteq", tag:"mo", output:"\u22B4", ttype:CONST},
+{input:"\\triangleq", tag:"mo", output:"\u225C", ttype:CONST},
+{input:"\\trianglerighteq", tag:"mo", output:"\u22B5", ttype:CONST},
+{input:"\\twoheadleftarrow", tag:"mo", output:"\u219E", ttype:CONST},
+{input:"\\twoheadrightarrow", tag:"mo", output:"\u21A0", ttype:CONST},
+{input:"\\ulcorner", tag:"mo", output:"\u231C", ttype:CONST},
+{input:"\\underbracket",tag:"munder", output:"\u23B5", ttype:UNARY, acc:true}, //old underbrace = underbracket
+{input:"\\underleftarrow", tag:"mo", output:"\u20EE", ttype:CONST},
+{input:"\\underrightarrow", tag:"mo", output:"\u20EF", ttype:CONST},
+{input:"\\upharpoonleft", tag:"mo", output:"\u21BF", ttype:CONST},
+{input:"\\upharpoonright", tag:"mo", output:"\u21BE", ttype:CONST},
+{input:"\\upuparrows", tag:"mo", output:"\u21C8", ttype:CONST},
+{input:"\\urcorner", tag:"mo", output:"\u231D", ttype:CONST},
+{input:"\\varnothing", tag:"mo", output:"\u2205", ttype:CONST},
+{input:"\\varpropto", tag:"mo", output:"\u221D", ttype:CONST},
+{input:"\\vartriangle", tag:"mo", output:"\u22B5", ttype:CONST},
+{input:"\\vartriangleleft", tag:"mo", output:"\u22B2", ttype:CONST},
+{input:"\\vartriangleright", tag:"mo", output:"\u22B3", ttype:CONST},
+{input:"\\vDash", tag:"mo", output:"\u22A8", ttype:CONST},
+{input:"\\Vdash", tag:"mo", output:"\u22A9", ttype:CONST},
+{input:"\\veebar", tag:"mo", output:"\u22BB", ttype:CONST},
+{input:"\\Vert", tag:"mo", output:"\u2016", atval:"1", ttype:STRETCHY},
+{input:"\\Vvdash", tag:"mo", output:"\u22AA", ttype:CONST},
+{input:"\\yen", tag:"mo", output:"\u00A5", ttype:CONST},
+{input:"\\usepackage[usenames]{color}",tag:"mstyle",atname:"mathvariant", output:"X", atval:"false", ttype:UNARY},
+{input:"\\colorbox",tag:"mstyle",atname:"mathvariant", atval:"background", ttype:BINARY}
 ];
 
 var LMnames = []; //list of input symbols