# HG changeset patch
# User gibus
# Date 1394467269 -3600
# Node ID 0dad543d4ed03d57149af2ae032edd7cfe3f93aa
# Parent f4661cf8fdd9de3b5c1c0880d34810e33fc1c109
In ASCIIMathML just skip onload translate from Latex.
diff -r f4661cf8fdd9 -r 0dad543d4ed0 src/cm/media/js/lib/asciimathtml/ASCIIMathML.js
--- a/src/cm/media/js/lib/asciimathtml/ASCIIMathML.js Mon Mar 10 16:48:48 2014 +0100
+++ b/src/cm/media/js/lib/asciimathtml/ASCIIMathML.js Mon Mar 10 17:01:09 2014 +0100
@@ -42,9 +42,9 @@
var checkForMathML = true; // check if browser can display MathML
var notifyIfNoMathML = true; // display note at top if no MathML capability
var alertIfNoMathML = false; // show alert box if no MathML capability
-var translateOnLoad = false; // set to false to do call translators from js
-var translateLaTeX = true; // false to preserve $..$, $$..$$
-var translateLaTeXformatting = true; // false to preserve \emph,\begin{},\end{}
+var translateOnLoad = true; // set to false to do call translators from js
+var translateLaTeX = false; // false to preserve $..$, $$..$$
+var translateLaTeXformatting = false; // false to preserve \emph,\begin{},\end{}
var translateASCIIMath = true; // false to preserve `..`
var translateASCIIsvg = true; // false to preserve agraph.., \begin{graph}..
var avoidinnerHTML = false; // set true if assigning to innerHTML gives error
diff -r f4661cf8fdd9 -r 0dad543d4ed0 src/cm/media/js/lib/asciimathtml/ASCIIMathML.min.js
--- a/src/cm/media/js/lib/asciimathtml/ASCIIMathML.min.js Mon Mar 10 16:48:48 2014 +0100
+++ b/src/cm/media/js/lib/asciimathtml/ASCIIMathML.min.js Mon Mar 10 17:01:09 2014 +0100
@@ -1,1 +1,1 @@
-var mathcolor="blue";var mathfontsize="1em";var mathfontfamily="serif";var automathrecognize=false;var checkForMathML=true;var notifyIfNoMathML=true;var alertIfNoMathML=false;var translateOnLoad=false;var translateLaTeX=true;var translateLaTeXformatting=true;var translateASCIIMath=true;var translateASCIIsvg=true;var avoidinnerHTML=false;var displaystyle=true;var showasciiformulaonhover=true;var decimalsign=".";var AMdelimiter1="`",AMescape1="\\\\`";var AMdocumentId="wikitext";var checkforprocessasciimathinmoodle=false;var dsvglocation="";var isIE=document.createElementNS==null;if(document.getElementById==null){alert("This webpage requires a recent browser such as\nMozilla/Netscape 7+ or Internet Explorer 6+MathPlayer");}function AMcreateElementXHTML(f){if(isIE){return document.createElement(f);}else{return document.createElementNS("http://www.w3.org/1999/xhtml",f);}}function AMnoMathMLNote(){var g=AMcreateElementXHTML("h3");g.setAttribute("align","center");g.appendChild(AMcreateElementXHTML("p"));g.appendChild(document.createTextNode("To view the "));var f=AMcreateElementXHTML("a");f.appendChild(document.createTextNode("ASCIIMathML"));f.setAttribute("href","http://www.chapman.edu/~jipsen/asciimath.html");g.appendChild(f);g.appendChild(document.createTextNode(" notation use Internet Explorer 6+"));f=AMcreateElementXHTML("a");f.appendChild(document.createTextNode("MathPlayer"));f.setAttribute("href","http://www.dessci.com/en/products/mathplayer/download.htm");g.appendChild(f);g.appendChild(document.createTextNode(" or Netscape/Mozilla/Firefox"));g.appendChild(AMcreateElementXHTML("p"));return g;}function AMisMathMLavailable(){if(navigator.appName.slice(0,8)=="Netscape"){if(navigator.appVersion.slice(0,1)>="5"){return null;}else{return AMnoMathMLNote();}}else{if(navigator.appName.slice(0,9)=="Microsoft"){try{var g=new ActiveXObject("MathPlayer.Factory.1");return null;}catch(f){return AMnoMathMLNote();}}else{return AMnoMathMLNote();}}}var AMcal=[61237,8492,61238,61239,8496,8497,61240,8459,8464,61241,61242,8466,8499,61243,61244,61245,61246,8475,61247,61248,61249,61250,61251,61252,61253,61254];var AMfrk=[61277,61278,8493,61279,61280,61281,61282,8460,8465,61283,61284,61285,61286,61287,61288,61289,61290,8476,61291,61292,61293,61294,61295,61296,61297,8488];var AMbbb=[61324,61325,8450,61326,61327,61328,61329,8461,61330,61331,61332,61333,61334,8469,61335,8473,8474,8477,61336,61337,61338,61339,61340,61341,61342,8484];var CONST=0,UNARY=1,BINARY=2,INFIX=3,LEFTBRACKET=4,RIGHTBRACKET=5,SPACE=6,UNDEROVER=7,DEFINITION=8,LEFTRIGHT=9,TEXT=10;var AMsqrt={input:"sqrt",tag:"msqrt",output:"sqrt",tex:null,ttype:UNARY},AMroot={input:"root",tag:"mroot",output:"root",tex:null,ttype:BINARY},AMfrac={input:"frac",tag:"mfrac",output:"/",tex:null,ttype:BINARY},AMdiv={input:"/",tag:"mfrac",output:"/",tex:null,ttype:INFIX},AMover={input:"stackrel",tag:"mover",output:"stackrel",tex:null,ttype:BINARY},AMsub={input:"_",tag:"msub",output:"_",tex:null,ttype:INFIX},AMsup={input:"^",tag:"msup",output:"^",tex:null,ttype:INFIX},AMtext={input:"text",tag:"mtext",output:"text",tex:null,ttype:TEXT},AMmbox={input:"mbox",tag:"mtext",output:"mbox",tex:null,ttype:TEXT},AMquote={input:'"',tag:"mtext",output:"mbox",tex:null,ttype:TEXT};var AMsymbols=[{input:"alpha",tag:"mi",output:"\u03B1",tex:null,ttype:CONST},{input:"beta",tag:"mi",output:"\u03B2",tex:null,ttype:CONST},{input:"chi",tag:"mi",output:"\u03C7",tex:null,ttype:CONST},{input:"delta",tag:"mi",output:"\u03B4",tex:null,ttype:CONST},{input:"Delta",tag:"mo",output:"\u0394",tex:null,ttype:CONST},{input:"epsi",tag:"mi",output:"\u03B5",tex:"epsilon",ttype:CONST},{input:"varepsilon",tag:"mi",output:"\u025B",tex:null,ttype:CONST},{input:"eta",tag:"mi",output:"\u03B7",tex:null,ttype:CONST},{input:"gamma",tag:"mi",output:"\u03B3",tex:null,ttype:CONST},{input:"Gamma",tag:"mo",output:"\u0393",tex:null,ttype:CONST},{input:"iota",tag:"mi",output:"\u03B9",tex:null,ttype:CONST},{input:"kappa",tag:"mi",output:"\u03BA",tex:null,ttype:CONST},{input:"lambda",tag:"mi",output:"\u03BB",tex:null,ttype:CONST},{input:"Lambda",tag:"mo",output:"\u039B",tex:null,ttype:CONST},{input:"mu",tag:"mi",output:"\u03BC",tex:null,ttype:CONST},{input:"nu",tag:"mi",output:"\u03BD",tex:null,ttype:CONST},{input:"omega",tag:"mi",output:"\u03C9",tex:null,ttype:CONST},{input:"Omega",tag:"mo",output:"\u03A9",tex:null,ttype:CONST},{input:"phi",tag:"mi",output:"\u03C6",tex:null,ttype:CONST},{input:"varphi",tag:"mi",output:"\u03D5",tex:null,ttype:CONST},{input:"Phi",tag:"mo",output:"\u03A6",tex:null,ttype:CONST},{input:"pi",tag:"mi",output:"\u03C0",tex:null,ttype:CONST},{input:"Pi",tag:"mo",output:"\u03A0",tex:null,ttype:CONST},{input:"psi",tag:"mi",output:"\u03C8",tex:null,ttype:CONST},{input:"Psi",tag:"mi",output:"\u03A8",tex:null,ttype:CONST},{input:"rho",tag:"mi",output:"\u03C1",tex:null,ttype:CONST},{input:"sigma",tag:"mi",output:"\u03C3",tex:null,ttype:CONST},{input:"Sigma",tag:"mo",output:"\u03A3",tex:null,ttype:CONST},{input:"tau",tag:"mi",output:"\u03C4",tex:null,ttype:CONST},{input:"theta",tag:"mi",output:"\u03B8",tex:null,ttype:CONST},{input:"vartheta",tag:"mi",output:"\u03D1",tex:null,ttype:CONST},{input:"Theta",tag:"mo",output:"\u0398",tex:null,ttype:CONST},{input:"upsilon",tag:"mi",output:"\u03C5",tex:null,ttype:CONST},{input:"xi",tag:"mi",output:"\u03BE",tex:null,ttype:CONST},{input:"Xi",tag:"mo",output:"\u039E",tex:null,ttype:CONST},{input:"zeta",tag:"mi",output:"\u03B6",tex:null,ttype:CONST},{input:"*",tag:"mo",output:"\u22C5",tex:"cdot",ttype:CONST},{input:"**",tag:"mo",output:"\u22C6",tex:"star",ttype:CONST},{input:"//",tag:"mo",output:"/",tex:null,ttype:CONST},{input:"\\\\",tag:"mo",output:"\\",tex:"backslash",ttype:CONST},{input:"setminus",tag:"mo",output:"\\",tex:null,ttype:CONST},{input:"xx",tag:"mo",output:"\u00D7",tex:"times",ttype:CONST},{input:"-:",tag:"mo",output:"\u00F7",tex:"divide",ttype:CONST},{input:"@",tag:"mo",output:"\u2218",tex:"circ",ttype:CONST},{input:"o+",tag:"mo",output:"\u2295",tex:"oplus",ttype:CONST},{input:"ox",tag:"mo",output:"\u2297",tex:"otimes",ttype:CONST},{input:"o.",tag:"mo",output:"\u2299",tex:"odot",ttype:CONST},{input:"sum",tag:"mo",output:"\u2211",tex:null,ttype:UNDEROVER},{input:"prod",tag:"mo",output:"\u220F",tex:null,ttype:UNDEROVER},{input:"^^",tag:"mo",output:"\u2227",tex:"wedge",ttype:CONST},{input:"^^^",tag:"mo",output:"\u22C0",tex:"bigwedge",ttype:UNDEROVER},{input:"vv",tag:"mo",output:"\u2228",tex:"vee",ttype:CONST},{input:"vvv",tag:"mo",output:"\u22C1",tex:"bigvee",ttype:UNDEROVER},{input:"nn",tag:"mo",output:"\u2229",tex:"cap",ttype:CONST},{input:"nnn",tag:"mo",output:"\u22C2",tex:"bigcap",ttype:UNDEROVER},{input:"uu",tag:"mo",output:"\u222A",tex:"cup",ttype:CONST},{input:"uuu",tag:"mo",output:"\u22C3",tex:"bigcup",ttype:UNDEROVER},{input:"!=",tag:"mo",output:"\u2260",tex:"ne",ttype:CONST},{input:":=",tag:"mo",output:":=",tex:null,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},{input:">=",tag:"mo",output:"\u2265",tex:"ge",ttype:CONST},{input:"geq",tag:"mo",output:"\u2265",tex:null,ttype:CONST},{input:"-<",tag:"mo",output:"\u227A",tex:"prec",ttype:CONST},{input:"-lt",tag:"mo",output:"\u227A",tex:null,ttype:CONST},{input:">-",tag:"mo",output:"\u227B",tex:"succ",ttype:CONST},{input:"-<=",tag:"mo",output:"\u2AAF",tex:"preceq",ttype:CONST},{input:">-=",tag:"mo",output:"\u2AB0",tex:"succeq",ttype:CONST},{input:"in",tag:"mo",output:"\u2208",tex:null,ttype:CONST},{input:"!in",tag:"mo",output:"\u2209",tex:"notin",ttype:CONST},{input:"sub",tag:"mo",output:"\u2282",tex:"subset",ttype:CONST},{input:"sup",tag:"mo",output:"\u2283",tex:"supset",ttype:CONST},{input:"sube",tag:"mo",output:"\u2286",tex:"subseteq",ttype:CONST},{input:"supe",tag:"mo",output:"\u2287",tex:"supseteq",ttype:CONST},{input:"-=",tag:"mo",output:"\u2261",tex:"equiv",ttype:CONST},{input:"~=",tag:"mo",output:"\u2245",tex:"cong",ttype:CONST},{input:"~~",tag:"mo",output:"\u2248",tex:"approx",ttype:CONST},{input:"prop",tag:"mo",output:"\u221D",tex:"propto",ttype:CONST},{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:"if",tag:"mo",output:"if",tex:null,ttype:SPACE},{input:"<=>",tag:"mo",output:"\u21D4",tex:"iff",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},{input:"TT",tag:"mo",output:"\u22A4",tex:"top",ttype:CONST},{input:"|--",tag:"mo",output:"\u22A2",tex:"vdash",ttype:CONST},{input:"|==",tag:"mo",output:"\u22A8",tex:"models",ttype:CONST},{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:null,ttype:LEFTBRACKET},{input:"}",tag:"mo",output:"}",tex:null,ttype:RIGHTBRACKET},{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:"{:",tex:null,ttype:LEFTBRACKET,invisible:true},{input:":}",tag:"mo",output:":}",tex:null,ttype:RIGHTBRACKET,invisible:true},{input:"int",tag:"mo",output:"\u222B",tex:null,ttype:CONST},{input:"dx",tag:"mi",output:"{:d x:}",tex:null,ttype:DEFINITION},{input:"dy",tag:"mi",output:"{:d y:}",tex:null,ttype:DEFINITION},{input:"dz",tag:"mi",output:"{:d z:}",tex:null,ttype:DEFINITION},{input:"dt",tag:"mi",output:"{:d t:}",tex:null,ttype:DEFINITION},{input:"oint",tag:"mo",output:"\u222E",tex:null,ttype:CONST},{input:"del",tag:"mo",output:"\u2202",tex:"partial",ttype:CONST},{input:"grad",tag:"mo",output:"\u2207",tex:"nabla",ttype:CONST},{input:"+-",tag:"mo",output:"\u00B1",tex:"pm",ttype:CONST},{input:"O/",tag:"mo",output:"\u2205",tex:"emptyset",ttype:CONST},{input:"oo",tag:"mo",output:"\u221E",tex:"infty",ttype:CONST},{input:"aleph",tag:"mo",output:"\u2135",tex:null,ttype:CONST},{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:"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},{input:"vdots",tag:"mo",output:"\u22EE",tex:null,ttype:CONST},{input:"ddots",tag:"mo",output:"\u22F1",tex:null,ttype:CONST},{input:"diamond",tag:"mo",output:"\u22C4",tex:null,ttype:CONST},{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:"lim",tag:"mo",output:"lim",tex:null,ttype:UNDEROVER},{input:"Lim",tag:"mo",output:"Lim",tex:null,ttype:UNDEROVER},{input:"sin",tag:"mo",output:"sin",tex:null,ttype:UNARY,func:true},{input:"cos",tag:"mo",output:"cos",tex:null,ttype:UNARY,func:true},{input:"tan",tag:"mo",output:"tan",tex:null,ttype:UNARY,func:true},{input:"sinh",tag:"mo",output:"sinh",tex:null,ttype:UNARY,func:true},{input:"cosh",tag:"mo",output:"cosh",tex:null,ttype:UNARY,func:true},{input:"tanh",tag:"mo",output:"tanh",tex:null,ttype:UNARY,func:true},{input:"cot",tag:"mo",output:"cot",tex:null,ttype:UNARY,func:true},{input:"sec",tag:"mo",output:"sec",tex:null,ttype:UNARY,func:true},{input:"csc",tag:"mo",output:"csc",tex:null,ttype:UNARY,func:true},{input:"log",tag:"mo",output:"log",tex:null,ttype:UNARY,func:true},{input:"ln",tag:"mo",output:"ln",tex:null,ttype:UNARY,func:true},{input:"det",tag:"mo",output:"det",tex:null,ttype:UNARY,func:true},{input:"dim",tag:"mo",output:"dim",tex:null,ttype:CONST},{input:"mod",tag:"mo",output:"mod",tex:null,ttype:CONST},{input:"gcd",tag:"mo",output:"gcd",tex:null,ttype:UNARY,func:true},{input:"lcm",tag:"mo",output:"lcm",tex:null,ttype:UNARY,func:true},{input:"lub",tag:"mo",output:"lub",tex:null,ttype:CONST},{input:"glb",tag:"mo",output:"glb",tex:null,ttype:CONST},{input:"min",tag:"mo",output:"min",tex:null,ttype:UNDEROVER},{input:"max",tag:"mo",output:"max",tex:null,ttype:UNDEROVER},{input:"uarr",tag:"mo",output:"\u2191",tex:"uparrow",ttype:CONST},{input:"darr",tag:"mo",output:"\u2193",tex:"downarrow",ttype:CONST},{input:"rarr",tag:"mo",output:"\u2192",tex:"rightarrow",ttype:CONST},{input:"->",tag:"mo",output:"\u2192",tex:"to",ttype:CONST},{input:"|->",tag:"mo",output:"\u21A6",tex:"mapsto",ttype:CONST},{input:"larr",tag:"mo",output:"\u2190",tex:"leftarrow",ttype:CONST},{input:"harr",tag:"mo",output:"\u2194",tex:"leftrightarrow",ttype:CONST},{input:"rArr",tag:"mo",output:"\u21D2",tex:"Rightarrow",ttype:CONST},{input:"lArr",tag:"mo",output:"\u21D0",tex:"Leftarrow",ttype:CONST},{input:"hArr",tag:"mo",output:"\u21D4",tex:"Leftrightarrow",ttype:CONST},AMsqrt,AMroot,AMfrac,AMdiv,AMover,AMsub,AMsup,{input:"hat",tag:"mover",output:"\u005E",tex:null,ttype:UNARY,acc:true},{input:"bar",tag:"mover",output:"\u00AF",tex:"overline",ttype:UNARY,acc:true},{input:"vec",tag:"mover",output:"\u2192",tex:null,ttype:UNARY,acc:true},{input:"dot",tag:"mover",output:".",tex:null,ttype:UNARY,acc:true},{input:"ddot",tag:"mover",output:"..",tex:null,ttype:UNARY,acc:true},{input:"ul",tag:"munder",output:"\u0332",tex:"underline",ttype:UNARY,acc:true},AMtext,AMmbox,AMquote,{input:"bb",tag:"mstyle",atname:"fontweight",atval:"bold",output:"bb",tex:null,ttype:UNARY},{input:"mathbf",tag:"mstyle",atname:"fontweight",atval:"bold",output:"mathbf",tex:null,ttype:UNARY},{input:"sf",tag:"mstyle",atname:"fontfamily",atval:"sans-serif",output:"sf",tex:null,ttype:UNARY},{input:"mathsf",tag:"mstyle",atname:"fontfamily",atval:"sans-serif",output:"mathsf",tex:null,ttype:UNARY},{input:"bbb",tag:"mstyle",atname:"mathvariant",atval:"double-struck",output:"bbb",tex:null,ttype:UNARY,codes:AMbbb},{input:"mathbb",tag:"mstyle",atname:"mathvariant",atval:"double-struck",output:"mathbb",tex:null,ttype:UNARY,codes:AMbbb},{input:"cc",tag:"mstyle",atname:"mathvariant",atval:"script",output:"cc",tex:null,ttype:UNARY,codes:AMcal},{input:"mathcal",tag:"mstyle",atname:"mathvariant",atval:"script",output:"mathcal",tex:null,ttype:UNARY,codes:AMcal},{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}];function compareNames(g,f){if(g.input>f.input){return 1;}else{return -1;}}var AMnames=[];function AMinitSymbols(){var g=[],f;for(f=0;f>1;if(g[f]=AMnames[f];}AMpreviousSymbol=AMcurrentSymbol;if(m!=""){AMcurrentSymbol=AMsymbols[l].ttype;return AMsymbols[l];}AMcurrentSymbol=CONST;f=1;v=q.slice(0,1);var r=true;while("0"<=v&&v<="9"&&f<=q.length){v=q.slice(f,f+1);f++;}if(v==decimalsign){v=q.slice(f,f+1);if("0"<=v&&v<="9"){r=false;f++;while("0"<=v&&v<="9"&&f<=q.length){v=q.slice(f,f+1);f++;}}}if((r&&f>1)||f>2){v=q.slice(0,f-1);s="mn";}else{f=2;v=q.slice(0,1);s=(("A">v||v>"Z")&&("a">v||v>"z")?"mo":"mi");}if(v=="-"&&AMpreviousSymbol==INFIX){AMcurrentSymbol=INFIX;return{input:v,tag:s,output:v,ttype:UNARY,func:true};}return{input:v,tag:s,output:v,ttype:CONST};}function AMremoveBrackets(g){var f;if(g.nodeName=="mrow"){f=g.firstChild.firstChild.nodeValue;if(f=="("||f=="["||f=="{"){g.removeChild(g.firstChild);}}if(g.nodeName=="mrow"){f=g.lastChild.firstChild.nodeValue;if(f==")"||f=="]"||f=="}"){g.removeChild(g.lastChild);}}}var AMnestingDepth,AMpreviousSymbol,AMcurrentSymbol;function AMparseSexpr(o){var h,g,s,l,r,m=document.createDocumentFragment();o=AMremoveCharsAndBlanks(o,0);h=AMgetSymbol(o);if(h==null||h.ttype==RIGHTBRACKET&&AMnestingDepth>0){return[null,o];}if(h.ttype==DEFINITION){o=h.output+AMremoveCharsAndBlanks(o,h.input.length);h=AMgetSymbol(o);}switch(h.ttype){case UNDEROVER:case CONST:o=AMremoveCharsAndBlanks(o,h.input.length);return[AMcreateMmlNode(h.tag,document.createTextNode(h.output)),o];case LEFTBRACKET:AMnestingDepth++;o=AMremoveCharsAndBlanks(o,h.input.length);s=AMparseExpr(o,true);AMnestingDepth--;if(typeof h.invisible=="boolean"&&h.invisible){g=AMcreateMmlNode("mrow",s[0]);}else{g=AMcreateMmlNode("mo",document.createTextNode(h.output));g=AMcreateMmlNode("mrow",g);g.appendChild(s[0]);}return[g,s[1]];case TEXT:if(h!=AMquote){o=AMremoveCharsAndBlanks(o,h.input.length);}if(o.charAt(0)=="{"){l=o.indexOf("}");}else{if(o.charAt(0)=="("){l=o.indexOf(")");}else{if(o.charAt(0)=="["){l=o.indexOf("]");}else{if(h==AMquote){l=o.slice(1).indexOf('"')+1;}else{l=0;}}}}if(l==-1){l=o.length;}r=o.slice(1,l);if(r.charAt(0)==" "){g=AMcreateElementMathML("mspace");g.setAttribute("width","1ex");m.appendChild(g);}m.appendChild(AMcreateMmlNode(h.tag,document.createTextNode(r)));if(r.charAt(r.length-1)==" "){g=AMcreateElementMathML("mspace");g.setAttribute("width","1ex");m.appendChild(g);}o=AMremoveCharsAndBlanks(o,l+1);return[AMcreateMmlNode("mrow",m),o];case UNARY:o=AMremoveCharsAndBlanks(o,h.input.length);s=AMparseSexpr(o);if(s[0]==null){return[AMcreateMmlNode(h.tag,document.createTextNode(h.output)),o];}if(typeof h.func=="boolean"&&h.func){r=o.charAt(0);if(r=="^"||r=="_"||r=="/"||r=="|"||r==","){return[AMcreateMmlNode(h.tag,document.createTextNode(h.output)),o];}else{g=AMcreateMmlNode("mrow",AMcreateMmlNode(h.tag,document.createTextNode(h.output)));g.appendChild(s[0]);return[g,s[1]];}}AMremoveBrackets(s[0]);if(h.input=="sqrt"){return[AMcreateMmlNode(h.tag,s[0]),s[1]];}else{if(typeof h.acc=="boolean"&&h.acc){g=AMcreateMmlNode(h.tag,s[0]);g.appendChild(AMcreateMmlNode("mo",document.createTextNode(h.output)));return[g,s[1]];}else{if(!isIE&&typeof h.codes!="undefined"){for(l=0;l64&&r.charCodeAt(k)<91){q=q+String.fromCharCode(h.codes[r.charCodeAt(k)-65]);}else{q=q+r.charAt(k);}}if(s[0].nodeName=="mi"){s[0]=AMcreateElementMathML("mo").appendChild(document.createTextNode(q));}else{s[0].replaceChild(AMcreateElementMathML("mo").appendChild(document.createTextNode(q)),s[0].childNodes[l]);}}}}g=AMcreateMmlNode(h.tag,s[0]);g.setAttribute(h.atname,h.atval);return[g,s[1]];}}case BINARY:o=AMremoveCharsAndBlanks(o,h.input.length);s=AMparseSexpr(o);if(s[0]==null){return[AMcreateMmlNode("mo",document.createTextNode(h.input)),o];}AMremoveBrackets(s[0]);var f=AMparseSexpr(s[1]);if(f[0]==null){return[AMcreateMmlNode("mo",document.createTextNode(h.input)),o];}AMremoveBrackets(f[0]);if(h.input=="root"||h.input=="stackrel"){m.appendChild(f[0]);}m.appendChild(s[0]);if(h.input=="frac"){m.appendChild(f[0]);}return[AMcreateMmlNode(h.tag,m),f[1]];case INFIX:o=AMremoveCharsAndBlanks(o,h.input.length);return[AMcreateMmlNode("mo",document.createTextNode(h.output)),o];case SPACE:o=AMremoveCharsAndBlanks(o,h.input.length);g=AMcreateElementMathML("mspace");g.setAttribute("width","1ex");m.appendChild(g);m.appendChild(AMcreateMmlNode(h.tag,document.createTextNode(h.output)));g=AMcreateElementMathML("mspace");g.setAttribute("width","1ex");m.appendChild(g);return[AMcreateMmlNode("mrow",m),o];case LEFTRIGHT:AMnestingDepth++;o=AMremoveCharsAndBlanks(o,h.input.length);s=AMparseExpr(o,false);AMnestingDepth--;var r="";if(s[0].lastChild!=null){r=s[0].lastChild.firstChild.nodeValue;}if(r=="|"){g=AMcreateMmlNode("mo",document.createTextNode(h.output));g=AMcreateMmlNode("mrow",g);g.appendChild(s[0]);return[g,s[1]];}else{g=AMcreateMmlNode("mo",document.createTextNode(h.output));g=AMcreateMmlNode("mrow",g);return[g,o];}default:o=AMremoveCharsAndBlanks(o,h.input.length);return[AMcreateMmlNode(h.tag,document.createTextNode(h.output)),o];}}function AMparseIexpr(m){var k,o,l,j,f,h;m=AMremoveCharsAndBlanks(m,0);o=AMgetSymbol(m);f=AMparseSexpr(m);j=f[0];m=f[1];k=AMgetSymbol(m);if(k.ttype==INFIX&&k.input!="/"){m=AMremoveCharsAndBlanks(m,k.input.length);f=AMparseSexpr(m);if(f[0]==null){f[0]=AMcreateMmlNode("mo",document.createTextNode("\u25A1"));}else{AMremoveBrackets(f[0]);}m=f[1];if(k.input=="_"){l=AMgetSymbol(m);h=(o.ttype==UNDEROVER);if(l.input=="^"){m=AMremoveCharsAndBlanks(m,l.input.length);var g=AMparseSexpr(m);AMremoveBrackets(g[0]);m=g[1];j=AMcreateMmlNode((h?"munderover":"msubsup"),j);j.appendChild(f[0]);j.appendChild(g[0]);j=AMcreateMmlNode("mrow",j);}else{j=AMcreateMmlNode((h?"munder":"msub"),j);j.appendChild(f[0]);}}else{j=AMcreateMmlNode(k.tag,j);j.appendChild(f[0]);}}return[j,m];}function AMparseExpr(v,s){var B,w,o,F,J=[],q=document.createDocumentFragment();do{v=AMremoveCharsAndBlanks(v,0);o=AMparseIexpr(v);w=o[0];v=o[1];B=AMgetSymbol(v);if(B.ttype==INFIX&&B.input=="/"){v=AMremoveCharsAndBlanks(v,B.input.length);o=AMparseIexpr(v);if(o[0]==null){o[0]=AMcreateMmlNode("mo",document.createTextNode("\u25A1"));}else{AMremoveBrackets(o[0]);}v=o[1];AMremoveBrackets(w);w=AMcreateMmlNode(B.tag,w);w.appendChild(o[0]);q.appendChild(w);B=AMgetSymbol(v);}else{if(w!=undefined){q.appendChild(w);}}}while((B.ttype!=RIGHTBRACKET&&(B.ttype!=LEFTRIGHT||s)||AMnestingDepth==0)&&B!=null&&B.output!="");if(B.ttype==RIGHTBRACKET||B.ttype==LEFTRIGHT){var G=q.childNodes.length;if(G>0&&q.childNodes[G-1].nodeName=="mrow"&&G>1&&q.childNodes[G-2].nodeName=="mo"&&q.childNodes[G-2].firstChild.nodeValue==","){var I=q.childNodes[G-1].lastChild.firstChild.nodeValue;if(I==")"||I=="]"){var g=q.childNodes[G-1].firstChild.firstChild.nodeValue;if(g=="("&&I==")"&&B.output!="}"||g=="["&&I=="]"){var h=[];var D=true;var z=q.childNodes.length;for(F=0;D&&F1){D=h[F].length==h[F-2].length;}}if(D){var l,f,r,A,H=document.createDocumentFragment();for(F=0;F2){q.removeChild(q.firstChild);q.removeChild(q.firstChild);}H.appendChild(AMcreateMmlNode("mtr",l));}w=AMcreateMmlNode("mtable",H);if(typeof B.invisible=="boolean"&&B.invisible){w.setAttribute("columnalign","left");}q.replaceChild(w,q.firstChild);}}}}v=AMremoveCharsAndBlanks(v,B.input.length);if(typeof B.invisible!="boolean"||!B.invisible){w=AMcreateMmlNode("mo",document.createTextNode(B.output));q.appendChild(w);}}return[q,v];}function AMparseMath(j){var f,h=AMcreateElementMathML("mstyle");if(mathcolor!=""){h.setAttribute("mathcolor",mathcolor);}if(displaystyle){h.setAttribute("displaystyle","true");}if(mathfontfamily!=""){h.setAttribute("fontfamily",mathfontfamily);}AMnestingDepth=0;h.appendChild(AMparseExpr(j.replace(/^\s+/g,""),false)[0]);h=AMcreateMmlNode("math",h);if(showasciiformulaonhover){h.setAttribute("title",j.replace(/\s+/g," "));}var g=AMcreateElementXHTML("span");g.style.fontSize=mathfontsize;if(mathfontfamily!=""){g.style.fontFamily=mathfontfamily;}g.appendChild(h);return g;}function AMstrarr2docFrag(f,k){var o=document.createDocumentFragment();var m=false;for(var l=0;l,\\|!:;'~]|\\.(?!(?:\x20|$))|"+q+s+f;var v=new RegExp("(^|\\s)((("+k+")\\s?)(("+k+j+")\\s?)+)([,.?]?(?=\\s|$))","g");r=r.replace(v," `$2`$7");var m=r.split(AMdelimiter1);var o=new RegExp("(^|\\s)([b-zB-HJ-Z+*<>]|"+h+q+f+")(\\s|\\n|$)","g");var l=new RegExp("(^|\\s)([a-z]|"+h+q+f+")([,.])","g");for(i=0;i1||q){if(checkForMathML){checkForMathML=false;var h=AMisMathMLavailable();AMnoMathML=h!=null;if(AMnoMathML&¬ifyIfNoMathML){if(alertIfNoMathML){alert("To view the ASCIIMathML notation use Internet Explorer 6 +\nMathPlayer (free from www.dessci.com)\n or Firefox/Mozilla/Netscape");}else{AMbody.insertBefore(h,AMbody.childNodes[0]);}}}if(!AMnoMathML){f=AMstrarr2docFrag(k,g.nodeType==8);var l=f.childNodes.length;g.parentNode.replaceChild(f,g);return l-1;}else{return 0;}}}}else{return 0;}}else{if(g.nodeName!="math"){for(j=0;j="5"){return null;}else{return LMnoMathMLNote();}}else{if(navigator.appName.slice(0,9)=="Microsoft"){try{var g=new ActiveXObject("MathPlayer.Factory.1");return null;}catch(f){return LMnoMathMLNote();}}else{return LMnoMathMLNote();}}}var LMcal=[61237,8492,61238,61239,8496,8497,61240,8459,8464,61241,61242,8466,8499,61243,61244,61245,61246,8475,61247,61248,61249,61250,61251,61252,61253,61254];var LMfrk=[61277,61278,8493,61279,61280,61281,61282,8460,8465,61283,61284,61285,61286,61287,61288,61289,61290,8476,61291,61292,61293,61294,61295,61296,61297,8488];var LMbbb=[61324,61325,8450,61326,61327,61328,61329,8461,61330,61331,61332,61333,61334,8469,61335,8473,8474,8477,61336,61337,61338,61339,61340,61341,61342,8484];var BIG=11,LONG=12,STRETCHY=13,MATRIX=14;var LMsqrt={input:"\\sqrt",tag:"msqrt",output:"sqrt",ttype:UNARY},LMroot={input:"\\root",tag:"mroot",output:"root",ttype:BINARY},LMfrac={input:"\\frac",tag:"mfrac",output:"/",ttype:BINARY},LMover={input:"\\stackrel",tag:"mover",output:"stackrel",ttype:BINARY},LMatop={input:"\\atop",tag:"mfrac",output:"",ttype:INFIX},LMchoose={input:"\\choose",tag:"mfrac",output:"",ttype:INFIX},LMsub={input:"_",tag:"msub",output:"_",ttype:INFIX},LMsup={input:"^",tag:"msup",output:"^",ttype:INFIX},LMtext={input:"\\mathrm",tag:"mtext",output:"text",ttype:TEXT},LMmbox={input:"\\mbox",tag:"mtext",output:"mbox",ttype:TEXT};var LMsymbols=[{input:"\\alpha",tag:"mi",output:"\u03B1",ttype:CONST},{input:"\\beta",tag:"mi",output:"\u03B2",ttype:CONST},{input:"\\gamma",tag:"mi",output:"\u03B3",ttype:CONST},{input:"\\delta",tag:"mi",output:"\u03B4",ttype:CONST},{input:"\\epsilon",tag:"mi",output:"\u03B5",ttype:CONST},{input:"\\varepsilon",tag:"mi",output:"\u025B",ttype:CONST},{input:"\\zeta",tag:"mi",output:"\u03B6",ttype:CONST},{input:"\\eta",tag:"mi",output:"\u03B7",ttype:CONST},{input:"\\theta",tag:"mi",output:"\u03B8",ttype:CONST},{input:"\\vartheta",tag:"mi",output:"\u03D1",ttype:CONST},{input:"\\iota",tag:"mi",output:"\u03B9",ttype:CONST},{input:"\\kappa",tag:"mi",output:"\u03BA",ttype:CONST},{input:"\\lambda",tag:"mi",output:"\u03BB",ttype:CONST},{input:"\\mu",tag:"mi",output:"\u03BC",ttype:CONST},{input:"\\nu",tag:"mi",output:"\u03BD",ttype:CONST},{input:"\\xi",tag:"mi",output:"\u03BE",ttype:CONST},{input:"\\pi",tag:"mi",output:"\u03C0",ttype:CONST},{input:"\\varpi",tag:"mi",output:"\u03D6",ttype:CONST},{input:"\\rho",tag:"mi",output:"\u03C1",ttype:CONST},{input:"\\varrho",tag:"mi",output:"\u03F1",ttype:CONST},{input:"\\varsigma",tag:"mi",output:"\u03C2",ttype:CONST},{input:"\\sigma",tag:"mi",output:"\u03C3",ttype:CONST},{input:"\\tau",tag:"mi",output:"\u03C4",ttype:CONST},{input:"\\upsilon",tag:"mi",output:"\u03C5",ttype:CONST},{input:"\\phi",tag:"mi",output:"\u03C6",ttype:CONST},{input:"\\varphi",tag:"mi",output:"\u03D5",ttype:CONST},{input:"\\chi",tag:"mi",output:"\u03C7",ttype:CONST},{input:"\\psi",tag:"mi",output:"\u03C8",ttype:CONST},{input:"\\omega",tag:"mi",output:"\u03C9",ttype:CONST},{input:"\\Gamma",tag:"mo",output:"\u0393",ttype:CONST},{input:"\\Delta",tag:"mo",output:"\u0394",ttype:CONST},{input:"\\Theta",tag:"mo",output:"\u0398",ttype:CONST},{input:"\\Lambda",tag:"mo",output:"\u039B",ttype:CONST},{input:"\\Xi",tag:"mo",output:"\u039E",ttype:CONST},{input:"\\Pi",tag:"mo",output:"\u03A0",ttype:CONST},{input:"\\Sigma",tag:"mo",output:"\u03A3",ttype:CONST},{input:"\\Upsilon",tag:"mo",output:"\u03A5",ttype:CONST},{input:"\\Phi",tag:"mo",output:"\u03A6",ttype:CONST},{input:"\\Psi",tag:"mo",output:"\u03A8",ttype:CONST},{input:"\\Omega",tag:"mo",output:"\u03A9",ttype:CONST},{input:"\\frac12",tag:"mo",output:"\u00BD",ttype:CONST},{input:"\\frac14",tag:"mo",output:"\u00BC",ttype:CONST},{input:"\\frac34",tag:"mo",output:"\u00BE",ttype:CONST},{input:"\\frac13",tag:"mo",output:"\u2153",ttype:CONST},{input:"\\frac23",tag:"mo",output:"\u2154",ttype:CONST},{input:"\\frac15",tag:"mo",output:"\u2155",ttype:CONST},{input:"\\frac25",tag:"mo",output:"\u2156",ttype:CONST},{input:"\\frac35",tag:"mo",output:"\u2157",ttype:CONST},{input:"\\frac45",tag:"mo",output:"\u2158",ttype:CONST},{input:"\\frac16",tag:"mo",output:"\u2159",ttype:CONST},{input:"\\frac56",tag:"mo",output:"\u215A",ttype:CONST},{input:"\\frac18",tag:"mo",output:"\u215B",ttype:CONST},{input:"\\frac38",tag:"mo",output:"\u215C",ttype:CONST},{input:"\\frac58",tag:"mo",output:"\u215D",ttype:CONST},{input:"\\frac78",tag:"mo",output:"\u215E",ttype:CONST},{input:"\\pm",tag:"mo",output:"\u00B1",ttype:CONST},{input:"\\mp",tag:"mo",output:"\u2213",ttype:CONST},{input:"\\triangleleft",tag:"mo",output:"\u22B2",ttype:CONST},{input:"\\triangleright",tag:"mo",output:"\u22B3",ttype:CONST},{input:"\\cdot",tag:"mo",output:"\u22C5",ttype:CONST},{input:"\\star",tag:"mo",output:"\u22C6",ttype:CONST},{input:"\\ast",tag:"mo",output:"\u002A",ttype:CONST},{input:"\\times",tag:"mo",output:"\u00D7",ttype:CONST},{input:"\\div",tag:"mo",output:"\u00F7",ttype:CONST},{input:"\\circ",tag:"mo",output:"\u2218",ttype:CONST},{input:"\\bullet",tag:"mo",output:"\u2022",ttype:CONST},{input:"\\oplus",tag:"mo",output:"\u2295",ttype:CONST},{input:"\\ominus",tag:"mo",output:"\u2296",ttype:CONST},{input:"\\otimes",tag:"mo",output:"\u2297",ttype:CONST},{input:"\\bigcirc",tag:"mo",output:"\u25CB",ttype:CONST},{input:"\\oslash",tag:"mo",output:"\u2298",ttype:CONST},{input:"\\odot",tag:"mo",output:"\u2299",ttype:CONST},{input:"\\land",tag:"mo",output:"\u2227",ttype:CONST},{input:"\\wedge",tag:"mo",output:"\u2227",ttype:CONST},{input:"\\lor",tag:"mo",output:"\u2228",ttype:CONST},{input:"\\vee",tag:"mo",output:"\u2228",ttype:CONST},{input:"\\cap",tag:"mo",output:"\u2229",ttype:CONST},{input:"\\cup",tag:"mo",output:"\u222A",ttype:CONST},{input:"\\sqcap",tag:"mo",output:"\u2293",ttype:CONST},{input:"\\sqcup",tag:"mo",output:"\u2294",ttype:CONST},{input:"\\uplus",tag:"mo",output:"\u228E",ttype:CONST},{input:"\\amalg",tag:"mo",output:"\u2210",ttype:CONST},{input:"\\bigtriangleup",tag:"mo",output:"\u25B3",ttype:CONST},{input:"\\bigtriangledown",tag:"mo",output:"\u25BD",ttype:CONST},{input:"\\dag",tag:"mo",output:"\u2020",ttype:CONST},{input:"\\dagger",tag:"mo",output:"\u2020",ttype:CONST},{input:"\\ddag",tag:"mo",output:"\u2021",ttype:CONST},{input:"\\ddagger",tag:"mo",output:"\u2021",ttype:CONST},{input:"\\lhd",tag:"mo",output:"\u22B2",ttype:CONST},{input:"\\rhd",tag:"mo",output:"\u22B3",ttype:CONST},{input:"\\unlhd",tag:"mo",output:"\u22B4",ttype:CONST},{input:"\\unrhd",tag:"mo",output:"\u22B5",ttype:CONST},{input:"\\sum",tag:"mo",output:"\u2211",ttype:UNDEROVER},{input:"\\prod",tag:"mo",output:"\u220F",ttype:UNDEROVER},{input:"\\bigcap",tag:"mo",output:"\u22C2",ttype:UNDEROVER},{input:"\\bigcup",tag:"mo",output:"\u22C3",ttype:UNDEROVER},{input:"\\bigwedge",tag:"mo",output:"\u22C0",ttype:UNDEROVER},{input:"\\bigvee",tag:"mo",output:"\u22C1",ttype:UNDEROVER},{input:"\\bigsqcap",tag:"mo",output:"\u2A05",ttype:UNDEROVER},{input:"\\bigsqcup",tag:"mo",output:"\u2A06",ttype:UNDEROVER},{input:"\\coprod",tag:"mo",output:"\u2210",ttype:UNDEROVER},{input:"\\bigoplus",tag:"mo",output:"\u2A01",ttype:UNDEROVER},{input:"\\bigotimes",tag:"mo",output:"\u2A02",ttype:UNDEROVER},{input:"\\bigodot",tag:"mo",output:"\u2A00",ttype:UNDEROVER},{input:"\\biguplus",tag:"mo",output:"\u2A04",ttype:UNDEROVER},{input:"\\int",tag:"mo",output:"\u222B",ttype:CONST},{input:"\\oint",tag:"mo",output:"\u222E",ttype:CONST},{input:":=",tag:"mo",output:":=",ttype:CONST},{input:"\\lt",tag:"mo",output:"<",ttype:CONST},{input:"\\gt",tag:"mo",output:">",ttype:CONST},{input:"\\ne",tag:"mo",output:"\u2260",ttype:CONST},{input:"\\neq",tag:"mo",output:"\u2260",ttype:CONST},{input:"\\le",tag:"mo",output:"\u2264",ttype:CONST},{input:"\\leq",tag:"mo",output:"\u2264",ttype:CONST},{input:"\\leqslant",tag:"mo",output:"\u2264",ttype:CONST},{input:"\\ge",tag:"mo",output:"\u2265",ttype:CONST},{input:"\\geq",tag:"mo",output:"\u2265",ttype:CONST},{input:"\\geqslant",tag:"mo",output:"\u2265",ttype:CONST},{input:"\\equiv",tag:"mo",output:"\u2261",ttype:CONST},{input:"\\ll",tag:"mo",output:"\u226A",ttype:CONST},{input:"\\gg",tag:"mo",output:"\u226B",ttype:CONST},{input:"\\doteq",tag:"mo",output:"\u2250",ttype:CONST},{input:"\\prec",tag:"mo",output:"\u227A",ttype:CONST},{input:"\\succ",tag:"mo",output:"\u227B",ttype:CONST},{input:"\\preceq",tag:"mo",output:"\u227C",ttype:CONST},{input:"\\succeq",tag:"mo",output:"\u227D",ttype:CONST},{input:"\\subset",tag:"mo",output:"\u2282",ttype:CONST},{input:"\\supset",tag:"mo",output:"\u2283",ttype:CONST},{input:"\\subseteq",tag:"mo",output:"\u2286",ttype:CONST},{input:"\\supseteq",tag:"mo",output:"\u2287",ttype:CONST},{input:"\\sqsubset",tag:"mo",output:"\u228F",ttype:CONST},{input:"\\sqsupset",tag:"mo",output:"\u2290",ttype:CONST},{input:"\\sqsubseteq",tag:"mo",output:"\u2291",ttype:CONST},{input:"\\sqsupseteq",tag:"mo",output:"\u2292",ttype:CONST},{input:"\\sim",tag:"mo",output:"\u223C",ttype:CONST},{input:"\\simeq",tag:"mo",output:"\u2243",ttype:CONST},{input:"\\approx",tag:"mo",output:"\u2248",ttype:CONST},{input:"\\cong",tag:"mo",output:"\u2245",ttype:CONST},{input:"\\Join",tag:"mo",output:"\u22C8",ttype:CONST},{input:"\\bowtie",tag:"mo",output:"\u22C8",ttype:CONST},{input:"\\in",tag:"mo",output:"\u2208",ttype:CONST},{input:"\\ni",tag:"mo",output:"\u220B",ttype:CONST},{input:"\\owns",tag:"mo",output:"\u220B",ttype:CONST},{input:"\\propto",tag:"mo",output:"\u221D",ttype:CONST},{input:"\\vdash",tag:"mo",output:"\u22A2",ttype:CONST},{input:"\\dashv",tag:"mo",output:"\u22A3",ttype:CONST},{input:"\\models",tag:"mo",output:"\u22A8",ttype:CONST},{input:"\\perp",tag:"mo",output:"\u22A5",ttype:CONST},{input:"\\smile",tag:"mo",output:"\u2323",ttype:CONST},{input:"\\frown",tag:"mo",output:"\u2322",ttype:CONST},{input:"\\asymp",tag:"mo",output:"\u224D",ttype:CONST},{input:"\\notin",tag:"mo",output:"\u2209",ttype:CONST},{input:"\\begin{eqnarray}",output:"X",ttype:MATRIX,invisible:true},{input:"\\begin{array}",output:"X",ttype:MATRIX,invisible:true},{input:"\\\\",output:"}&{",ttype:DEFINITION},{input:"\\end{eqnarray}",output:"}}",ttype:DEFINITION},{input:"\\end{array}",output:"}}",ttype:DEFINITION},{input:"\\big",tag:"mo",output:"X",atval:"1.2",ieval:"2.2",ttype:BIG},{input:"\\Big",tag:"mo",output:"X",atval:"1.6",ieval:"2.6",ttype:BIG},{input:"\\bigg",tag:"mo",output:"X",atval:"2.2",ieval:"3.2",ttype:BIG},{input:"\\Bigg",tag:"mo",output:"X",atval:"2.9",ieval:"3.9",ttype:BIG},{input:"\\left",tag:"mo",output:"X",ttype:LEFTBRACKET},{input:"\\right",tag:"mo",output:"X",ttype:RIGHTBRACKET},{input:"{",output:"{",ttype:LEFTBRACKET,invisible:true},{input:"}",output:"}",ttype:RIGHTBRACKET,invisible:true},{input:"(",tag:"mo",output:"(",atval:"1",ttype:STRETCHY},{input:"[",tag:"mo",output:"[",atval:"1",ttype:STRETCHY},{input:"\\lbrack",tag:"mo",output:"[",atval:"1",ttype:STRETCHY},{input:"\\{",tag:"mo",output:"{",atval:"1",ttype:STRETCHY},{input:"\\lbrace",tag:"mo",output:"{",atval:"1",ttype:STRETCHY},{input:"\\langle",tag:"mo",output:"\u2329",atval:"1",ttype:STRETCHY},{input:"\\lfloor",tag:"mo",output:"\u230A",atval:"1",ttype:STRETCHY},{input:"\\lceil",tag:"mo",output:"\u2308",atval:"1",ttype:STRETCHY},{input:")",tag:"mo",output:")",rtag:"mi",atval:"1",ttype:STRETCHY},{input:"]",tag:"mo",output:"]",rtag:"mi",atval:"1",ttype:STRETCHY},{input:"\\rbrack",tag:"mo",output:"]",rtag:"mi",atval:"1",ttype:STRETCHY},{input:"\\}",tag:"mo",output:"}",rtag:"mi",atval:"1",ttype:STRETCHY},{input:"\\rbrace",tag:"mo",output:"}",rtag:"mi",atval:"1",ttype:STRETCHY},{input:"\\rangle",tag:"mo",output:"\u232A",rtag:"mi",atval:"1",ttype:STRETCHY},{input:"\\rfloor",tag:"mo",output:"\u230B",rtag:"mi",atval:"1",ttype:STRETCHY},{input:"\\rceil",tag:"mo",output:"\u2309",rtag:"mi",atval:"1",ttype:STRETCHY},{input:"|",tag:"mo",output:"\u2223",atval:"1",ttype:STRETCHY},{input:"\\|",tag:"mo",output:"\u2225",atval:"1",ttype:STRETCHY},{input:"\\vert",tag:"mo",output:"\u2223",atval:"1",ttype:STRETCHY},{input:"\\Vert",tag:"mo",output:"\u2225",atval:"1",ttype:STRETCHY},{input:"\\mid",tag:"mo",output:"\u2223",atval:"1",ttype:STRETCHY},{input:"\\parallel",tag:"mo",output:"\u2225",atval:"1",ttype:STRETCHY},{input:"/",tag:"mo",output:"/",atval:"1.01",ttype:STRETCHY},{input:"\\backslash",tag:"mo",output:"\u2216",atval:"1",ttype:STRETCHY},{input:"\\setminus",tag:"mo",output:"\\",ttype:CONST},{input:"\\!",tag:"mspace",atname:"width",atval:"-0.167em",ttype:SPACE},{input:"\\,",tag:"mspace",atname:"width",atval:"0.167em",ttype:SPACE},{input:"\\>",tag:"mspace",atname:"width",atval:"0.222em",ttype:SPACE},{input:"\\:",tag:"mspace",atname:"width",atval:"0.222em",ttype:SPACE},{input:"\\;",tag:"mspace",atname:"width",atval:"0.278em",ttype:SPACE},{input:"~",tag:"mspace",atname:"width",atval:"0.333em",ttype:SPACE},{input:"\\quad",tag:"mspace",atname:"width",atval:"1em",ttype:SPACE},{input:"\\qquad",tag:"mspace",atname:"width",atval:"2em",ttype:SPACE},{input:"\\prime",tag:"mo",output:"\u2032",ttype:CONST},{input:"'",tag:"mo",output:"\u02B9",ttype:CONST},{input:"''",tag:"mo",output:"\u02BA",ttype:CONST},{input:"'''",tag:"mo",output:"\u2034",ttype:CONST},{input:"''''",tag:"mo",output:"\u2057",ttype:CONST},{input:"\\ldots",tag:"mo",output:"\u2026",ttype:CONST},{input:"\\cdots",tag:"mo",output:"\u22EF",ttype:CONST},{input:"\\vdots",tag:"mo",output:"\u22EE",ttype:CONST},{input:"\\ddots",tag:"mo",output:"\u22F1",ttype:CONST},{input:"\\forall",tag:"mo",output:"\u2200",ttype:CONST},{input:"\\exists",tag:"mo",output:"\u2203",ttype:CONST},{input:"\\Re",tag:"mo",output:"\u211C",ttype:CONST},{input:"\\Im",tag:"mo",output:"\u2111",ttype:CONST},{input:"\\aleph",tag:"mo",output:"\u2135",ttype:CONST},{input:"\\hbar",tag:"mo",output:"\u210F",ttype:CONST},{input:"\\ell",tag:"mo",output:"\u2113",ttype:CONST},{input:"\\wp",tag:"mo",output:"\u2118",ttype:CONST},{input:"\\emptyset",tag:"mo",output:"\u2205",ttype:CONST},{input:"\\infty",tag:"mo",output:"\u221E",ttype:CONST},{input:"\\surd",tag:"mo",output:"\\sqrt{}",ttype:DEFINITION},{input:"\\partial",tag:"mo",output:"\u2202",ttype:CONST},{input:"\\nabla",tag:"mo",output:"\u2207",ttype:CONST},{input:"\\triangle",tag:"mo",output:"\u25B3",ttype:CONST},{input:"\\therefore",tag:"mo",output:"\u2234",ttype:CONST},{input:"\\angle",tag:"mo",output:"\u2220",ttype:CONST},{input:"\\diamond",tag:"mo",output:"\u22C4",ttype:CONST},{input:"\\Diamond",tag:"mo",output:"\u25C7",ttype:CONST},{input:"\\neg",tag:"mo",output:"\u00AC",ttype:CONST},{input:"\\lnot",tag:"mo",output:"\u00AC",ttype:CONST},{input:"\\bot",tag:"mo",output:"\u22A5",ttype:CONST},{input:"\\top",tag:"mo",output:"\u22A4",ttype:CONST},{input:"\\square",tag:"mo",output:"\u25AB",ttype:CONST},{input:"\\Box",tag:"mo",output:"\u25A1",ttype:CONST},{input:"\\wr",tag:"mo",output:"\u2240",ttype:CONST},{input:"\\arccos",tag:"mi",output:"arccos",ttype:UNARY,func:true},{input:"\\arcsin",tag:"mi",output:"arcsin",ttype:UNARY,func:true},{input:"\\arctan",tag:"mi",output:"arctan",ttype:UNARY,func:true},{input:"\\arg",tag:"mi",output:"arg",ttype:UNARY,func:true},{input:"\\cos",tag:"mi",output:"cos",ttype:UNARY,func:true},{input:"\\cosh",tag:"mi",output:"cosh",ttype:UNARY,func:true},{input:"\\cot",tag:"mi",output:"cot",ttype:UNARY,func:true},{input:"\\coth",tag:"mi",output:"coth",ttype:UNARY,func:true},{input:"\\csc",tag:"mi",output:"csc",ttype:UNARY,func:true},{input:"\\deg",tag:"mi",output:"deg",ttype:UNARY,func:true},{input:"\\det",tag:"mi",output:"det",ttype:UNARY,func:true},{input:"\\dim",tag:"mi",output:"dim",ttype:UNARY,func:true},{input:"\\exp",tag:"mi",output:"exp",ttype:UNARY,func:true},{input:"\\gcd",tag:"mi",output:"gcd",ttype:UNARY,func:true},{input:"\\hom",tag:"mi",output:"hom",ttype:UNARY,func:true},{input:"\\inf",tag:"mo",output:"inf",ttype:UNDEROVER},{input:"\\ker",tag:"mi",output:"ker",ttype:UNARY,func:true},{input:"\\lg",tag:"mi",output:"lg",ttype:UNARY,func:true},{input:"\\lim",tag:"mo",output:"lim",ttype:UNDEROVER},{input:"\\liminf",tag:"mo",output:"liminf",ttype:UNDEROVER},{input:"\\limsup",tag:"mo",output:"limsup",ttype:UNDEROVER},{input:"\\ln",tag:"mi",output:"ln",ttype:UNARY,func:true},{input:"\\log",tag:"mi",output:"log",ttype:UNARY,func:true},{input:"\\max",tag:"mo",output:"max",ttype:UNDEROVER},{input:"\\min",tag:"mo",output:"min",ttype:UNDEROVER},{input:"\\Pr",tag:"mi",output:"Pr",ttype:UNARY,func:true},{input:"\\sec",tag:"mi",output:"sec",ttype:UNARY,func:true},{input:"\\sin",tag:"mi",output:"sin",ttype:UNARY,func:true},{input:"\\sinh",tag:"mi",output:"sinh",ttype:UNARY,func:true},{input:"\\sup",tag:"mo",output:"sup",ttype:UNDEROVER},{input:"\\tan",tag:"mi",output:"tan",ttype:UNARY,func:true},{input:"\\tanh",tag:"mi",output:"tanh",ttype:UNARY,func:true},{input:"\\gets",tag:"mo",output:"\u2190",ttype:CONST},{input:"\\leftarrow",tag:"mo",output:"\u2190",ttype:CONST},{input:"\\to",tag:"mo",output:"\u2192",ttype:CONST},{input:"\\rightarrow",tag:"mo",output:"\u2192",ttype:CONST},{input:"\\leftrightarrow",tag:"mo",output:"\u2194",ttype:CONST},{input:"\\uparrow",tag:"mo",output:"\u2191",ttype:CONST},{input:"\\downarrow",tag:"mo",output:"\u2193",ttype:CONST},{input:"\\updownarrow",tag:"mo",output:"\u2195",ttype:CONST},{input:"\\Leftarrow",tag:"mo",output:"\u21D0",ttype:CONST},{input:"\\Rightarrow",tag:"mo",output:"\u21D2",ttype:CONST},{input:"\\Leftrightarrow",tag:"mo",output:"\u21D4",ttype:CONST},{input:"\\iff",tag:"mo",output:"~\\Longleftrightarrow~",ttype:DEFINITION},{input:"\\Uparrow",tag:"mo",output:"\u21D1",ttype:CONST},{input:"\\Downarrow",tag:"mo",output:"\u21D3",ttype:CONST},{input:"\\Updownarrow",tag:"mo",output:"\u21D5",ttype:CONST},{input:"\\mapsto",tag:"mo",output:"\u21A6",ttype:CONST},{input:"\\longleftarrow",tag:"mo",output:"\u2190",ttype:LONG},{input:"\\longrightarrow",tag:"mo",output:"\u2192",ttype:LONG},{input:"\\longleftrightarrow",tag:"mo",output:"\u2194",ttype:LONG},{input:"\\Longleftarrow",tag:"mo",output:"\u21D0",ttype:LONG},{input:"\\Longrightarrow",tag:"mo",output:"\u21D2",ttype:LONG},{input:"\\Longleftrightarrow",tag:"mo",output:"\u21D4",ttype:LONG},{input:"\\longmapsto",tag:"mo",output:"\u21A6",ttype:CONST},LMsqrt,LMroot,LMfrac,LMover,LMsub,LMsup,LMtext,LMmbox,LMatop,LMchoose,{input:"\\acute",tag:"mover",output:"\u00B4",ttype:UNARY,acc:true},{input:"\\grave",tag:"mover",output:"\u0060",ttype:UNARY,acc:true},{input:"\\breve",tag:"mover",output:"\u02D8",ttype:UNARY,acc:true},{input:"\\check",tag:"mover",output:"\u02C7",ttype:UNARY,acc:true},{input:"\\dot",tag:"mover",output:".",ttype:UNARY,acc:true},{input:"\\ddot",tag:"mover",output:"..",ttype:UNARY,acc:true},{input:"\\mathring",tag:"mover",output:"\u00B0",ttype:UNARY,acc:true},{input:"\\vec",tag:"mover",output:"\u20D7",ttype:UNARY,acc:true},{input:"\\overrightarrow",tag:"mover",output:"\u20D7",ttype:UNARY,acc:true},{input:"\\overleftarrow",tag:"mover",output:"\u20D6",ttype:UNARY,acc:true},{input:"\\hat",tag:"mover",output:"\u005E",ttype:UNARY,acc:true},{input:"\\widehat",tag:"mover",output:"\u0302",ttype:UNARY,acc:true},{input:"\\tilde",tag:"mover",output:"~",ttype:UNARY,acc:true},{input:"\\widetilde",tag:"mover",output:"\u02DC",ttype:UNARY,acc:true},{input:"\\bar",tag:"mover",output:"\u203E",ttype:UNARY,acc:true},{input:"\\overbrace",tag:"mover",output:"\u23B4",ttype:UNARY,acc:true},{input:"\\overline",tag:"mover",output:"\u00AF",ttype:UNARY,acc:true},{input:"\\underbrace",tag:"munder",output:"\u23B5",ttype:UNARY,acc:true},{input:"\\underline",tag:"munder",output:"\u00AF",ttype:UNARY,acc:true},{input:"\\displaystyle",tag:"mstyle",atname:"displaystyle",atval:"true",ttype:UNARY},{input:"\\textstyle",tag:"mstyle",atname:"displaystyle",atval:"false",ttype:UNARY},{input:"\\scriptstyle",tag:"mstyle",atname:"scriptlevel",atval:"1",ttype:UNARY},{input:"\\scriptscriptstyle",tag:"mstyle",atname:"scriptlevel",atval:"2",ttype:UNARY},{input:"\\textrm",tag:"mstyle",output:"\\mathrm",ttype:DEFINITION},{input:"\\mathbf",tag:"mstyle",atname:"mathvariant",atval:"bold",ttype:UNARY},{input:"\\textbf",tag:"mstyle",atname:"mathvariant",atval:"bold",ttype:UNARY},{input:"\\mathit",tag:"mstyle",atname:"mathvariant",atval:"italic",ttype:UNARY},{input:"\\textit",tag:"mstyle",atname:"mathvariant",atval:"italic",ttype:UNARY},{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: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}];function compareNames(g,f){if(g.input>f.input){return 1;}else{return -1;}}var LMnames=[];function LMinitSymbols(){LMsymbols.sort(compareNames);for(i=0;i>1;if(g[f]=LMnames[f];}LMpreviousSymbol=LMcurrentSymbol;if(m!=""){LMcurrentSymbol=LMsymbols[l].ttype;return LMsymbols[l];}LMcurrentSymbol=CONST;f=1;s=q.slice(0,1);if("0"<=s&&s<="9"){r="mn";}else{r=(("A">s||s>"Z")&&("a">s||s>"z")?"mo":"mi");}return{input:s,tag:r,output:s,ttype:CONST};}var LMpreviousSymbol,LMcurrentSymbol;function LMparseSexpr(v){var z,w,q,f,D,s,r=document.createDocumentFragment();v=LMremoveCharsAndBlanks(v,0);z=LMgetSymbol(v);if(z==null||z.ttype==RIGHTBRACKET){return[null,v,null];}if(z.ttype==DEFINITION){v=z.output+LMremoveCharsAndBlanks(v,z.input.length);z=LMgetSymbol(v);if(z==null||z.ttype==RIGHTBRACKET){return[null,v,null];}}v=LMremoveCharsAndBlanks(v,z.input.length);switch(z.ttype){case SPACE:w=LMcreateElementMathML(z.tag);w.setAttribute(z.atname,z.atval);return[w,v,z.tag];case UNDEROVER:if(isIE){if(z.input.substr(0,4)=="\\big"){v="\\"+z.input.substr(4)+v;z=LMgetSymbol(v);z.ttype=UNDEROVER;v=LMremoveCharsAndBlanks(v,z.input.length);}}return[LMcreateMmlNode(z.tag,document.createTextNode(z.output)),v,z.tag];case CONST:var m=z.output;if(isIE){if(z.input=="'"){m="\u2032";}else{if(z.input=="''"){m="\u2033";}else{if(z.input=="'''"){m="\u2033\u2032";}else{if(z.input=="''''"){m="\u2033\u2033";}else{if(z.input=="\\square"){m="\u25A1";}else{if(z.input.substr(0,5)=="\\frac"){var h=z.input.substr(6,1);if(h=="5"||h=="6"){v=z.input.replace(/\\frac/,"\\frac ")+v;return[w,v,z.tag];}}}}}}}}w=LMcreateMmlNode(z.tag,document.createTextNode(m));return[w,v,z.tag];case LONG:w=LMcreateMmlNode(z.tag,document.createTextNode(z.output));w.setAttribute("minsize","1.5");w.setAttribute("maxsize","1.5");w=LMcreateMmlNode("mover",w);w.appendChild(LMcreateElementMathML("mspace"));return[w,v,z.tag];case STRETCHY:if(isIE&&z.input=="\\backslash"){z.output="\\";}w=LMcreateMmlNode(z.tag,document.createTextNode(z.output));if(z.input=="|"||z.input=="\\vert"||z.input=="\\|"||z.input=="\\Vert"){w.setAttribute("lspace","0em");w.setAttribute("rspace","0em");}w.setAttribute("maxsize",z.atval);if(z.rtag!=null){return[w,v,z.rtag];}else{return[w,v,z.tag];}case BIG:var l=z.atval;if(isIE){l=z.ieval;}z=LMgetSymbol(v);if(z==null){return[null,v,null];}v=LMremoveCharsAndBlanks(v,z.input.length);w=LMcreateMmlNode(z.tag,document.createTextNode(z.output));if(isIE){var F=LMcreateElementMathML("mspace");F.setAttribute("height",l+"ex");w=LMcreateMmlNode("mrow",w);w.appendChild(F);}else{w.setAttribute("minsize",l);w.setAttribute("maxsize",l);}return[w,v,z.tag];case LEFTBRACKET:if(z.input=="\\left"){z=LMgetSymbol(v);if(z!=null){if(z.input=="."){z.invisible=true;}v=LMremoveCharsAndBlanks(v,z.input.length);}}q=LMparseExpr(v,true,false);if(z==null||(typeof z.invisible=="boolean"&&z.invisible)){w=LMcreateMmlNode("mrow",q[0]);}else{w=LMcreateMmlNode("mo",document.createTextNode(z.output));w=LMcreateMmlNode("mrow",w);w.appendChild(q[0]);}return[w,q[1],q[2]];case MATRIX:if(z.input=="\\begin{array}"){var B="";z=LMgetSymbol(v);v=LMremoveCharsAndBlanks(v,0);if(z==null){B="l";}else{v=LMremoveCharsAndBlanks(v,z.input.length);if(z.input!="{"){B="l";}else{do{z=LMgetSymbol(v);if(z!=null){v=LMremoveCharsAndBlanks(v,z.input.length);if(z.input!="}"){B=B+z.input;}}}while(z!=null&&z.input!=""&&z.input!="}");}}q=LMparseExpr("{"+v,true,true);w=LMcreateMmlNode("mtable",q[0]);B=B.replace(/l/g,"left ");B=B.replace(/r/g,"right ");B=B.replace(/c/g,"center ");w.setAttribute("columnalign",B);w.setAttribute("displaystyle","false");if(isIE){return[w,q[1],null];}var k=LMcreateElementMathML("mspace");k.setAttribute("width","0.167em");var E=LMcreateElementMathML("mspace");E.setAttribute("width","0.167em");var g=LMcreateMmlNode("mrow",k);g.appendChild(w);g.appendChild(E);return[g,q[1],null];}else{q=LMparseExpr("{"+v,true,true);w=LMcreateMmlNode("mtable",q[0]);if(isIE){w.setAttribute("columnspacing","0.25em");}else{w.setAttribute("columnspacing","0.167em");}w.setAttribute("columnalign","right center left");w.setAttribute("displaystyle","true");w=LMcreateMmlNode("mrow",w);return[w,q[1],null];}case TEXT:if(v.charAt(0)=="{"){D=v.indexOf("}");}else{D=0;}if(D==-1){D=v.length;}s=v.slice(1,D);if(s.charAt(0)==" "){w=LMcreateElementMathML("mspace");w.setAttribute("width","0.33em");r.appendChild(w);}r.appendChild(LMcreateMmlNode(z.tag,document.createTextNode(s)));if(s.charAt(s.length-1)==" "){w=LMcreateElementMathML("mspace");w.setAttribute("width","0.33em");r.appendChild(w);}v=LMremoveCharsAndBlanks(v,D+1);return[LMcreateMmlNode("mrow",r),v,null];case UNARY:q=LMparseSexpr(v);if(q[0]==null){return[LMcreateMmlNode(z.tag,document.createTextNode(z.output)),v];}if(typeof z.func=="boolean"&&z.func){s=v.charAt(0);if(s=="^"||s=="_"||s==","){return[LMcreateMmlNode(z.tag,document.createTextNode(z.output)),v,z.tag];}else{w=LMcreateMmlNode("mrow",LMcreateMmlNode(z.tag,document.createTextNode(z.output)));if(isIE){var F=LMcreateElementMathML("mspace");F.setAttribute("width","0.167em");w.appendChild(F);}w.appendChild(q[0]);return[w,q[1],z.tag];}}if(z.input=="\\sqrt"){if(isIE){var F=LMcreateElementMathML("mspace");F.setAttribute("height","1.2ex");F.setAttribute("width","0em");w=LMcreateMmlNode(z.tag,q[0]);w.appendChild(F);return[w,q[1],z.tag];}else{return[LMcreateMmlNode(z.tag,q[0]),q[1],z.tag];}}else{if(typeof z.acc=="boolean"&&z.acc){w=LMcreateMmlNode(z.tag,q[0]);var m=z.output;if(isIE){if(z.input=="\\hat"){m="\u0302";}else{if(z.input=="\\widehat"){m="\u005E";}else{if(z.input=="\\bar"){m="\u00AF";}else{if(z.input=="\\grave"){m="\u0300";}else{if(z.input=="\\tilde"){m="\u0303";}}}}}}var g=LMcreateMmlNode("mo",document.createTextNode(m));if(z.input=="\\vec"||z.input=="\\check"){g.setAttribute("maxsize","1.2");}if(isIE&&z.input=="\\bar"){g.setAttribute("maxsize","0.5");}if(z.input=="\\underbrace"||z.input=="\\underline"){g.setAttribute("accentunder","true");}else{g.setAttribute("accent","true");}w.appendChild(g);if(z.input=="\\overbrace"||z.input=="\\underbrace"){w.ttype=UNDEROVER;}return[w,q[1],z.tag];}else{if(!isIE&&typeof z.codes!="undefined"){for(D=0;D64&&s.charCodeAt(A)<91){o=o+String.fromCharCode(z.codes[s.charCodeAt(A)-65]);}else{o=o+s.charAt(A);}}if(q[0].nodeName=="mi"){q[0]=LMcreateElementMathML("mo").appendChild(document.createTextNode(o));}else{q[0].replaceChild(LMcreateElementMathML("mo").appendChild(document.createTextNode(o)),q[0].childNodes[D]);}}}}w=LMcreateMmlNode(z.tag,q[0]);w.setAttribute(z.atname,z.atval);if(z.input=="\\scriptstyle"||z.input=="\\scriptscriptstyle"){w.setAttribute("displaystyle","false");}return[w,q[1],z.tag];}}case BINARY:q=LMparseSexpr(v);if(q[0]==null){return[LMcreateMmlNode("mo",document.createTextNode(z.input)),v,null];}f=LMparseSexpr(q[1]);if(f[0]==null){return[LMcreateMmlNode("mo",document.createTextNode(z.input)),v,null];}if(z.input=="\\root"||z.input=="\\stackrel"){r.appendChild(f[0]);}r.appendChild(q[0]);if(z.input=="\\frac"){r.appendChild(f[0]);}return[LMcreateMmlNode(z.tag,r),f[1],z.tag];case INFIX:v=LMremoveCharsAndBlanks(v,z.input.length);return[LMcreateMmlNode("mo",document.createTextNode(z.output)),v,z.tag];default:return[LMcreateMmlNode(z.tag,document.createTextNode(z.output)),v,z.tag];}}function LMparseIexpr(l){var k,h,g,j,o,q,m;l=LMremoveCharsAndBlanks(l,0);h=LMgetSymbol(l);o=LMparseSexpr(l);j=o[0];l=o[1];q=o[2];k=LMgetSymbol(l);if(k.ttype==INFIX){l=LMremoveCharsAndBlanks(l,k.input.length);o=LMparseSexpr(l);if(o[0]==null){o[0]=LMcreateMmlNode("mo",document.createTextNode("\u25A1"));}l=o[1];q=o[2];if(k.input=="_"||k.input=="^"){g=LMgetSymbol(l);q=null;m=((h.ttype==UNDEROVER)||(j.ttype==UNDEROVER));if(k.input=="_"&&g.input=="^"){l=LMremoveCharsAndBlanks(l,g.input.length);var f=LMparseSexpr(l);l=f[1];q=f[2];j=LMcreateMmlNode((m?"munderover":"msubsup"),j);j.appendChild(o[0]);j.appendChild(f[0]);}else{if(k.input=="_"){j=LMcreateMmlNode((m?"munder":"msub"),j);j.appendChild(o[0]);}else{j=LMcreateMmlNode((m?"mover":"msup"),j);j.appendChild(o[0]);}}j=LMcreateMmlNode("mrow",j);}else{j=LMcreateMmlNode(k.tag,j);if(k.input=="\\atop"||k.input=="\\choose"){j.setAttribute("linethickness","0ex");}j.appendChild(o[0]);if(k.input=="\\choose"){j=LMcreateMmlNode("mfenced",j);}}}return[j,l,q];}function LMparseExpr(s,r,B){var A,v,l,E,I,o=document.createDocumentFragment();do{s=LMremoveCharsAndBlanks(s,0);l=LMparseIexpr(s);v=l[0];s=l[1];I=l[2];A=LMgetSymbol(s);if(v!=undefined){if((I=="mn"||I=="mi")&&A!=null&&typeof A.func=="boolean"&&A.func){var H=LMcreateElementMathML("mspace");H.setAttribute("width","0.167em");v=LMcreateMmlNode("mrow",v);v.appendChild(H);}o.appendChild(v);}}while((A.ttype!=RIGHTBRACKET)&&A!=null&&A.output!="");I=null;if(A.ttype==RIGHTBRACKET){if(A.input=="\\right"){s=LMremoveCharsAndBlanks(s,A.input.length);A=LMgetSymbol(s);if(A!=null&&A.input=="."){A.invisible=true;}if(A!=null){I=A.rtag;}}if(A!=null){s=LMremoveCharsAndBlanks(s,A.input.length);}var F=o.childNodes.length;if(B&&F>0&&o.childNodes[F-1].nodeName=="mrow"&&F>1&&o.childNodes[F-2].nodeName=="mo"&&o.childNodes[F-2].firstChild.nodeValue=="&"){var g=[];var w=o.childNodes.length;for(E=0;B&&E2){o.removeChild(o.firstChild);o.removeChild(o.firstChild);}G.appendChild(LMcreateMmlNode("mtr",h));}return[G,s];}if(typeof A.invisible!="boolean"||!A.invisible){v=LMcreateMmlNode("mo",document.createTextNode(A.output));o.appendChild(v);}}return[o,s,I];}function LMparseMath(j){var f,h=LMcreateElementMathML("mstyle");if(LMmathcolor!=""){h.setAttribute("mathcolor",LMmathcolor);}if(LMmathfontfamily!=""){h.setAttribute("fontfamily",LMmathfontfamily);}h.appendChild(LMparseExpr(j.replace(/^\s+/g,""),false,false)[0]);h=LMcreateMmlNode("math",h);if(LMshowasciiformulaonhover){h.setAttribute("title",j.replace(/\s+/g," "));}var g=LMcreateElementXHTML("span");g.style.fontSize=mathfontsize;if(LMmathfontfamily!=""){g.style.fontFamily=LMmathfontfamily;}g.appendChild(h);return g;}function LMstrarr2docFrag(f,k){var o=document.createDocumentFragment();var m=false;for(var l=0;l1||q){if(LMcheckForMathML){LMcheckForMathML=false;var h=LMisMathMLavailable();LMnoMathML=h!=null;if(LMnoMathML&&LMnotifyIfNoMathML){if(LMalertIfNoMathML){alert("To view the ASCIIMathML notation use Internet Explorer 6 +\nMathPlayer (free from www.dessci.com)\n or Firefox/Mozilla/Netscape");}else{LMbody.insertBefore(h,LMbody.childNodes[0]);}}}if(!LMnoMathML){f=LMstrarr2docFrag(k,g.nodeType==8);var l=f.childNodes.length;g.parentNode.replaceChild(f,g);return l-1;}else{return 0;}}}}else{return 0;}}else{if(g.nodeName!="math"){for(j=0;j$\\displaystyle{$1}$
');f=f.replace(/\\begin{(theorem|lemma|proposition|corollary)}((.|\n)*?)\\end{\1}/g,function(j,h,g){tcnt++;return""+h.charAt(0).toUpperCase()+h.slice(1)+" "+tcnt+". "+g.replace(/^\s*<\/?\w+\/?>|\s*<\/?\w+\/?>$/g,"")+"";});f=f.replace(/\\begin{(definition|example|remark|problem|exercise|conjecture|solution)}((.|\n)*?)\\end{\1}/g,function(j,h,g){dcnt++;return""+h.charAt(0).toUpperCase()+h.slice(1)+" "+dcnt+". "+g.replace(/^\s*<\/?\w+\/?>|\s*<\/?\w+\/?>$/g,"");});f=f.replace(/\\begin{proof}((.|\n)*?)\\end{proof}/g,function(h,g){return"Proof: "+g.replace(/^\s*<\/?\w+\/?>|\s*<\/?\w+\/?>$/g,"")+" □";});f=f.replace(/\\emph{(.*?)}/g,"$1");f=f.replace(/\\textbf{(.*?)}/g,"$1");f=f.replace(/\\cite{(.*?)}/g,"[$1]");f=f.replace(/\\chapter{(.*?)}/g,"$1
");f=f.replace(/\\section{(.*?)}(\s*<\/?(br|p)\s?\/?>)?/g,"$1
");f=f.replace(/\\subsection{(.*?)}/g,"$1
");f=f.replace(/\\begin{itemize}(\s*<\/?(br|p)\s?\/?>)?/g,"");f=f.replace(/\\item\s((.|\n)*?)(?=(\\item|\\end))/g,"- $1
");f=f.replace(/\\end{itemize}(\s*<\/?(br|p)\s?\/?>)?/g,"
");f=f.replace(/\\begin{enumerate}(\s*<\/?(br|p)\s?\/?>)?/g,"");f=f.replace(/\\end{enumerate}(\s*<\/?(br|p)\s?\/?>)?/g,"
");f=f.replace(/\\item\[(.*?)]{(.*?)}/g,"$1$2");f=f.replace(/\\begin{description}/g,"");f=f.replace(/\\end{description}/g,"
");f=f.replace(/\\newline\b/g,"
");f=f.replace(/\\newpage\b/g,'
');f=f.replace(/\\par\b/g,"
");f=f.replace(/\\bigskip/g,'
');f=f.replace(/\\medskip/g,'
');f=f.replace(/\\smallskip/g,'
');f=f.replace(/\\begin{center}(.*?)\\end{center}/g,'$1
');f=f.replace(/