chamilo
/
chamilo-lms
mirror of https://github.com/chamilo/chamilo-lms/tree/1.11.x
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Feature #541 - Symbol tables for ASCIIMath syntax and TeX syntax have been extended, using some code by Mauno Korpelainen (http://korpelainen.net).

Browse Source
skala
Ivan Tcholakov 15 years ago
parent 207c393b0d
commit b1a1e46309
1 changed files with 787 additions and 21 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 808
      main/inc/lib/asciimath/ASCIIMathML.js

808
main/inc/lib/asciimath/ASCIIMathML.js
Unescape View File

@ -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

Write Preview
Loading…
Cancel
Save