gollum 1.1.1 → 1.2.0

data/lib/gollum/frontend/public/javascript/MathJax/jax/output/HTML-CSS/imageFonts.js

@@ -1,185 +1,18 @@
-/*************************************************************
- *
- *  MathJax/jax/output/HTML-CSS/imageFonts.js
+/*
+ *  ../SourceForge/trunk/mathjax/jax/output/HTML-CSS/imageFonts.js
  *  
- *  Implements the image fallback fonts for the HTML-CSS OutputJax.
+ *  Copyright (c) 2010 Design Science, Inc.
  *
- *  ---------------------------------------------------------------------
- *  
- *  Copyright (c) 2009 Design Science, Inc.
+ *  Part of the MathJax library.
+ *  See http://www.mathjax.org for details.
  * 
- *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  Licensed under the Apache License, Version 2.0;
  *  you may not use this file except in compliance with the License.
- *  You may obtain a copy of the License at
- * 
+ *
  *      http://www.apache.org/licenses/LICENSE-2.0
- * 
- *  Unless required by applicable law or agreed to in writing, software
- *  distributed under the License is distributed on an "AS IS" BASIS,
- *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- *  See the License for the specific language governing permissions and
- *  limitations under the License.
  */
 
-(function (HUB,HTMLCSS,AJAX) {
-  HUB.Register.LoadHook(HTMLCSS.fontDir + "/fontdata.js",function () {
-
-    HTMLCSS.Augment({
-      allowWebFonts: false,
-      
-      imgDir: HTMLCSS.webfontDir+"/png",
-      imgSize: ['050','060','071','085',100,120,141,168,200,238,283,336,400,476],
-      imgBaseIndex: 4,      // set by initImg()
-      imgSizeForEm: {},     // cache of indexes by em-size
-      imgSizeForScale: {},  // cache of indexes by scale for a given em-size
-
-      handleImg: function (span,font,c,n,text) {
-        if (text.length) {this.addText(span,text)}
-        var orig = c[5].orig; if (!orig) {orig = c[5].orig = [c[0],c[1],c[2],c[3],c[4]]}
-        var bscale = this.imgBrowserZoom(); if (!span.scale) {span.scale = 1}
-        var index = this.imgIndex(span.scale*bscale);
-        if (index == this.imgEmWidth.length-1 &&
-            this.em*span.scale*bscale/this.imgEmWidth[index] > 1.1)
-              {bscale = this.imgEmWidth[index]/(this.em*span.scale)}
-        var factor = this.imgEmWidth[index]/(this.em*(span.scale||1)*bscale);
-        c[0] = orig[0]*factor; c[1] = orig[1]*factor; c[2] = orig[2]*factor;
-        c[3] = orig[3]*factor; c[4] = orig[4]*factor;
-        var dir = this.imgDir+"/"+font.directory+"/"+this.imgSize[index];
-        var chr = n.toString(16).toUpperCase(); while (chr.length < 4) {chr = "0"+chr};
-        var file = dir+"/"+chr+".png";
-        var img = c[5].img[index];
-        var style = {width:Math.floor(img[0]/bscale+.5)+"px", height:Math.floor(img[1]/bscale+.5)+"px"};
-        if (img[2]) {style.verticalAlign = Math.floor(-img[2]/bscale+.5)+"px"}
-        if (c[3] < 0) {style.marginLeft = this.Em(c[3]/1000)}
-        if (c[4] != c[2]) {style.marginRight = this.Em((c[2]-c[4])/1000)}
-        if (this.msieIE6) {
-          style.filter = "progid:DXImageTransform.Microsoft." +
-            "AlphaImageLoader(src='"+AJAX.fileURL(file)+"', sizingMethod='scale')";
-          file = this.directory+"/blank.gif"
-        }
-        this.addElement(span,"img",{src:AJAX.fileURL(file), style:style});
-        return "";
-      },
-      
-      defineImageData: function (def) {
-        for (var font in def) {if (def.hasOwnProperty(font)) {
-          var FONT = HTMLCSS.FONTDATA.FONTS[font];
-          if (FONT) {
-            font = def[font];
-            for (var n in font) {if (font.hasOwnProperty(n) && FONT[n]) {FONT[n][5] = {img: font[n]}}}
-          }
-        }}
-      },
-      
-      initImg: function (span) {
-        if (this.imgSizeForEm[this.em]) {this.imgBaseIndex = this.imgSizeForEm[this.em]}
-        for (var i = 0, m = this.imgEmWidth.length-1; i < m; i++)
-          {if (this.em <= this.imgEmWidth[i]) break}
-        if (i && this.imgEmWidth[i] - this.em > this.em - this.imgEmWidth[i-1]) {i--}
-        this.imgSizeForEm[this.em] = this.imgBaseIndex = i;
-      },
-      
-      imgIndex: function (scale) {
-        if (!scale) {return this.imgBaseIndex}
-        if (!this.imgSizeForScale[this.em]) {this.imgSizeForScale[this.em] = {}}
-        if (this.imgSizeForScale[this.em][scale]) {return this.imgSizeForScale[this.em][scale]}
-        var em = this.em * scale;
-        for (var i = 0, m = this.imgEmWidth.length-1; i < m; i++)
-          {if (em <= this.imgEmWidth[i]) break}
-        if (i && this.imgEmWidth[i] - em > em - this.imgEmWidth[i-1]) {i--}
-        this.imgSizeForScale[this.em][scale] = i;
-        return i;
-      },
-      
-      imgBrowserZoom: function () {return 1}
-      
-    });
-    
-    HUB.Browser.Select({
-      
-      Firefox: function (browser) {
-        var ZDIV = HTMLCSS.addElement(document.body,"div",{
-          style: {
-            display:"none", visibility:"hidden", overflow:"scroll",
-            position:"absolute", top:0, left: 0, width:"200px", height:"200px"
-          }
-        });
-        
-        var ZFRAME = HTMLCSS.addElement(ZDIV,"div",{
-          style: {position:"absolute", left:0, top:0, right:0, bottom:0}
-        });
-
-        HTMLCSS.Augment({
-          imgSpaceBug: true,
-          imgSpace: String.fromCharCode(0xA0),
-          
-          imgZoomLevel: (browser.isMac ?
-            {50:.3, 30:.5, 22:.67, 19:.8, 16:.9, 15:1, 13:1.1, 12:1.2,
-              11:1.33, 10:1.5, 9:1.7, 7:2, 6:2.4, 5:3,  0:15} :
-            {56:.3, 34:.5, 25:.67, 21:.8, 19:.9, 17:1, 15:1.1, 14:1.2,
-              13:1.33, 11:1.5, 10:1.7, 8:2, 7:2.4, 6:3,  0:17}
-          ),
-        
-          imgZoomDiv: ZDIV,
-          
-          imgBrowserZoom: function () {
-            var size = this.imgZoomLevel;
-            ZDIV.style.display = "";
-            var ratio = (ZDIV.offsetWidth-ZFRAME.offsetWidth);
-            ratio = (size[ratio] ? size[ratio] : size[0]/ratio);
-            ZDIV.style.display = "none";
-            return ratio;
-          }
-        });
-      },
-
-      Safari: function (browser) {
-	// for iPhone and iTouch
-//        var webkit = (navigator.appVersion+"AppleWebKit/530").match(/AppleWebKit\/(\d+)/)[1];
-	HTMLCSS.Augment({
-//          imgHeightBug: (!browser.isMac || webkit > 525),
-//          imgDepthBug:  (!browser.isMac || webkit > 525),
-          imgBrowserZoom: function () {return 3}
-        });
-      },
-      
-      Chrome: function (browser) {
-	HTMLCSS.Augment({
-          imgHeightBug: true,
-          imgBrowserZoom: function () {return 3}
-        });
-      },
-      
-      Opera: function (browser) {
-        HTMLCSS.Augment({
-          imgSpaceBug: true,
-          imgSpace: String.fromCharCode(0xA0)+String.fromCharCode(0xA0),
-          
-          imgDoc: (document.compatMode == "BackCompat" ? document.body :
-                   document.documentElement),
+MathJax.Unpack([
+  ['(','function(','b,c,a){var d="1.0";b.Register.LoadHook(c.fontDir+"/fontdata.js",','function(){','c.Augment({allowWebFonts:false,imgDir:c.webfontDir+"/png",imgPacked:(','MathJax.','isPacked||','c.config.useOldImageData','?"":"/unpacked"),imgSize:["050","060","071","085",100,120,141,168,200,238,283,336,400,476],imgBaseIndex:4,imgSizeForEm:{},imgSizeForScale:{},handleImg:',1,'t,i,r,h,u){if(u.length){this.addText(t,u)}var s=r[5].orig;if(!s){s=r[5].orig=[r[0],r[1],r[2],r[3],r[4]]}var m=this.imgBrowserZoom();if(!t.scale){t.scale=1}var p=this.imgIndex(t.scale*m);if(p==','this.imgEmWidth','.length-1&&this.em*t.scale*m/',11,'[p]>1.1){m=',11,'[p]/(this.em','*t.scale)}var q=',11,16,'*(t.scale||1)*m);r[0]=s[0]*q;r[1]=s[1]*q;r[2]=s[2]*q;r[3]=s[3]*q;r[4]=s[4]*q;var k=this.imgDir+"/"+i.directory+"/"+this.imgSize[p];var l=h.toString(16).toUpperCase();while(l.length<4){l="0"+l}var j=k+"/"+l+".png";var o=r[5].img[p];var g={width:','Math.floor','(o[0',']/m+0.5)+"px','",height:',21,'(o[1',23,'"};if(o[2]){g.verticalAlign=',21,'(-o[2',23,'"}if(r[3]<0){g.marginLeft=this.Em(r[3]/1000)}if(r[4]!=r[2]){g.marginRight=this.Em((r[2]-r[4])/1000)}if(this.msieIE6){g.filter="progid:DXImageTransform.Microsoft.AlphaImageLoader(src=\'"+a.fileURL(j)+"\', sizingMethod=\'scale\')";j=this.directory+"/blank.gif"}this','.addElement(','t,"img",{src:a.fileURL(j),style:g});return""},defineImageData:',1,'i){for(var g in i){if(i','.hasOwnProperty(','g)){','var h=c.FONTDATA.FONTS','[g];if(h){g=i[g];for(var j in g){if(g',37,'j)&&h[j]){h[j][5]={img:g[j]}}}}}}},initImg:',1,'j){if(','this.imgSizeForEm[this.em',']){','this.imgBaseIndex','=',45,']}for(var h=0,g=',11,'.length-1;h<g;h++){if(','this.em<=',11,'[h]){break}}if(h&&',11,'[h]-this.em>this.em-',11,'[h-1]){h--}',45,']=',47,'=h},imgIndex:',1,'k){if(!k){','return ',47,'}if(!','this.imgSizeForScale[this.em',']){',69,']={}}if(',69,'][k]){',66,69,'][k]}','var j=this.','em*k;for(var h=0,g=',11,52,'j<=',11,'[h]){break}}if(h&&',11,'[h]-j>j-',11,'[h-1]){h--}',69,'][k]=h;',66,'h},','imgBrowserZoom:function(){',66,'1}});b.Browser.Select({Firefox:',1,'h){var g=c',33,'document.body',',"div",{style:{','display:"none",visibility:"hidden",overflow:"scroll",','position:"absolute",','top:0,left:0,width:"200px",height:"200px"}});var i=c',33,'g',100,102,'left:0,top:0,right:0,bottom:0}});','c.Augment({imgSpaceBug:true,imgSpace:String.fromCharCode(160','),','imgZoomLevel',':(h.isMac?{50:0.3,30:0.5,22:0.67,19:0.8,16:0.9,15:1,13:1.1,12:1.2,11:1.33,10:1.5,9:1.7,7:2,6:2.4,5:3,0:15}:{56:0.3,34:0.5,25:0.67,21:0.8,19:0.9,17:1,15:1.1,14:1.2,13:1.33,11:1.5,10:1.7,8:2,7:2.4,6:3,0:17}),imgZoomDiv:g,',93,78,111,';','g.style.display','="";var k=(g.offsetWidth-i.offsetWidth);k=(j[k]?j[k]:j[0]/k);',117,'="none";',66,'k}})},Safari:',1,'g){c.Augment({',93,66,'3}})},Chrome:',1,124,'imgHeightBug:true,',93,66,'3}})},Opera:',1,'g){',109,')+String.fromCharCode(160),imgDoc:(document.compatMode=="BackCompat"?',99,':document.documentElement),',93,'if(g.isMac){',66,'3}var h=','this.imgDoc.','clientHeight,i=',21,'(15*h/','window.innerHeight',');if(',144,'clientWidth<',144,'scrollWidth-i){h+=i}',66,'parseFloat((',148,'/h).toFixed(1))}})}});var f=',3,39,'.MathJax_Main[8212][5].img;c.imgEmWidth=[];for(var j=0,g=h.length;j<g;j++){c.imgEmWidth[j]=h[j][0]}};var e=c.imgDir+c.imgPacked;if(',7,'){e=c.webfontDir}',5,'Callback.Queue(["Require",a,e+"/imagedata.js"],f,["loadComplete",a,c.directory+"/imageFonts.js"])})})(',5,'Hub,',5,'OutputJax["HTML-CSS"],',5,'Ajax);']
+]);
 
-          imgBrowserZoom: function () {
-            if (browser.isMac) {return 3}  // Mac Opera scales very nicely
-            var H = this.imgDoc.clientHeight, d = Math.floor(15*H/window.innerHeight);
-            if (this.imgDoc.clientWidth < this.imgDoc.scrollWidth-d) {H += d}
-            return parseFloat((window.innerHeight/H+.05).toString().replace(/(\.\d)\d+/,"$1"));
-          }
-        });
-      }
-    });
-    
-    var GETWIDTHS = function () {
-      var img = HTMLCSS.FONTDATA.FONTS["MathJax_Main"][0x2014][5].img; // em-dash
-      HTMLCSS.imgEmWidth = [];
-      for (var i = 0, m = img.length; i < m; i++) {HTMLCSS.imgEmWidth[i] = img[i][0]}
-    };
-    
-    MathJax.CallBack.Queue(
-      ["Require",AJAX,HTMLCSS.webfontDir+"/imagedata.js"],
-      GETWIDTHS,
-      ["loadComplete",AJAX,HTMLCSS.directory+"/imageFonts.js"]
-    );
-      
-  });
-  
-})(MathJax.Hub,MathJax.OutputJax["HTML-CSS"],MathJax.Ajax);

data/lib/gollum/frontend/public/javascript/MathJax/jax/output/HTML-CSS/jax.js

@@ -1,1991 +1,19 @@
-/*************************************************************
- *
- *  MathJax/jax/output/HTML-CSS/jax.js
- *
- *  Implements the HTML-CSS OutputJax that displays mathematics
- *  using HTML and CSS to position the characters from math fonts
- *  in their proper locations.
- *  
- *  ---------------------------------------------------------------------
+/*
+ *  ../SourceForge/trunk/mathjax/jax/output/HTML-CSS/jax.js
  *  
- *  Copyright (c) 2009-2010 Design Science, Inc.
+ *  Copyright (c) 2010 Design Science, Inc.
+ *
+ *  Part of the MathJax library.
+ *  See http://www.mathjax.org for details.
  * 
- *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  Licensed under the Apache License, Version 2.0;
  *  you may not use this file except in compliance with the License.
- *  You may obtain a copy of the License at
- * 
+ *
  *      http://www.apache.org/licenses/LICENSE-2.0
- * 
- *  Unless required by applicable law or agreed to in writing, software
- *  distributed under the License is distributed on an "AS IS" BASIS,
- *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- *  See the License for the specific language governing permissions and
- *  limitations under the License.
  */
 
-(function (MML,AJAX,HTMLCSS) {
-   
-  var FONTTEST = MathJax.Object.Subclass({
-    FontInfo: {
-      STIX: {family: "STIXSizeOneSym", testString: "() {} []"},
-      TeX:  {family: "MathJax_Size1",  testString: "() {} []"}
-    },
-    comparisonFont: ["sans-serif","monospace","script","Times","Courier","Arial","Helvetica"],
-    testSize: ["40px","50px","60px","30px","20px"],
-
-    Init: function () {
-      var div = this.div = document.body.appendChild(document.createElement("div"));
-      div.style.position = "absolute"; div.style.visibility = "hidden";
-      div.style.top = div.style.left = 0;
-      div.style.fontWeight = "normal";
-      div.style.fontStyle = "normal";
-      div.style.fontSize = this.testSize[0];
-      this.text = this.div.appendChild(document.createTextNode(""));
-    },
-
-    findFont: function (fonts,pref) {
-      if (pref && this.testCollection(pref)) {return pref}
-      for (var i = 0, m = fonts.length; i < m; i++) {
-        if (fonts[i] === pref) continue;
-        if (this.testCollection(fonts[i])) {return fonts[i]}
-      }
-      return null;
-    },
-
-    testCollection: function (name) {return this.testFont(this.FontInfo[name])},
-
-    testFont: function (font) {
-      if (font.isWebFont && HTMLCSS.FontFaceBug) {
-        this.div.style.fontWeight = this.div.style.fontStyle = "normal";
-      } else {
-        this.div.style.fontWeight = (font.weight||"normal");
-        this.div.style.fontStyle  = (font.style||"normal");
-      }
-      var W = this.getComparisonWidths(font.testString);
-      if (W) {
-        this.div.style.fontFamily = "'"+font.family+"',"+this.comparisonFont[0];
-        if (this.div.offsetWidth == W[0]) {
-          this.div.style.fontFamily = "'"+font.family+"',"+this.comparisonFont[W[2]];
-          if (this.div.offsetWidth == W[1]) {return false}
-        }
-        if (this.div.offsetWidth != W[3]) {
-          if (!HTMLCSS.FONTDATA || !HTMLCSS.FONTDATA.hasStyleChar) {return true}
-          for (var i = 0, m = this.testSize.length; i < m; i++)
-            {if (this.testStyleChar(font,this.testSize[i])) {return true}}
-        }
-      }
-      return false;
-    },
-
-    styleChar:   String.fromCharCode(0xEFFD), // width encodes style
-    versionChar: String.fromCharCode(0xEFFE), // width encodes version
-    compChar:    String.fromCharCode(0xEFFF), // "standard" width to compare to
-
-    testStyleChar: function (font,size) {
-      var n = 3 + (font.weight ? 2 : 0) + (font.style ? 4 : 0);
-      var extra = "", dw = 0;
-      var SIZE = this.div.style.fontSize; this.div.style.fontSize = size;
-      if (HTMLCSS.msieItalicWidthBug && font.style === "italic") {
-        this.text.nodeValue = extra = this.compChar;
-        dw = this.div.offsetWidth;
-      }
-      if (HTMLCSS.safariTextNodeBug) {this.div.innerHTML = this.compChar+extra}
-        else {this.text.nodeValue = this.compChar+extra}
-      var W = this.div.offsetWidth-dw;
-      if (HTMLCSS.safariTextNodeBug) {this.div.innerHTML = this.styleChar+extra}
-        else {this.text.nodeValue = this.styleChar+extra}
-      var N = Math.floor((this.div.offsetWidth-dw)/W+.5);
-      if (N === n) {
-        if (HTMLCSS.safariTextNodeBug) {this.div.innerHTML = this.versionChar+extra}
-          else {this.text.nodeValue = this.versionChar+extra}
-        font.version = Math.floor((this.div.offsetWidth-dw)/W+1.5)/2;
-      }
-      this.div.style.fontSize = SIZE;
-      return (N === n);
-    },
-
-    getComparisonWidths: function (string) {
-      if (HTMLCSS.FONTDATA && HTMLCSS.FONTDATA.hasStyleChar)
-        {string += this.styleChar + " " + this.compChar}
-      if (HTMLCSS.safariTextNodeBug) {this.div.innerHTML = string}
-        else {this.text.nodeValue = string}
-      this.div.style.fontFamily = this.comparisonFont[0];
-      var W = this.div.offsetWidth, sW = -1;
-      if (HTMLCSS.safariWebFontSerif) {
-        this.div.style.fontFamily = HTMLCSS.safariWebFontSerif[0];
-        sW = this.div.offsetWidth;
-      }
-      for (var i = 1, m = this.comparisonFont.length; i < m; i++) {
-        this.div.style.fontFamily = this.comparisonFont[i];
-        if (this.div.offsetWidth != W) {return [W,this.div.offsetWidth,i,sW]}
-      }
-      return null;
-    },
-
-    loadWebFont: function (font) {
-      var n = MathJax.Message.File("Web-Font "+HTMLCSS.fontInUse+"/"+font.directory);
-      var callback = MathJax.CallBack(["loadComplete",this,font,n]);
-      AJAX.timer.start(AJAX,[this.checkWebFont,font,callback],1);
-      return callback;
-    },
-    loadComplete: function (font,n) {
-      MathJax.Message.Clear(n);
-    },
-
-    checkWebFont: function (check,font,callback) {
-      if (check.time(callback)) return;
-      if (HTMLCSS.Font.testFont(font)) {callback(check.STATUS.OK)}
-        else {setTimeout(check,check.delay)}
-    },
-
-    fontFace: function (name) {
-      var type = HTMLCSS.allowWebFonts;
-      var dir = AJAX.fileURL(HTMLCSS.webfontDir+"/"+type);
-      var fullname = name.replace(/-b/,"-B").replace(/-i/,"-I").replace(/-Bold-/,"-Bold");
-      if (!fullname.match(/-/)) {fullname += "-Regular"}
-      if (type === "svg") {fullname += ".svg#"+fullname} else {fullname += "."+type}
-      var def = {
-        "font-family": HTMLCSS.FONTDATA.FONTS[name].family,
-        src: "url('"+dir+"/"+fullname+"')"
-      };
-      if (type === "svg") def.src += " format('svg')";
-      if (!(HTMLCSS.FontFaceBug && HTMLCSS.FONTDATA.FONTS[name].isWebFont)) {
-        if (name.match(/-bold/)) {def["font-weight"] = "bold"}
-        if (name.match(/-italic/)) {def["font-style"] = "italic"}
-      }
-      return def;
-    }
-  });
-
-  HTMLCSS.Augment({
-
-    config: {
-      styles: {
-        ".MathJax": {
-          "font-family":    "serif",
-          "font-style":     "normal",
-          "font-weight":    "normal",
-          "line-height":    "normal",
-          "font-size":      "100%",
-          "text-indent":    0,
-          "text-align":     "left",
-          "text-transform": "none",
-          "letter-spacing": "normal",
-          "word-spacing":   "normal",
-          "word-wrap":      "none",
-          "white-space":    "nowrap",
-          border: 0, padding: 0, margin: 0,
-          "float": "none"
-        },
-
-        ".MathJax_Display": {
-          position:    "relative"
-        },
-
-        ".MathJax span, .MathJax img, .MathJax nobr, .MathJax a": {
-          border:  0, padding: 0, margin:  0,
-          "vertical-align": 0,
-          "line-height": "normal",
-          "text-decoration": "none"
-        }
-      }
-    },
-
-    Font: FONTTEST(),
-
-    Config: function () {
-      MathJax.OutputJax.prototype.Config.call(this);
-      var font = this.Font.findFont(this.config.availableFonts,this.config.preferredFont);
-      if (!font && this.allowWebFonts) {font = this.config.webFont}
-      if (!font && this.config.imageFont) {font = this.config.imageFont; this.imgFonts = true}
-      if (font) {
-        this.fontInUse = font; this.fontDir += "/" + font; this.webfontDir += "/" + font;
-        if (!this.require) {this.require = []}
-        this.require.push(this.fontDir+"/fontdata.js");
-        if (this.imgFonts) {this.require.push(this.directory+"/imageFonts.js")}
-      } else {
-        MathJax.Message.Set("Can't find a valid font using ["+this.config.availableFonts.join(", ")+"]",null,3000);
-        this.FONTDATA = {
-          TeX_factor: 1, baselineskip: 1.2, lineH: .8, lineD: .2, ffLineH: .8,
-          FONTS: {}, VARIANT: {normal: {fonts:[]}}, RANGES: [],
-          DEFAULTFAMILY: "serif", DEFAULTWEIGHT: "normal", DEFAULTSTYLE: "normal",
-          DELIMITERS: {}, RULECHAR: 0x2D, REMAP: {}
-        };
-        MathJax.InputJax.TeX.Definitions.macros.overline[1]  = "002D";
-        MathJax.InputJax.TeX.Definitions.macros.underline[1] = "002D";
-      }
-    },
-
-    Startup: function () {
-      //  Set up default fonts
-      var MJ = this.config.styles[".MathJax"];
-      var family = [], fonts = this.FONTDATA.VARIANT.normal.fonts;
-      if (!(fonts instanceof Array)) {fonts = [fonts]}
-      for (var i = 0, m = fonts.length; i < m; i++) {
-        family[i] = this.FONTDATA.FONTS[fonts[i]].family;
-        if (!family[i]) {family[i] = fonts[i]}
-      }
-      MJ["font-family"] = family.join(',');
-
-      // Make hidden div for when math is in a display:none block
-      this.hiddenDiv = this.Element("div",{
-        style:{visibility:"hidden", overflow:"hidden", height:"1px",
-               position:"absolute", top:0}
-      });
-      if (!document.body.firstChild) {document.body.appendChild(this.hiddenDiv)}
-        else {document.body.insertBefore(this.hiddenDiv,document.body.firstChild)}
-      this.hiddenDiv = this.addElement(this.hiddenDiv,"div",{id:"MathJax_Hidden"});
-
-      // Determine pixels per inch
-      var div = this.addElement(this.hiddenDiv,"div",{style:{width:"5in"}});
-      this.pxPerInch = div.offsetWidth/5; this.hiddenDiv.removeChild(div);
-
-      // Markers used by getW
-      this.startMarker = HTMLCSS.createStrut(this.Element("span"),10,true);
-      this.endMarker = this.addText(this.Element("span"),"x").parentNode;
-
-      // Used in getHD
-      this.HDspan = this.Element("span");
-      if (this.operaHeightBug) {this.createStrut(this.HDspan,0)}
-      if (this.msieInlineBlockAlignBug) {
-        this.HDimg = this.addElement(this.HDspan,"img",{style:{height:"0px", width:"1px"}});
-        try {this.HDimg.src = "about:blank"} catch(err) {}
-      } else {
-        this.HDimg = HTMLCSS.createStrut(this.HDspan,0);
-      }
-
-      // Used in getScales
-      this.HDMspan = this.Element("span",{style: {position:"absolute"}});
-      if (this.msieInlineBlockAlignBug) {
-        this.HDMimg = this.addElement(this.HDMspan,"img",{style:{height:"0px",width:"1px"}});
-        try {this.HDMimg.src = "about:blank"} catch(err) {}
-      } else {
-        this.HDMimg = HTMLCSS.createStrut(this.HDMspan,0); this.HDMimg.style.marginRight = "";
-      }
-
-      // Used for computing factor to fix margin width in MSIE
-      this.marginCheck = HTMLCSS.Element("span");
-      HTMLCSS.addElement(this.marginCheck,"span",{style: {display:"inline-block", width:"5em"}});
-      this.marginMove = HTMLCSS.addElement(this.marginCheck,"span",
-        {style: {display:"inline-block", width:"5em", marginLeft:"-5em"}});
-
-      // Set up styles and preload web fonts
-      return MathJax.Ajax.Styles(this.config.styles,["PreloadWebFonts",this]);
-    },
-
-    PreloadWebFonts: function () {
-      if (!HTMLCSS.allowWebFonts || !HTMLCSS.config.preloadWebFonts) return;
-      for (var i = 0, m = HTMLCSS.config.preloadWebFonts.length; i < m; i++) {
-        var FONT = HTMLCSS.FONTDATA.FONTS[HTMLCSS.config.preloadWebFonts[i]];
-        if (!FONT.available) {HTMLCSS.Font.testFont(FONT)}
-      }
-    },
-
-    Translate: function (script) {
-      var math = script.MathJax.elementJax.root;
-      var span = this.Element("span",{className:"MathJax"}), div = span;
-      if (math.Get("display") === "block") {
-        div = this.Element("div",{className:"MathJax_Display", style:{width:"100%", position:"relative"}});
-        div.appendChild(span);
-      }
-      // (screen readers don't know about role="math" yet, so use "textbox" instead)
-      div.setAttribute("role","textbox"); div.setAttribute("aria-readonly","true");
-      script.parentNode.insertBefore(div,script);
-      this.getScales(div,span); var isHidden = (this.em === 0 || String(this.em) === "NaN");
-      if (isHidden) {this.hiddenDiv.appendChild(div); this.getScales(div,span)}
-      this.initImg(span);
-      this.initHTML(math,span);
-      math.setTeXclass();
-      try {math.toHTML(span,div)} catch (err) {
-        if (err.restart) {div.parentNode.removeChild(div)}
-        throw err;
-      }
-      if (isHidden) {script.parentNode.insertBefore(div,script)}
-    },
-
-    initImg: function (span) {},
-    initHTML: function (math,span) {},
-    initFont: function (name) {
-      var FONTS = HTMLCSS.FONTDATA.FONTS, AVAIL = HTMLCSS.config.availableFonts;
-      if (AVAIL && AVAIL.length && HTMLCSS.Font.testFont(FONTS[name]))
-        {FONTS[name].available = true; return null}
-      if (!this.allowWebFonts) {return null}
-      FONTS[name].isWebFont = true;
-      if (HTMLCSS.FontFaceBug) {FONTS[name].family = name}
-      return AJAX.Styles({"@font-face":this.Font.fontFace(name)});
-    },
-
-    Remove: function (jax) {
-      var span = jax.SourceElement(); if (!span) return;
-      span = span.previousSibling; if (!span) return;
-      if (span.className.match(/^MathJax/)) {span.parentNode.removeChild(span)}
-    },
-
-    getScales: function (span,mj) {
-      span.parentNode.insertBefore(this.HDMspan,span);
-      this.HDMspan.className = "";
-      this.HDMimg.style.height = "1px"; this.HDMimg.style.width = "60ex";
-      var ex = this.HDMspan.offsetWidth/60;
-      this.HDMspan.className = "MathJax"; this.HDMimg.style.width = "60em";
-      var em = this.HDMspan.offsetWidth/60;
-      var scale = Math.floor((ex/this.TeX.x_height) / em * this.config.scale);
-      mj.style.fontSize = this.HDMspan.style.fontSize = scale+"%";
-      this.em = MML.mbase.prototype.em = this.HDMspan.offsetWidth/60;
-      span.parentNode.removeChild(this.HDMspan);
-      this.msieMarginScale = this.getMarginScale(mj);
-    },
-    getMarginScale: function (span) {return 1},
-    getMSIEmarginScale: function (span) {
-      span.appendChild(this.marginCheck);
-      var W = this.marginCheck.offsetWidth, w = this.marginMove.offsetWidth;
-      var scale = w/(2*w - W);
-      span.removeChild(this.marginCheck);
-      return scale;
-    },
-    getHD: function (span) {
-      var position = span.style.position;
-      span.style.position = "absolute";
-      this.HDimg.style.height = "0px";
-      span.appendChild(this.HDspan);
-      var HD = {h:span.offsetHeight};
-      this.HDimg.style.height = HD.h+"px";
-      HD.d = span.offsetHeight - HD.h; HD.h -= HD.d;
-      HD.h /= this.em; HD.d /= this.em;
-      span.removeChild(this.HDspan);
-      span.style.position = position;
-      return HD;
-    },
-    getW: function (span) {
-      var W = span.offsetWidth, w = (span.bbox ? span.bbox.w: -1), start = span;
-      if ((w < 0 || this.negativeSkipBug) && W >= 0) {
-        // IE can't deal with a space at the beginning, so put something else first
-        if (this.negativeSkipBug) {
-          var position = span.style.position; span.style.position = "absolute";
-          start = this.startMarker;
-          if (span.firstChild) {span.insertBefore(start,span.firstChild)}
-            else {span.appendChild(start)}
-          start = this.startMarker;
-        }
-        span.appendChild(this.endMarker);
-        W = this.endMarker.offsetLeft - start.offsetLeft;
-        span.removeChild(this.endMarker);
-        if (this.negativeSkipBug) {
-          span.removeChild(start);
-          span.style.position = position;
-        }
-      }
-      return W/this.em;
-    },
-    Measured: function (span,parent) {
-      if (span.bbox.width == null && span.bbox.w) {
-        var w = this.getW(span);
-        span.bbox.rw += w - span.bbox.w;
-        span.bbox.w = w;
-      }
-      if (!parent) {parent = span.parentNode}
-      if (!parent.bbox) {parent.bbox = span.bbox}
-      return span;
-    },
-    Remeasured: function (span,parent) {
-      parent.bbox = this.Measured(span,parent).bbox;
-    },
-
-    Em: function (m) {
-      if (Math.abs(m) < .0006) {return "0em"}
-      return (m < 0 ? "-" : "")+String(Math.abs(m)+.0005).replace(/(\.\d\d\d).+/,'$1') + "em";
-    },
-    Percent: function (m) {
-      return String(m*100+.5).replace(/\..+/,'') + "%";
-    },
-    length2percent: function (length) {
-      return this.Percent(this.length2em(length));
-    },
-    length2em: function (length,size) {
-      if (typeof(length) !== "string") {length = length.toString()}
-      if (length === "") {return ""}
-      if (length === MML.SIZE.NORMAL) {return 1}
-      if (length === MML.SIZE.BIG)    {return 2}
-      if (length === MML.SIZE.SMALL)  {return .71}
-      if (length === "infinity")      {return HTMLCSS.BIGDIMEN}
-      var factor = this.FONTDATA.TeX_factor;
-      if (length.match(/mathspace$/)) {return HTMLCSS.MATHSPACE[length]*factor}
-      var match = length.match(/^\s*([-+]?(?:\.\d+|\d+(?:\.\d*)?))?(pt|em|ex|mu|px|in|mm|cm|%)?/);
-      var m = parseFloat(match[1]||"1"), unit = match[2];
-      if (size == null) {size = 1}
-      if (unit === "em") {return m * factor}
-      if (unit === "ex") {return m * HTMLCSS.TeX.x_height * factor}
-      if (unit === "%")  {return m / 100 * size}
-      if (unit === "px") {return m / HTMLCSS.em}
-      if (unit === "pt") {return m / 10 * factor}                        // 10 pt to an em
-      if (unit === "in") {return m * this.pxPerInch / HTMLCSS.em}
-      if (unit === "cm") {return m * this.pxPerInch / HTMLCSS.em / 2.54} // 2.54 cm to an inch
-      if (unit === "mm") {return m * this.pxPerInch / HTMLCSS.em / 25.4} // 10 mm to a cm
-      if (unit === "pc") {return m * this.pxPerInch / HTMLCSS.em / 12}   // 12 pc to an inch
-      if (unit === "mu") {return m / 18 * factor} // FIXME:  needs to include scale
-      return m*factor*size;  // relative to given size (or 1em as default)
-    },
-    thickness2em: function (length) {
-      var thick = HTMLCSS.TeX.rule_thickness;
-      if (length === MML.LINETHICKNESS.MEDIUM) {return thick}
-      if (length === MML.LINETHICKNESS.THIN) {return .67*thick}
-      if (length === MML.LINETHICKNESS.THICK) {return 1.67*thick}
-      return this.length2em(length,thick);
-    },
-
-    createStrut: function (span,h,before) {
-      var strut = this.Element("span",{
-        style:{display:"inline-block", overflow:"hidden", height:h+"px",
-               width:"1px", marginRight:"-1px"}
-      });
-      if (before) {span.insertBefore(strut,span.firstChild)} else {span.appendChild(strut)}
-      return strut;
-    },
-    createBlank: function (span,w,before) {
-      var blank = this.Element("span",{
-        style: {display:"inline-block", overflow:"hidden", height:"1px", width:this.Em(w)}
-      });
-      if (before) {span.insertBefore(blank,span.firstChild)} else {span.appendChild(blank)}
-      return blank;
-    },
-    createShift: function (span,w,before) {
-      var space = this.Element("span",{style:{marginLeft:this.Em(w)}});
-      if (before) {span.insertBefore(space,span.firstChild)} else {span.appendChild(space)}
-      return space;
-    },
-    createSpace: function (span,h,d,w,color) {
-      var H = this.Em(Math.max(0,h+d)), D = this.Em(-d);
-      if (this.msieInlineBlockAlignBug) {D = this.Em(HTMLCSS.getHD(span.parentNode).d-d)}
-      if (span.isBox || span.className == "mspace") {
-        span.bbox = {
-          h: h*span.scale, d: d*span.scale,
-          w: w*span.scale, rw: w*span.scale, lw: 0
-        };
-        span.style.height = H; span.style.verticalAlign = D;
-      } else {
-        span = this.addElement(span,"span",{style: {height:H, verticalAlign:D}});
-      }
-      if (w >= 0) {
-        span.style.width = this.Em(w);
-        span.style.display = "inline-block";
-      } else {
-        if (this.msieNegativeSpaceBug) {span.style.height = ""}
-        span.style.marginLeft = this.Em(w);
-        if (HTMLCSS.safariNegativeSpaceBug && span.parentNode.firstChild == span)
-          {this.createBlank(span,0,true)}
-      }
-      if (color && color !== MML.COLOR.TRANSPARENT) {span.style.backgroundColor = color}
-      return span;
-    },
-    createRule: function (span,h,d,w,color) {
-      var min = HTMLCSS.TeX.min_rule_thickness;
-      // If rule is very thin, make it at least min_rule_thickness so it doesn't disappear
-      if (w > 0 && w*this.em < min) {w = min/this.em}
-      if (h+d > 0 && (h+d)*this.em < min) {var f = 1/(h+d)*(min/this.em); h *= f; d *= f}
-      if (!color) {color = "solid"} else {color = "solid "+color}
-      color = this.Em(w)+" "+color;
-      var H = this.Em(h+d), D = this.Em(-d);
-      if (span.isBox || span.className == "mspace") {span.bbox = {h:h, d:d, w:w, rw:w, lw: 0}}
-      span = this.addElement(span,"span",{
-        style: {borderLeft: color, display: "inline-block", overflow:"hidden",
-                width:0, height:H, verticalAlign:D}
-      });
-      if (w > 0 && span.offsetWidth == 0) {span.style.width = this.Em(w)}
-      return span;
-    },
-
-    createStack: function (span,nobbox,w) {
-      if (this.msiePaddingWidthBug) {this.createStrut(span,0)}
-      span = this.addElement(span,"span",{
-        style: {display:"inline-block", position:"relative",
-                width:(w == null ? 0: "100%"), height:0}
-      });
-      if (!nobbox) {
-        span.parentNode.bbox = span.bbox = {
-          h: -this.BIGDIMEN, d: -this.BIGDIMEN,
-          w:0, lw: this.BIGDIMEN, rw: -this.BIGDIMEN
-        };
-        if (w != null) {span.bbox.width = span.parentNode.bbox.width = w}
-      }
-      return span;
-    },
-    createBox: function (span,w) {
-      var box = this.addElement(span,"span",{style:{position:"absolute"}, isBox: true});
-      if (w != null) {box.style.width = w}
-      return box;
-    },
-    addBox: function (span,box) {
-      box.style.position = "absolute"; box.isBox = true;
-      return span.appendChild(box);
-    },
-    placeBox: function (span,x,y,noclip) {
-      var parent = span.parentNode, bbox = span.bbox, BBOX = parent.bbox;
-      if (this.msiePlaceBoxBug) {this.addText(span,this.NBSP)}
-      if (this.imgSpaceBug) {this.addText(span,this.imgSpace)}
-      var HD = this.getHD(span), dx = 0;
-      // Make sure vertical alignment of baseline is correct
-      span.style.top = this.Em(-HD.h);
-      if (-span.offsetTop !== Math.floor(HD.h*this.em+.5))
-        {HD.h += .95*Math.floor(HD.h*this.em+span.offsetTop+.5)/this.em};
-      // Clip so that bbox doesn't include extra height and depth
-      if (bbox) {
-        if (this.negativeSkipBug) {
-          if (bbox.lw < 0) {dx = bbox.lw; HTMLCSS.createBlank(span,-dx,true); l = 0}
-          if (bbox.rw > bbox.w) {HTMLCSS.createBlank(span,bbox.rw-bbox.w+.1)}
-        }
-        if (!this.msieClipRectBug && !bbox.noclip && !noclip) {
-          var dd = 3/this.em;
-          var H = (bbox.H == null ? bbox.h : bbox.H), D = (bbox.D == null ? bbox.d : bbox.D);
-          var t = HD.h - H - dd, b = HD.h + D + dd, l = bbox.lw - 3*dd, r = 1000;
-          span.style.clip = "rect("+this.Em(t)+" "+this.Em(r)+" "+this.Em(b)+" "+this.Em(l)+")";
-        }
-      }
-      // Place the box
-      span.style.left = this.Em(x+dx);
-      span.style.top  = this.Em(-(y+HD.h));
-      // Update the bounding box
-      if (bbox && BBOX) {
-        if (bbox.H != null && (BBOX.H == null || bbox.H + y > BBOX.H)) {BBOX.H = bbox.H + y}
-        if (bbox.D != null && (BBOX.D == null || bbox.D - y > BBOX.D)) {BBOX.D = bbox.D - y}
-        if (bbox.h + y > BBOX.h) {BBOX.h = bbox.h + y}
-        if (bbox.d - y > BBOX.d) {BBOX.d = bbox.d - y}
-        if (BBOX.H != null && BBOX.H <= BBOX.h) {delete BBOX.H}
-        if (BBOX.D != null && BBOX.D <= BBOX.d) {delete BBOX.D}
-        if (bbox.w + x > BBOX.w) {
-          BBOX.w = bbox.w + x;
-          if (BBOX.width == null) {parent.style.width = this.Em(BBOX.w)}
-        }
-        if (bbox.rw + x > BBOX.rw) {BBOX.rw = bbox.rw + x}
-        if (bbox.lw + x < BBOX.lw) {BBOX.lw = bbox.lw + x}
-        // FIXME:  deal with non-percent widths
-        if (bbox.width != null) {
-          if (BBOX.width == null) {parent.style.width = BBOX.width = "100%"}
-          span.style.width = bbox.width;
-        }
-      }
-    },
-    alignBox: function (span,align,y) {
-      this.placeBox(span,0,y); // set y position (and left aligned)
-      var r = 0, c = -span.bbox.w/2;
-      if (this.negativeSkipBug) {r = span.bbox.w-span.bbox.rw-.1; c += span.bbox.lw}
-      // FIXME: handle width that is not a percent
-      c = (span.bbox.width ? "-"+Math.floor(parseInt(span.bbox.width)/2)+"%" :
-                             this.Em(c*this.msieMarginScale));
-      MathJax.Hub.Insert(span.style,({
-        right:  {left:"", right: this.Em(r)},
-        center: {left:"50%", marginLeft: c}
-      })[align]);
-    },
-    setStackWidth: function (span,w) {
-      if (typeof(w) === "number") {
-        span.style.width = this.Em(Math.max(0,w));
-        if (span.bbox) {span.bbox.w = w};
-        if (span.parentNode.bbox) {span.parentNode.bbox.w = w}
-      } else {
-        span.style.width = span.parentNode.style.width = "100%";
-        if (span.bbox) {span.bbox.width = w}
-        if (span.parentNode.bbox) {span.parentNode.bbox.width = w}
-      }
-    },
-
-    createDelimiter: function (span,code,HW,scale,font) {
-      if (!code) {
-        span.bbox = {h:0, d:0, w:this.TeX.nulldelimiterspace, lw: 0};
-        span.bbox.rw = span.bbox.w;
-        this.createSpace(span,span.bbox.h,span.bbox.d,span.bbox.w);
-        return;
-      }
-      if (!scale) {scale = 1};
-      if (!(HW instanceof Array)) {HW = [HW,HW]}
-      var hw = HW[1]; HW = HW[0];
-      var delim = {alias: code};
-      while (delim.alias) {
-        code = delim.alias; delim = this.FONTDATA.DELIMITERS[code];
-        if (!delim) {delim = {HW: [0,this.FONTDATA.VARIANT[MML.VARIANT.NORMAL]]}}
-      }
-      for (var i = 0, m = delim.HW.length; i < m; i++) {
-        if (delim.HW[i][0]*scale >= HW-.01 || (i == m-1 && !delim.stretch)) {
-          if (delim.HW[i][2]) {scale *= delim.HW[i][2]}
-          if (delim.HW[i][3]) {code = delim.HW[i][3]}
-          var chr = this.addElement(span,"span");
-          this.createChar(chr,[code,delim.HW[i][1]],scale,font);
-          span.bbox = chr.bbox;
-          span.offset = .65 * span.bbox.w;
-          span.scale = scale;
-          return;
-        }
-      }
-      if (delim.stretch) {this["extendDelimiter"+delim.dir](span,hw,delim.stretch,scale,font)}
-    },
-    extendDelimiterV: function (span,H,delim,scale,font) {
-      var stack = this.createStack(span,true);
-      var top = this.createBox(stack), bot = this.createBox(stack);
-      this.createChar(top,(delim.top||delim.ext),scale,font);
-      this.createChar(bot,(delim.bot||delim.ext),scale,font);
-      var ext = {bbox:{w:0,lw:0,rw:0}}, mid = ext;
-      var h = top.bbox.h + top.bbox.d + bot.bbox.h + bot.bbox.d;
-      var y = -top.bbox.h; this.placeBox(top,0,y,true); y -= top.bbox.d;
-      if (delim.mid) {
-        mid = this.createBox(stack); this.createChar(mid,delim.mid,scale,font);
-        h += mid.bbox.h + mid.bbox.d;
-      }
-      if (H > h) {
-        ext = this.Element("span"); this.createChar(ext,delim.ext,scale,font);
-        var eH = ext.bbox.h + ext.bbox.d, eh = eH - .05, n, N, k = (delim.mid ? 2 : 1);
-        N = n = Math.ceil((H-h)/(k*eh));
-        if (!delim.fullExtenders) {eh = (H-h)/(k*n)}
-        var dy = (n/(n+1))*(eH - eh); eh = eH - dy; y += dy + eh - ext.bbox.h;
-        while (k-- > 0) {
-          while (n-- > 0) {y -= eh; this.placeBox(this.addBox(stack,ext.cloneNode(true)),0,y,true)}
-          y += dy - ext.bbox.d;
-          if (delim.mid && k) {
-            this.placeBox(mid,0,y-mid.bbox.h,true); n = N;
-            y += -(mid.bbox.h + mid.bbox.d) + dy + eh - ext.bbox.h;
-          }
-        }
-      } else {
-        y += (h - H)/2;
-        if (delim.mid) {this.placeBox(mid,0,y-mid.bbox.h,true); y += -(mid.bbox.h + mid.bbox.d)}
-        y += (h - H)/2;
-      }
-      this.placeBox(bot,0,y-bot.bbox.h,true); y -= bot.bbox.h + bot.bbox.d;
-      span.bbox = {
-        w:  Math.max(top.bbox.w,ext.bbox.w,bot.bbox.w,mid.bbox.w),
-        lw: Math.min(top.bbox.lw,ext.bbox.lw,bot.bbox.lw,mid.bbox.lw),
-        rw: Math.max(top.bbox.rw,ext.bbox.rw,bot.bbox.rw,mid.bbox.rw),
-        h: 0, d: -y
-      }
-      span.scale = scale;
-      span.offset = .55 * span.bbox.w;
-      span.isMultiChar = true;
-      this.setStackWidth(stack,span.bbox.w);
-    },
-    extendDelimiterH: function (span,W,delim,scale,font) {
-      var stack = this.createStack(span,true);
-      var left = this.createBox(stack), right = this.createBox(stack);
-      this.createChar(left,(delim.left||delim.rep),scale,font);
-      this.createChar(right,(delim.right||delim.rep),scale,font);
-      var rep = this.Element("span"); this.createChar(rep,delim.rep,scale,font);
-      var mid = {bbox: {h:-this.BIGDIMEN, d:-this.BIGDIMEN}};
-      this.placeBox(left,-left.bbox.lw,0,true);
-      var w = (left.bbox.rw - left.bbox.lw) + (right.bbox.rw - right.bbox.lw) - .05,
-          x = left.bbox.rw - left.bbox.lw - .025;
-      if (delim.mid) {
-        mid = this.createBox(stack); this.createChar(mid,delim.mid,scale,font);
-        w += mid.bbox.w;
-      }
-      if (W > w) {
-        var rW = rep.bbox.rw-rep.bbox.lw, rw = rW - .05, n, N, k = (delim.mid ? 2 : 1);
-        N = n = Math.ceil((W-w)/(k*rw)); rw = (W-w)/(k*n);
-        var dx = (n/(n+1))*(rW - rw); rw = rW - dx; x -= rep.bbox.lw + dx;
-        while (k-- > 0) {
-          while (n-- > 0) {this.placeBox(this.addBox(stack,rep.cloneNode(true)),x,0,true); x += rw}
-          if (delim.mid && k) {this.placeBox(mid,x,0,true); x += mid.bbox.w - dx; n = N}
-        }
-      } else {
-        x -= (w - W)/2;
-        if (delim.mid) {this.placeBox(mid,x,0,true); x += mid.bbox.w}
-        x -= (w - W)/2;
-      }
-      this.placeBox(right,x,0,true);
-      span.bbox = {
-        w: x+right.bbox.rw, lw: 0, rw: x+right.bbox.rw,
-        H: Math.max(left.bbox.h,rep.bbox.h,right.bbox.h,mid.bbox.h),
-        D: Math.max(left.bbox.d,rep.bbox.d,right.bbox.d,mid.bbox.d),
-        h: rep.bbox.h, d: rep.bbox.d
-      }
-      span.scale = scale;
-      span.isMultiChar = true;
-      this.setStackWidth(stack,span.bbox.w);
-    },
-    createChar: function (span,data,scale,font) {
-      var SPAN = span, text = "", variant = {fonts: [data[1]], noRemap:true};
-      if (font && font === MML.VARIANT.BOLD) {variant.fonts = [data[1]+"-bold",data[1]]}
-      if (typeof(data[1]) !== "string") {variant = data[1]}
-      if (data[0] instanceof Array) {
-        for (var i = 0, m = data[0].length; i < m; i++) {text += String.fromCharCode(data[0][i])}
-      } else {text = String.fromCharCode(data[0])}
-      if (scale !== 1) {
-        SPAN = this.addElement(span,"span",{style:{fontSize: this.Percent(scale)}, scale:scale});
-        this.handleVariant(SPAN,variant,text);
-        span.bbox = SPAN.bbox;
-      } else {this.handleVariant(span,variant,text)}
-      if (data[2]) {span.style.marginLeft = this.Em(data[2])}
-      if (this.AccentBug && span.bbox.w === 0) {
-        //  Handle combining characters by adding a non-breaking space and removing that width
-        SPAN.firstChild.nodeValue += this.NBSP;
-        HTMLCSS.createSpace(span,0,0,-span.offsetWidth/HTMLCSS.em);
-      }
-    },
-    positionDelimiter: function (span,h) {
-      h -= span.bbox.h; span.bbox.d -= h; span.bbox.h += h;
-      if (h) {
-        if (this.safariVerticalAlignBug || this.msieVerticalAlignBug || this.konquerorVerticalAlignBug ||
-           (this.operaVerticalAlignBug && span.isMultiChar)) {
-          if (span.firstChild.style.display === "" && span.style.top !== "")
-            {span = span.firstChild; h -= parseFloat(span.style.top)}
-          span.style.position = "relative";
-          span.style.top = this.Em(-h);
-        } else {
-          span.style.verticalAlign = this.Em(h);
-          if (HTMLCSS.ffVerticalAlignBug) {HTMLCSS.createRule(span.parentNode,span.bbox.h,0,0)}
-        }
-      }
-    },
-
-    handleVariant: function (span,variant,text) {
-      var newtext = "", n, c, C, font, noVariant = 1, VARIANT;
-      if (text.length === 0) return;
-      if (!span.bbox) {
-        span.bbox = {
-          w: 0, h: -this.BIGDIMEN, d: -this.BIGDIMEN,
-          rw: -this.BIGDIMEN, lw: this.BIGDIMEN
-        };
-      }
-      if (!variant) {variant = this.FONTDATA.VARIANT[MML.VARIANT.NORMAL]}
-      VARIANT = variant;
-      for (var i = 0, m = text.length; i < m; i++) {
-        variant = VARIANT;
-        n = text.charCodeAt(i); c = text.charAt(i);
-        if (c == this.PLANE1) {
-          i++; n = text.charCodeAt(i) + 0x1D400 - 0xDC00;
-        } else {
-          var id, M, RANGES = this.FONTDATA.RANGES;
-          for (id = 0, M = RANGES.length; id < M; id++) {
-            if (RANGES[id].name === "alpha" && variant.noLowerCase) continue;
-            var N = variant["offset"+RANGES[id].offset];
-            if (N && n >= RANGES[id].low && n <= RANGES[id].high) {
-              if (RANGES[id].remap && RANGES[id].remap[n]) {
-                n = N + RANGES[id].remap[n];
-              } else {
-                n = n - RANGES[id].low + N;
-                if (RANGES[id].add) {n += RANGES[id].add}
-              }
-              if (variant["variant"+RANGES[id].offset])
-                {variant = this.FONTDATA.VARIANT[variant["variant"+RANGES[id].offset]]}
-              break;
-            }
-          }
-        }
-        if (variant.remap && variant.remap[n]) {
-          if (variant.remap[n] instanceof Array) {
-            var remap = variant.remap[n];
-            n = remap[0]; variant = this.FONTDATA.VARIANT[remap[1]];
-          } else {
-            n = variant.remap[n];
-            if (variant.remap.variant) {variant = this.FONTDATA.VARIANT[variant.remap.variant]}
-          }
-        }
-        if (this.FONTDATA.REMAP[n] && !variant.noRemap) {n = this.FONTDATA.REMAP[n]}
-        font = this.lookupChar(variant,n); c = font[n];
-        if (noVariant && !c[5].img) {this.handleFont(span,font); noVariant = 1}
-        newtext = this.handleChar(span,font,c,n,newtext);
-        if (c[0]/1000 > span.bbox.h) {span.bbox.h = c[0]/1000}
-        if (c[1]/1000 > span.bbox.d) {span.bbox.d = c[1]/1000}
-        if (span.bbox.w + c[3]/1000 < span.bbox.lw) {span.bbox.lw = span.bbox.w + c[3]/1000}
-        if (span.bbox.w + c[4]/1000 > span.bbox.rw) {span.bbox.rw = span.bbox.w + c[4]/1000}
-        span.bbox.w += c[2]/1000;
-      }
-      if (newtext.length) {this.addText(span,newtext)}
-      if (span.scale && span.scale !== 1) {
-        span.bbox.h *= span.scale; span.bbox.d *= span.scale;
-        span.bbox.w *= span.scale; span.bbox.lw *= span.scale; span.bbox.rw *= span.scale;
-      }
-      if (text.length == 1 && font.skew && font.skew[n]) {span.bbox.skew = font.skew[n]}
-    },
-
-    handleFont: function (span,font) {
-      span.style.fontFamily = font.family;
-      if (!(HTMLCSS.FontFaceBug && font.isWebFont)) {
-        var style  = font.style  || this.FONTDATA.DEFAULTSTYLE,
-            weight = font.weight || this.FONTDATA.DEFAULTWEIGHT;
-        if (style !== "normal")  {span.style.fontStyle  = style}
-        if (weight !== "normal") {span.style.fontWeight = weight}
-      }
-    },
-
-    handleChar: function (span,font,c,n,text) {
-      var C = c[5];
-      if (C.img) {return this.handleImg(span,font,c,n,text)}
-      if (C.c == null) {
-        if (n <= 0xFFFF) {C.c = String.fromCharCode(n)}
-                    else {C.c = this.PLANE1 + String.fromCharCode(n-0x1D400+0xDC00)}
-      }
-      if (c[2] || !this.msieAccentBug || text.length) {return text + C.c}
-      //  Handle IE accent clipping bug
-      HTMLCSS.createShift(span,c[3]/1000);
-      HTMLCSS.createShift(span,(c[4]-c[3])/1000);
-      this.addText(span,C.c);
-      HTMLCSS.createShift(span,-c[4]/1000);
-      return "";
-    },
-    handleImg: function (span,font,c,n,text) {return text}, // replaced by imageFont extension
-
-    lookupChar: function (variant,n) {
-      var i, m;
-      if (!variant.FONTS) {
-        var FONTS = this.FONTDATA.FONTS;
-        var fonts = (variant.fonts || this.FONTDATA.VARIANT.normal.fonts);
-        if (!(fonts instanceof Array)) {fonts = [fonts]}
-        if (variant.fonts != fonts) {variant.fonts = fonts}
-        variant.FONTS = [];
-        for (i = 0, m = fonts.length; i < m; i++) {
-          if (FONTS[fonts[i]]) {
-            variant.FONTS.push(FONTS[fonts[i]]);
-            FONTS[fonts[i]].name = fonts[i]; // FIXME: should really be in the font files
-          }
-        }
-      }
-      for (i = 0, m = variant.FONTS.length; i < m; i++) {
-        var font = variant.FONTS[i];
-        if (typeof(font) === "string") {
-          delete variant.FONTS; this.loadFont(font);
-        }
-        if (font[n]) {
-          if (font[n].length === 5) {font[n][5] = {}}
-          if (HTMLCSS.allowWebFonts && !font.available)
-            {this.loadWebFont(font)} else {return font}
-        } else {this.findBlock(font,n)}
-      }
-      var unknown = (variant.defaultFont || {family:HTMLCSS.FONTDATA.DEFAULTFAMILY+",serif"});
-      unknown[n] = [800,200,500,0,500,{isUnknown:true}]; // [h,d,w,lw,rw,{data}]
-      return unknown;
-    },
-
-    findBlock: function (font,c) {
-      if (font.Ranges) {
-        // FIXME:  do binary search?
-        for (var i = 0, m = font.Ranges.length; i < m; i++) {
-          if (c <  font.Ranges[i][0]) return;
-          if (c <= font.Ranges[i][1]) {
-            var file = font.Ranges[i][2];
-            for (var j = font.Ranges.length-1; j >= 0; j--)
-              {if (font.Ranges[j][2] == file) {font.Ranges.splice(j,1)}}
-            this.loadFont(font.directory+"/"+file+".js");
-          }
-        }
-      }
-    },
-
-    loadFont: function (file) {
-      var queue = MathJax.CallBack.Queue();
-      queue.Push(["Require",MathJax.Ajax,this.fontDir+"/"+file]);
-      if (this.imgFonts) {queue.Push(["Require",MathJax.Ajax,this.webfontDir+"/png/"+file])}
-      MathJax.Hub.RestartAfter(queue.Push({}));
-    },
-
-    loadWebFont: function (font) {
-      font.available = font.isWebFont = true;
-      if (HTMLCSS.FontFaceBug) {font.family = font.name}
-      var callback = this.Font.loadWebFont(font);
-      MathJax.Hub.RestartAfter(callback);
-    },
-
-    Element: function (type,def) {
-      var obj = document.createElement(type);
-      for (var i = 1, m = arguments.length; i < m; i++) {
-        if (arguments[i]) {MathJax.Hub.Insert(obj,arguments[i]);}
-      }
-      return obj;
-    },
-    addElement: function (span,type,def) {return span.appendChild(this.Element(type,def))},
-    TextNode: function (text) {return document.createTextNode(text)},
-    addText: function (span,text) {return span.appendChild(this.TextNode(text))},
-
-    BIGDIMEN: 10000000,
-    ID: 0,
-    GetID: function () {this.ID++; return this.ID},
-
-    MATHSPACE: {
-      veryverythinmathspace:  1/18,
-      verythinmathspace:      2/18,
-      thinmathspace:          3/18,
-      mediummathspace:        4/18,
-      thickmathspace:         5/18,
-      verythickmathspace:     6/18,
-      veryverythickmathspace: 7/18,
-      negativeveryverythinmathspace:  -1/18,
-      negativeverythinmathspace:      -2/18,
-      negativethinmathspace:          -3/18,
-      negativemediummathspace:        -4/18,
-      negativethickmathspace:         -5/18,
-      negativeverythickmathspace:     -6/18,
-      negativeveryverythickmathspace: -7/18
-    },
-
-    TeX: {
-      x_height:         .430554,
-      quad:             1,
-      num1:             .676508,
-      num2:             .393732,
-      num3:             .44373,
-      denom1:           .685951,
-      denom2:           .344841,
-      sup1:             .412892,
-      sup2:             .362892,
-      sup3:             .288888,
-      sub1:             .15,
-      sub2:             .247217,
-      sup_drop:         .386108,
-      sub_drop:         .05,
-      delim1:          2.39,
-      delim2:          1.0,
-      axis_height:      .25,
-      rule_thickness:   .06,
-      big_op_spacing1:  .111111,
-      big_op_spacing2:  .166666,
-      big_op_spacing3:  .2,
-      big_op_spacing4:  .6,
-      big_op_spacing5:  .1,
-
-      scriptspace:         .1,
-      nulldelimiterspace:  .12,
-      delimiterfactor:     901,
-      delimitershortfall:   .1,    // originally .3,
-
-      min_rule_thickness:  1.25     // in pixels
-    },
-
-    PLANE1: String.fromCharCode(0xD835),
-    NBSP: String.fromCharCode(0xA0),
-
-    rfuzz: 0         // adjustment to rule placements in roots
-  });
-
-  MML.mbase.Augment({
-    toHTML: function (span) {
-      span = this.HTMLcreateSpan(span);
-      for (var i = 0, m = this.data.length; i < m; i++)
-        {if (this.data[i]) {this.data[i].toHTML(span)}}
-      var stretchy = this.HTMLcomputeBBox(span);
-      var h = span.bbox.h, d = span.bbox.d;
-      for (i = 0, m = stretchy.length; i < m; i++) {stretchy[i].HTMLstretchV(span,h,d)}
-      if (stretchy.length) {this.HTMLcomputeBBox(span,true)}
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    },
-    HTMLcomputeBBox: function (span,full) {
-      var i, m, child, bbox, BBOX, hasDimens = 0, width, stretchy = [];
-      BBOX = span.bbox = {};
-      for (i = 0, m = this.data.length; i < m; i++) {
-        var core = this.data[i]; if (!core) continue;
-        if (!full && core.HTMLcanStretch("Vertical"))
-          {stretchy.push(core); core = (core.CoreMO()||core)}
-        this.HTMLcombineBBoxes(core,BBOX);
-      }
-      this.HTMLcleanBBox(BBOX);
-      return stretchy;
-    },
-    HTMLcombineBBoxes: function (core,BBOX) {
-      if (BBOX.w == null) {
-        BBOX.h = BBOX.d = BBOX.H = BBOX.D = BBOX.rw = -HTMLCSS.BIGDIMEN;
-        BBOX.w = 0; BBOX.lw = HTMLCSS.BIGDIMEN;
-      }
-      var child = core.HTMLspanElement(); if (!child || !child.bbox) return;
-      var bbox = child.bbox;
-      if (bbox.d > BBOX.d) {BBOX.d = bbox.d}
-      if (bbox.h > BBOX.h) {BBOX.h = bbox.h}
-      if (bbox.D != null && bbox.D > BBOX.D) {BBOX.D = bbox.D}
-      if (bbox.H != null && bbox.H > BBOX.H) {BBOX.H = bbox.H}
-      if (child.style.paddingLeft) {BBOX.w += parseFloat(child.style.paddingLeft)*(child.scale||1)}
-      if (BBOX.w + bbox.lw < BBOX.lw) {BBOX.lw = BBOX.w + bbox.lw}
-      if (BBOX.w + bbox.rw > BBOX.rw) {BBOX.rw = BBOX.w + bbox.rw}
-      BBOX.w += bbox.w;
-      if (child.style.paddingRight) {BBOX.w += parseFloat(child.style.paddingRight)*(child.scale||1)}
-      if (bbox.width) {BBOX.width = bbox.width}
-    },
-    HTMLcleanBBox: function (BBOX) {
-      if (BBOX.h === this.BIGDIMEN)
-        {BBOX.h = BBOX.d = BBOX.H = BBOX.D = BBOX.w = BBOX.rw = BBOX.lw = 0}
-      if (BBOX.D <= BBOX.d) {delete BBOX.D}; if (BBOX.H <= BBOX.h) {delete BBOX.H}
-    },
-    HTMLcanStretch: function (direction) {
-      if (this.isEmbellished()) {return this.Core().HTMLcanStretch(direction)}
-      return false;
-    },
-    HTMLstretchH: function (box,W) {return this.HTMLspanElement()},
-    HTMLstretchV: function (box,h,d) {return this.HTMLspanElement()},
-
-    HTMLcreateSpan: function (span) {
-      if (this.spanID) {
-        var SPAN = this.HTMLspanElement();
-        if (SPAN) {
-          while (SPAN.firstChild) {SPAN.removeChild(SPAN.firstChild)}
-          SPAN.bbox = {w:0, h:0, d:0, lw:0, rw:0};
-          SPAN.scale = 1; SPAN.isMultChar = null;
-          SPAN.style.cssText = "";
-          return SPAN;
-        }
-      }
-      if (this.href) {span = HTMLCSS.addElement(span,"a",{href:this.href})}
-      span = HTMLCSS.addElement(span,"span",{className: this.type});
-      if (HTMLCSS.imgHeightBug) {span.style.display = "inline-block"}
-      if (this["class"] != null) {span.className += " "+this["class"]}
-      if (this.style) {span.style.cssText = this.style}
-      this.spanID = HTMLCSS.GetID(); span.id = (this.id || "MathJax-Span-"+this.spanID);
-      span.bbox = {w:0, h:0, d:0, lw:0, lr:0};
-      if (this.href) {span.parentNode.bbox = span.bbox}
-      return span;
-    },
-    HTMLspanElement: function () {
-      if (!this.spanID) {return null}
-      return document.getElementById(this.id || "MathJax-Span-"+this.spanID);
-    },
-
-    HTMLhandleVariant: function (span,variant,text) {HTMLCSS.handleVariant(span,variant,text)},
-
-    HTMLhandleSize: function (span) {
-      if (!span.scale) {
-        span.scale = this.HTMLgetScale();
-        if (span.scale !== 1) {span.style.fontSize = HTMLCSS.Percent(span.scale)}
-      }
-      return span;
-    },
-
-    HTMLhandleColor: function (span) {
-      var values = this.getValues("mathcolor","color");
-      if (this.mathbackground) {values.mathbackground = this.mathbackground}
-      if (this.background) {values.background = this.background}
-      if (this.style && span.style.backgroundColor) {values.mathbackground = span.style.backgroundColor}
-      if (values.color && !this.mathcolor) {values.mathcolor = values.color}
-      if (values.background && !this.mathbackground) {values.mathbackground = values.background}
-      if (values.mathcolor) {span.style.color = values.mathcolor}
-      if (values.mathbackground && values.mathbackground !== MML.COLOR.TRANSPARENT) {
-        var dd = 1/HTMLCSS.em, lW = 0, rW = 0;
-        if (this.isToken) {lW = span.bbox.lw; rW = span.bbox.rw - span.bbox.w}
-        if (span.style.paddingLeft  !== "") {lW += parseFloat(span.style.paddingLeft)*(span.scale||1)}
-        if (span.style.paddingRight !== "") {rW -= parseFloat(span.style.paddingRight)*(span.scale||1)}
-        var W = Math.max(0,HTMLCSS.getW(span) + (HTMLCSS.PaddingWidthBug ? 0 : rW - lW));
-        if (HTMLCSS.msieCharPaddingWidthBug && span.style.paddingLeft !== "")
-          {W += parseFloat(span.style.paddingLeft)*(span.scale||1)}
-        var H = span.bbox.h + span.bbox.d, D = -span.bbox.d;
-        if (W > 0) {W += 2*dd; lW -= dd}; if (H > 0) {H += 2*dd; D -= dd}; rW = -W-lW;
-        var frame = HTMLCSS.Element("span",{id:"MathJax-Color-"+this.spanID,
-          style:{display:"inline-block", backgroundColor:values.mathbackground,
-                 width: HTMLCSS.Em(W), height:HTMLCSS.Em(H), verticalAlign: HTMLCSS.Em(D),
-                 marginLeft: HTMLCSS.Em(lW), marginRight: HTMLCSS.Em(rW)}
-        });
-        if (HTMLCSS.msieInlineBlockAlignBug) {
-          frame.style.position = "relative"; frame.style.width = frame.style.height = 0;
-          frame.style.verticalAlign = frame.style.marginLeft = frame.style.marginRight = "";
-          HTMLCSS.placeBox(HTMLCSS.addElement(frame,"span",{
-            style: {display:"inline-block", position:"absolute", overflow:"hidden",
-                    width: HTMLCSS.Em(W), height: HTMLCSS.Em(H),
-                    background: values.mathbackground}
-          }),lW,span.bbox.h+dd);
-        } else {
-        }
-        span.parentNode.insertBefore(frame,span);
-      }
-    },
-    HTMLremoveColor: function () {
-      var color = document.getElementById("MathJax-Color-"+this.spanID);
-      if (color) {color.parentNode.removeChild(color)}
-    },
-
-    HTMLhandleSpace: function (span) {
-      if (this.useMMLspacing) {
-        if (this.type !== "mo") return;
-        var values = this.getValues("scriptlevel","lspace","rspace");
-        if (values.scriptlevel <= 0 || this.hasValue("lspace") || this.hasValue("rspace")) {
-          values.lspace = Math.max(0,HTMLCSS.length2em(values.lspace));
-          values.rspace = Math.max(0,HTMLCSS.length2em(values.rspace));
-          var core = this, parent = this.Parent();
-          while (parent && parent.isEmbellished() && parent.Core() === core)
-            {core = parent; parent = parent.Parent(); span = core.HTMLspanElement()}
-          if (values.lspace) {span.style.paddingLeft =  HTMLCSS.Em(values.lspace)}
-          if (values.rspace) {span.style.paddingRight = HTMLCSS.Em(values.rspace)}
-        }
-      } else {
-        var space = this.texSpacing();
-        if (space !== "") {
-          space = HTMLCSS.length2em(space)/(span.scale||1);
-          if (span.style.paddingLeft) {space += parseFloat(span.style.paddingLeft)}
-          span.style.paddingLeft = HTMLCSS.Em(space);
-        }
-      }
-    },
-
-    HTMLgetScale: function () {
-      var scale = 1, values = this.getValues("mathsize","scriptlevel","fontsize","scriptminsize");
-      if (this.style) {
-        var span = this.HTMLspanElement();
-        if (span.style.fontSize != "") {values.fontsize = span.style.fontSize}
-      }
-      if (values.fontsize && !this.mathsize) {values.mathsize = values.fontsize}
-      if (values.scriptlevel !== 0) {
-        if (values.scriptlevel > 2) {values.scriptlevel = 2}
-        scale = Math.pow(this.Get("scriptsizemultiplier"),values.scriptlevel);
-        values.scriptminsize = HTMLCSS.length2em(values.scriptminsize);
-        if (scale < values.scriptminsize) {scale = values.scriptminsize}
-      }
-      scale *= HTMLCSS.length2em(values.mathsize);
-      return scale;
-    },
-
-    HTMLgetVariant: function () {
-      var values = this.getValues("mathvariant","fontfamily","fontweight","fontstyle");
-      if (this.style) {
-        var span = this.HTMLspanElement();
-        if (span.style.fontFamily) {values.fontfamily = span.style.fontFamily}
-        if (span.style.fontWeight) {values.fontweight = span.style.fontWeight}
-        if (span.style.fontStyle)  {values.fontStyle  = span.style.fontStyle}
-      }
-      var variant = values.mathvariant; if (this.variantForm) {variant = "-"+HTMLCSS.fontInUse+"-variant"}
-      if (values.fontfamily && !this.mathvariant) {
-        if (!values.fontweight && values.mathvariant.match(/bold/)) {values.fontweight = "bold"}
-        if (!values.fontstyle && values.mathvariant.match(/italic/)) {values.fontstyle = "italic"}
-        return {FONTS:[], fonts:[], noRemap:true,
-                defaultFont: {family:values.fontfamily, style:values.fontstyle, weight:values.fontweight}};
-      }
-      if (values.fontweight === "bold") {
-        variant = {
-          normal:MML.VARIANT.BOLD, italic:MML.VARIANT.BOLDITALIC,
-          fraktur:MML.VARIANT.BOLDFRAKTUR, script:MML.VARIANT.BOLDSCRIPT,
-          "sans-serif":MML.VARIANT.BOLDSANSSERIF,
-          "sans-serif-italic":MML.VARIANT.SANSSERIFBOLDITALIC
-        }[variant]||variant;
-      } else if (values.fontweight === "normal") {
-        variant = {
-          bold:MML.VARIANT.normal, "bold-italic":MML.VARIANT.ITALIC,
-          "bold-fraktur":MML.VARIANT.FRAKTUR, "bold-script":MML.VARIANT.SCRIPT,
-          "bold-sans-serif":MML.VARIANT.SANSSERIF,
-          "sans-serif-bold-italic":MML.VARIANT.SANSSERIFITALIC
-        }[variant]||variant;
-      }
-      if (values.fontstyle === "italic") {
-        variant = {
-          normal:MML.VARIANT.ITALIC, bold:MML.VARIANT.BOLDITALIC,
-          "sans-serif":MML.VARIANT.SANSSERIFITALIC,
-          "bold-sans-serif":MML.VARIANT.SANSSERIFBOLDITALIC
-        }[variant]||variant;
-      } else if (values.fontstyle === "normal") {
-        variant = {
-          italic:MML.VARIANT.NORMAL, "bold-italic":MML.VARIANT.BOLD,
-          "sans-serif-italic":MML.VARIANT.SANSSERIF,
-          "sans-serif-bold-italic":MML.VARIANT.BOLDSANSSERIF
-        }[variant]||variant;
-      }
-      return HTMLCSS.FONTDATA.VARIANT[variant];
-    }
-  },{
-    HTMLautoload: function () {
-      var file = HTMLCSS.autoloadDir+"/"+this.type+".js";
-      MathJax.Hub.RestartAfter(AJAX.Require(file));
-    },
-
-    HTMLstretchH: function (box,w) {
-      this.HTMLremoveColor();
-      return this.toHTML(box,w);
-    },
-
-    HTMLstretchV: function (box,h,d) {
-      this.HTMLremoveColor();
-      return this.toHTML(box,h,d);
-    }
-  });
-
-  MML.chars.Augment({
-    toHTML: function (span,variant) {
-      this.HTMLhandleVariant(span,variant,this.data.join("").replace(/[\u2061-\u2064]/g,"")); // remove invisibles
-    }
-  });
-  MML.entity.Augment({
-    toHTML: function (span,variant) {
-      this.HTMLhandleVariant(span,variant,this.toString().replace(/[\u2061-\u2064]/g,"")); // remove invisibles
-    }
-  });
-
-  MML.mi.Augment({
-    toHTML: function (span) {
-      span = this.HTMLhandleSize(this.HTMLcreateSpan(span)); span.bbox = null;
-      var variant = this.HTMLgetVariant();
-      for (var i = 0, m = this.data.length; i < m; i++)
-        {if (this.data[i]) {this.data[i].toHTML(span,variant)}}
-      if (!span.bbox) {span.bbox = {w:0, h:0, d:0, rw:0, lw:0}}
-      if (this.data.join("").length !== 1) {delete span.bbox.skew}
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    }
-  });
-
-  MML.mn.Augment({
-    toHTML: function (span) {
-      span = this.HTMLhandleSize(this.HTMLcreateSpan(span)); span.bbox = null;
-      var variant = this.HTMLgetVariant();
-      for (var i = 0, m = this.data.length; i < m; i++)
-        {if (this.data[i]) {this.data[i].toHTML(span,variant)}}
-      if (!span.bbox) {span.bbox = {w:0, h:0, d:0, rw:0, lw:0}}
-      if (this.data.join("").length !== 1) {delete span.bbox.skew}
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    }
-  });
-
-  MML.mo.Augment({
-    toHTML: function (span) {
-      span = this.HTMLhandleSize(this.HTMLcreateSpan(span));
-      if (this.data.length == 0) {return span} else {span.bbox = null}
-      var text = this.data.join("");
-      var variant = this.HTMLgetVariant();
-      var values = this.getValues("largeop","displaystyle");
-      if (values.largeop)
-        {variant = HTMLCSS.FONTDATA.VARIANT[values.displaystyle ? "-largeOp" : "-smallOp"]}
-      for (var i = 0, m = this.data.length; i < m; i++)
-        {if (this.data[i]) {this.data[i].toHTML(span,variant)}}
-      if (!span.bbox) {span.bbox = {w:0, h:0, d:0, rw:0, lw:0}}
-      if (text.length !== 1) {delete span.bbox.skew}
-      if (HTMLCSS.AccentBug && span.bbox.w === 0 && text.length === 1 && span.firstChild) {
-        //  Handle combining characters by adding a non-breaking space and removing that width
-        span.firstChild.nodeValue += HTMLCSS.NBSP;
-        HTMLCSS.createSpace(span,0,0,-span.offsetWidth/HTMLCSS.em);
-      }
-      if (values.largeop) {
-        var p = (span.bbox.h - span.bbox.d)/2 - HTMLCSS.TeX.axis_height*span.scale;
-        if (HTMLCSS.safariVerticalAlignBug && span.lastChild.nodeName === "IMG") {
-          span.lastChild.style.verticalAlign =
-            HTMLCSS.Em(parseFloat(span.lastChild.style.verticalAlign||0)/HTMLCSS.em-p/span.scale);
-        } else if (HTMLCSS.konquerorVerticalAlignBug && span.lastChild.nodeName === "IMG") {
-          span.style.position = "relative";
-          span.lastChild.style.position="relative";
-          span.lastChild.style.top = HTMLCSS.Em(p/span.scale);
-        } else {
-          span.style.verticalAlign = HTMLCSS.Em(-p/span.scale);
-        }
-        span.bbox.h -= p; span.bbox.d += p;
-        if (span.bbox.rw > span.bbox.w) {
-          span.bbox.ic = span.bbox.rw-span.bbox.w;
-          HTMLCSS.createBlank(span,span.bbox.ic);
-          span.bbox.w = span.bbox.rw;
-        }
-      }
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    },
-    HTMLcanStretch: function (direction) {
-      if (!this.Get("stretchy")) {return false}
-      var c = this.data.join("");
-      if (c.length > 1) {return false}
-      c = HTMLCSS.FONTDATA.DELIMITERS[c.charCodeAt(0)];
-      return (c && c.dir == direction.substr(0,1));
-    },
-    HTMLstretchV: function (box,h,d) {
-      this.HTMLremoveColor();
-      var values = this.getValues("symmetric","maxsize","minsize");
-      var span = this.HTMLspanElement(), H, W = span.bbox.w;
-      var axis = HTMLCSS.TeX.axis_height, scale = span.scale;
-      if (values.symmetric) {H = 2*Math.max(h-axis,d+axis)} else {H = h + d}
-      values.maxsize = HTMLCSS.length2em(values.maxsize,span.bbox.h+span.bbox.d);
-      values.minsize = HTMLCSS.length2em(values.minsize,span.bbox.h+span.bbox.d);
-      H = Math.max(values.minsize,Math.min(values.maxsize,H));
-      span = this.HTMLcreateSpan(box); // clear contents and attributes
-      HTMLCSS.createDelimiter(span,this.data.join("").charCodeAt(0),H,scale);
-      if (values.symmetric) {H = (span.bbox.h + span.bbox.d)/2 + axis}
-        else {H = (span.bbox.h + span.bbox.d) * h/(h + d)}
-      HTMLCSS.positionDelimiter(span,H);
-      this.HTMLhandleSpace(span); // add in lspace/rspace, if any
-      this.HTMLhandleColor(span);
-      return span;
-    },
-    HTMLstretchH: function (box,W) {
-      this.HTMLremoveColor();
-      var values = this.getValues("maxsize","minsize","mathvariant","fontweight");
-      if (values.fontweight === "bold" && !this.mathvariant) {values.mathvariant = MML.VARIANT.BOLD}
-      var span = this.HTMLspanElement(), scale = span.scale;
-      values.maxsize = HTMLCSS.length2em(values.maxsize,span.bbox.w);
-      values.minsize = HTMLCSS.length2em(values.minsize,span.bbox.w);
-      W = Math.max(values.minsize,Math.min(values.maxsize,W));
-      span = this.HTMLcreateSpan(box); // clear contents and attributes
-      HTMLCSS.createDelimiter(span,this.data.join("").charCodeAt(0),W,scale,values.mathvariant);
-      this.HTMLhandleSpace(span); // add in lspace/rspace, if any
-      this.HTMLhandleColor(span);
-      return span;
-    }
-  });
-
-  MML.mtext.Augment({
-    toHTML: function (span) {
-      span = this.HTMLhandleSize(this.HTMLcreateSpan(span)); span.bbox = null;
-      if (this.Parent().type === "merror") {
-        //  Avoid setting the font style for error text
-        HTMLCSS.addText(span,this.data.join(""));
-        var HD = HTMLCSS.getHD(span), W = HTMLCSS.getW(span);
-        span.bbox = {h: HD.h, d: HD.d, w: W, lw: 0, rw: W};
-      } else {
-        var variant = this.HTMLgetVariant();
-        for (var i = 0, m = this.data.length; i < m; i++)
-          {if (this.data[i]) {this.data[i].toHTML(span,variant)}}
-        if (!span.bbox) {span.bbox = {w:0, h:0, d:0, rw:0, lw:0}}
-        if (this.data.join("").length !== 1) {delete span.bbox.skew}
-      }
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    }
-  });
-
-  MML.ms.Augment({toHTML: MML.mbase.HTMLautoload});
-
-  MML.mglyph.Augment({toHTML: MML.mbase.HTMLautoload});
-
-  MML.mspace.Augment({
-    toHTML: function (span) {
-      span = this.HTMLhandleSize(this.HTMLcreateSpan(span));
-      var values = this.getValues("height","depth","width");
-      values.mathbackground = this.mathbackground;
-      if (this.background && !this.mathbackground) {values.mathbackground = this.background}
-      var h = HTMLCSS.length2em(values.height), d = HTMLCSS.length2em(values.depth),
-          w = HTMLCSS.length2em(values.width);
-     HTMLCSS.createSpace(span,h,d,w,values.mathbackground);
-     return span;
-    }
-  });
-
-  MML.mphantom.Augment({
-    toHTML: function (span,HW,D) {
-      span = this.HTMLcreateSpan(span);
-      var box = HTMLCSS.Measured(this.data[0].toHTML(span),span);
-      if (D != null) {HTMLCSS.Remeasured(this.data[0].HTMLstretchV(span,HW,D),span)}
-      else if (HW != null) {HTMLCSS.Remeasured(this.data[0].HTMLstretchH(span,HW),span)}
-      span.bbox = {w: box.bbox.w, h: box.bbox.h, d: box.bbox.d, lw: 0, rw: 0};
-      for (var i = 0, m = span.childNodes.length; i < m; i++)
-        {span.childNodes[i].style.visibility = "hidden"}
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    },
-    HTMLstretchH: MML.mbase.HTMLstretchH,
-    HTMLstretchV: MML.mbase.HTMLstretchV
-  });
-
-  MML.mpadded.Augment({
-    toHTML: function (span,HW,D) {
-      span = this.HTMLcreateSpan(span);
-      var stack = HTMLCSS.createStack(span,true);
-      var box = HTMLCSS.createBox(stack);
-      HTMLCSS.Measured(this.data[0].toHTML(box),box);
-      if (D != null) {HTMLCSS.Remeasured(this.data[0].HTMLstretchV(box,HW,D),box)}
-      else if (HW != null) {HTMLCSS.Remeasured(this.data[0].HTMLstretchH(box,HW),box)}
-      var values = this.getValues("height","depth","width","lspace","voffset"), x = 0, y = 0, v;
-      if (values.lspace)  {x = this.HTMLlength2em(box,values.lspace)}
-      if (values.voffset) {y = this.HTMLlength2em(box,values.voffset)}
-      HTMLCSS.placeBox(box,x,y);
-      span.bbox = {
-        h: box.bbox.h, d: box.bbox.d, w: box.bbox.w,
-        lw: Math.min(0,box.bbox.lw+x), rw: Math.max(box.bbox.w,box.bbox.rw+x),
-        H: Math.max((box.bbox.H == null ? -HTMLCSS.BIGDIMEN : box.bbox.H),box.bbox.h+y),
-        D: Math.max((box.bbox.D == null ? -HTMLCSS.BIGDIMEN : box.bbox.D),box.bbox.d-y)
-      };
-      if (values.height !== "") {span.bbox.h = this.HTMLlength2em(box,values.height,"h",0)}
-      if (values.depth  !== "") {span.bbox.d = this.HTMLlength2em(box,values.depth,"d",0)}
-      if (values.width  !== "") {span.bbox.w = this.HTMLlength2em(box,values.width,"w",0)}
-      if (span.bbox.H <= span.bbox.h) {delete span.bbox.H}
-      if (span.bbox.D <= span.bbox.d) {delete span.bbox.D}
-      HTMLCSS.setStackWidth(stack,span.bbox.w);
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    },
-    HTMLlength2em: function (span,length,d,m) {
-      if (m == null) {m = -HTMLCSS.BIGDIMEN}
-      var match = String(length).match(/width|height|depth/);
-      var size = (match ? span.bbox[match[0].charAt(0)] : (d ? span.bbox[d] : null));
-      var v = HTMLCSS.length2em(length,size);
-      if (d && String(length).match(/^\s*[-+]/))
-        {return Math.max(m,span.bbox[d]+v)} else {return v}
-    },
-    HTMLstretchH: MML.mbase.HTMLstretchH,
-    HTMLstretchV: MML.mbase.HTMLstretchV
-  });
-
-  MML.mrow.Augment({
-    HTMLstretchH: function (box,w) {
-      this.HTMLremoveColor();
-      var span = this.HTMLspanElement();
-      this.data[this.core].HTMLstretchH(span,w);
-      this.HTMLcomputeBBox(span,true);
-      this.HTMLhandleColor(span);
-      return span;
-    },
-    HTMLstretchV: function (box,h,d) {
-      this.HTMLremoveColor();
-      var span = this.HTMLspanElement();
-      this.data[this.core].HTMLstretchV(span,h,d);
-      this.HTMLcomputeBBox(span,true);
-      this.HTMLhandleColor(span);
-      return span;
-    }
-  });
-
-  MML.mstyle.Augment({
-    toHTML: function (span) {
-      if (this.data.length) {
-        span = this.data[0].toHTML(span);
-        this.spanID = this.data[0].spanID;
-        this.HTMLhandleSpace(span);
-        this.HTMLhandleColor(span);
-      }
-      return span;
-    },
-    HTMLspanElement: function () {
-      return (this.data.length ? this.data[0].HTMLspanElement() : null);
-    },
-    HTMLstretchH: function (box,w) {
-      return (this.data.length ? this.data[0].HTMLstretchH(box,w) : box);
-    },
-    HTMLstretchV: function (box,h,d) {
-      return (this.data.length ? this.data[0].HTMLstretchV(box,h,d) : box);
-    }
-  });
-
-  MML.mfrac.Augment({
-    toHTML: function (span) {
-      span = this.HTMLcreateSpan(span);
-      var frac = HTMLCSS.createStack(span);
-      var num = HTMLCSS.createBox(frac), den = HTMLCSS.createBox(frac);
-      HTMLCSS.Measured(this.data[0].toHTML(num),num);
-      HTMLCSS.Measured(this.data[1].toHTML(den),den);
-      var values = this.getValues("displaystyle","linethickness","numalign","denomalign","bevelled");
-      var scale = this.HTMLgetScale(), isDisplay = values.displaystyle;
-      var a = HTMLCSS.TeX.axis_height * scale;
-      if (values.bevelled) {
-        var delta = (isDisplay ? .4 : .15);
-        var H = Math.max(num.bbox.h+num.bbox.d,den.bbox.h+den.bbox.d)+2*delta;
-        var bevel = HTMLCSS.createBox(frac);
-        HTMLCSS.createDelimiter(bevel,0x2F,H);
-        HTMLCSS.placeBox(num,0,(num.bbox.d-num.bbox.h)/2+a+delta);
-        HTMLCSS.placeBox(bevel,num.bbox.w-delta/2,(bevel.bbox.d-bevel.bbox.h)/2+a);
-        HTMLCSS.placeBox(den,num.bbox.w+bevel.bbox.w-delta,(den.bbox.d-den.bbox.h)/2+a-delta);
-      } else {
-        var W = Math.max(num.bbox.w,den.bbox.w);
-        var t = HTMLCSS.thickness2em(values.linethickness), p,q, u,v;
-        var mt = HTMLCSS.TeX.min_rule_thickness/this.em;
-        if (isDisplay) {u = HTMLCSS.TeX.num1; v = HTMLCSS.TeX.denom1}
-          else {u = (t === 0 ? HTMLCSS.TeX.num3 : HTMLCSS.TeX.num2); v = HTMLCSS.TeX.denom2}
-        u *= scale; v *= scale;
-        if (t === 0) {// \atop
-          p = Math.max((isDisplay ? 7 : 3) * HTMLCSS.TeX.rule_thickness, 2*mt); // force to at least 2 px
-          q = (u - num.bbox.d) - (den.bbox.h - v);
-          if (q < p) {u += (p - q)/2; v += (p - q)/2}
-        } else {// \over
-          p = Math.max((isDisplay ? 2 : 0) * mt + t, t/2 + 1.5*mt);  // force to be at least 1.5px
-          q = (u - num.bbox.d) - (a + t/2); if (q < p) {u += p - q}
-          q = (a - t/2) - (den.bbox.h - v); if (q < p) {v += p - q}
-          var rule = HTMLCSS.createBox(frac);
-          HTMLCSS.createRule(rule,t,0,W+2*t);
-          HTMLCSS.placeBox(rule,0,a-t/2);
-        }
-        HTMLCSS.alignBox(num,values.numalign,u);
-        HTMLCSS.alignBox(den,values.denomalign,-v);
-      }
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    },
-    HTMLcanStretch: function (direction) {return false},
-    HTMLhandleSpace: function (span) {
-      if (!this.texWithDelims) {
-        var space = (this.useMMLspacing ? 0 : HTMLCSS.length2em(this.texSpacing()||0)) + .12;
-        span.style.paddingLeft = HTMLCSS.Em(space);
-        span.style.paddingRight = ".12em";
-      }
-    }
-  });
-
-  MML.msqrt.Augment({
-    toHTML: function (span) {
-      span = this.HTMLcreateSpan(span);
-      var sqrt = HTMLCSS.createStack(span);
-      var base = HTMLCSS.createBox(sqrt),
-          rule = HTMLCSS.createBox(sqrt),
-          surd = HTMLCSS.createBox(sqrt);
-      HTMLCSS.Measured(this.data[0].toHTML(base),base);
-      var scale = this.HTMLgetScale();
-      var t = HTMLCSS.TeX.rule_thickness * scale, p,q, H, W;
-      if (this.Get("displaystyle")) {p = HTMLCSS.TeX.x_height * scale} else {p = t}
-      q = Math.max(t + p/4,2*HTMLCSS.TeX.min_rule_thickness/this.em); // force to be at least 2px
-      H = base.bbox.h + base.bbox.d + q + t;
-      W = base.bbox.w;
-      HTMLCSS.createDelimiter(surd,0x221A,H,scale); HTMLCSS.Measured(surd);
-      var x = 0;
-      if (surd.isMultiChar || (HTMLCSS.AdjustSurd && HTMLCSS.imgFonts)) {surd.bbox.w *= .95}
-      if (surd.bbox.h + surd.bbox.d > H) {q += ((surd.bbox.h+surd.bbox.d) - (H-t))/2}
-      var ruleC = HTMLCSS.FONTDATA.DELIMITERS[HTMLCSS.FONTDATA.RULECHAR];
-      if (!ruleC || W < ruleC.HW[0][0]*scale || scale < .75) {
-        HTMLCSS.createRule(rule,t,0,W);
-      } else {
-        HTMLCSS.createDelimiter(rule,HTMLCSS.FONTDATA.RULECHAR,W,scale);
-      }
-      H = base.bbox.h + q + t;
-      x = this.HTMLaddRoot(sqrt,surd,x,surd.bbox.h+surd.bbox.d-H,scale);
-      HTMLCSS.placeBox(surd,x,H-surd.bbox.h);
-      HTMLCSS.placeBox(rule,x+surd.bbox.w,H-rule.bbox.h+HTMLCSS.rfuzz);
-      HTMLCSS.placeBox(base,x+surd.bbox.w,0);
-      span.bbox.h += t;
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    },
-    HTMLaddRoot: function (sqrt,surd,x,d,scale) {return x}
-  });
-
-  MML.mroot.Augment({
-    toHTML: MML.msqrt.prototype.toHTML,
-    HTMLaddRoot: function (sqrt,surd,x,d,scale) {
-      var box = HTMLCSS.createBox(sqrt);
-      var root = this.data[1].toHTML(box);
-      root.style.paddingRight = root.style.paddingLeft = ""; // remove extra padding, if any
-      HTMLCSS.Measured(root,box);
-      var h = this.HTMLrootHeight(surd.bbox.h+surd.bbox.d,scale,box)-d;
-      var w = Math.min(box.bbox.w,box.bbox.rw); // remove extra right-hand padding, if any
-      x = Math.max(w,surd.offset);
-      HTMLCSS.placeBox(box,x-w,h);
-      return x - surd.offset;
-    },
-    HTMLrootHeight: function (d,scale,root) {
-      return .45*(d-.9*scale)+.6*scale + Math.max(0,root.bbox.d-.075);
-    }
-  });
-
-  MML.mfenced.Augment({
-    toHTML: function (span) {
-      span = this.HTMLcreateSpan(span);
-      if (this.data.open) {this.data.open.toHTML(span)}
-      if (this.data[0]) {this.data[0].toHTML(span)}
-      for (var i = 1, m = this.data.length; i < m; i++) {
-        if (this.data[i]) {
-          if (this.data["sep"+i]) {this.data["sep"+i].toHTML(span)}
-          this.data[i].toHTML(span);
-        }
-      }
-      if (this.data.close) {this.data.close.toHTML(span)}
-      var stretchy = this.HTMLcomputeBBox(span);
-      var h = span.bbox.h, d = span.bbox.d;
-      for (i = 0, m = stretchy.length; i < m; i++) {stretchy[i].HTMLstretchV(span,h,d)}
-      if (stretchy.length) {this.HTMLcomputeBBox(span,true)}
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    },
-    HTMLcomputeBBox: function (span,full) {
-      var i, m, child, bbox, BBOX, hasDimens = 0, width, stretchy = [];
-      BBOX = span.bbox = {};
-      this.HTMLcheckStretchy(this.data.open,BBOX,stretchy,full);
-      this.HTMLcheckStretchy(this.data[0],BBOX,stretchy,full);
-      for (i = 1, m = this.data.length; i < m; i++) {
-        if (this.data[i]) {
-          this.HTMLcheckStretchy(this.data["sep"+i],BBOX,stretchy,full);
-          this.HTMLcheckStretchy(this.data[i],BBOX,stretchy,full);
-        }
-      }
-      this.HTMLcheckStretchy(this.data.close,BBOX,stretchy,full);
-      this.HTMLcleanBBox(BBOX);
-      return stretchy;
-    },
-    HTMLcheckStretchy: function (core,BBOX,stretchy,full) {
-      if (core) {
-        if (!full && core.HTMLcanStretch("Vertical"))
-          {stretchy.push(core); core = (core.CoreMO()||core)}
-        this.HTMLcombineBBoxes(core,BBOX);
-      }
-    }
-  });
-
-  MML.menclose.Augment({toHTML: MML.mbase.HTMLautoload});
-
-  MML.semantics.Augment({
-    toHTML: function (span) {
-      if (this.data.length) {
-        span = this.data[0].toHTML(span);
-        this.spanID = this.data[0].spanID;
-        this.HTMLhandleSpace(span);
-      }
-      return span;
-    },
-    HTMLspanElement: function () {
-      return (this.data.length ? this.data[0].HTMLspanElement() : null);
-    },
-    HTMLstretchH: function (box,w) {
-      return (this.data.length ? this.data[0].HTMLstretchH(box,w) : box);
-    },
-    HTMLstretchV: function (box,h,d) {
-      return (this.data.length ? this.data[0].HTMLstretchV(box,h,d) : box);
-    }
-  });
-
-  MML.munderover.Augment({
-    toHTML: function (span,HW,D) {
-      var values = this.getValues("displaystyle","accent","accentunder","align");
-      if (!values.displaystyle && this.data[this.base].Get("movablelimits"))
-        {return MML.msubsup.prototype.toHTML.call(this,span)}
-      span = this.HTMLcreateSpan(span); var scale = this.HTMLgetScale();
-      var stack = HTMLCSS.createStack(span);
-      var boxes = [], stretch = [], box, i, m, W = -HTMLCSS.BIGDIMEN, WW = W;
-      for (i = 0, m = this.data.length; i < m; i++) {
-        if (this.data[i]) {
-          box = boxes[i] = HTMLCSS.createBox(stack);
-          HTMLCSS.Measured(this.data[i].toHTML(box),box);
-          if (i == this.base) {
-            if (D != null) {HTMLCSS.Remeasured(this.data[this.base].HTMLstretchV(box,HW,D),box)}
-            else if (HW != null) {HTMLCSS.Remeasured(this.data[this.base].HTMLstretchH(box,HW),box)}
-            stretch[i] = (D == null && HW != null ? false :
-                         this.data[i].HTMLcanStretch("Horizontal"));
-          } else {
-            stretch[i] = this.data[i].HTMLcanStretch("Horizontal");
-          }
-          if (box.bbox.w > WW) {WW = box.bbox.w}
-          if (!stretch[i] && WW > W) {W = WW}
-        }
-      }
-      if (W == -HTMLCSS.BIGDIMEN) {W = WW}
-      if (D == null && HW != null) {W = WW = HW}
-      var t = HTMLCSS.TeX.rule_thickness, factor = HTMLCSS.FONTDATA.TeX_factor;
-      var base = boxes[this.base], delta = (base.bbox.ic || 0);
-      var x, y, z1, z2, z3, dw, k;
-      for (i = 0, m = this.data.length; i < m; i++) {
-        if (this.data[i]) {
-          box = boxes[i];
-          if (stretch[i]) {box.bbox = this.data[i].HTMLstretchH(box,W).bbox}
-          z3 = HTMLCSS.TeX.big_op_spacing5 * scale;
-          var accent = (i != this.base && values[this.ACCENTS[i]]);
-          if (accent && box.bbox.w <= 1/HTMLCSS.em+.0001) { // images can get the width off by 1px
-            box.bbox.w = box.bbox.rw - box.bbox.lw; box.bbox.noclip = true;
-	    if (box.bbox.lw)
-	      {box.insertBefore(HTMLCSS.createSpace(box.parentNode,0,0,-box.bbox.lw),box.firstChild)}
-            HTMLCSS.createBlank(box,0,0,box.bbox.rw+.1);
-          }
-          dw = {left:0, center:(W-box.bbox.w)/2, right:W-box.bbox.w}[values.align];
-          x = dw; y = 0;
-          if (i == this.over) {
-            if (accent) {
-              k = Math.max(t * scale * factor,2.5/this.em); z3 = 0;
-              if (base.bbox.skew) {x += base.bbox.skew}
-            } else {
-              z1 = HTMLCSS.TeX.big_op_spacing1 * scale * factor;
-              z2 = HTMLCSS.TeX.big_op_spacing3 * scale * factor;
-              k = Math.max(z1,z2-Math.max(0,box.bbox.d));
-            }
-            k = Math.max(k,1.5/this.em); // force to be at least 1.5px
-            x += delta; y = base.bbox.h + box.bbox.d + k;
-            box.bbox.h += z3;
-          } else if (i == this.under) {
-            if (accent) {
-              k = 3*t * scale * factor; z3 = 0;
-            } else {
-              z1 = HTMLCSS.TeX.big_op_spacing2 * scale * factor;
-              z2 = HTMLCSS.TeX.big_op_spacing4 * scale * factor;
-              k = Math.max(z1,z2-box.bbox.h);
-            }
-            k = Math.max(k,1.5/this.em); // force to be at least 1.5px
-            x -= delta; y = -(base.bbox.d + box.bbox.h + k);
-            box.bbox.d += z3;
-          }
-          HTMLCSS.placeBox(box,x,y);
-        }
-      }
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    },
-    HTMLstretchH: MML.mbase.HTMLstretchH,
-    HTMLstretchV: MML.mbase.HTMLstretchV
-  });
-
-  MML.msubsup.Augment({
-    toHTML: function (span,HW,D) {
-      span = this.HTMLcreateSpan(span); var scale = this.HTMLgetScale();
-      var stack = HTMLCSS.createStack(span), script, box, values;
-      var base = HTMLCSS.createBox(stack);
-      HTMLCSS.Measured(this.data[this.base].toHTML(base),base);
-      if (D != null) {HTMLCSS.Remeasured(this.data[this.base].HTMLstretchV(base,HW,D),base)}
-      else if (HW != null) {HTMLCSS.Remeasured(this.data[this.base].HTMLstretchH(base,HW),base)}
-      HTMLCSS.placeBox(base,0,0);
-      var sscale = (this.data[this.sup] || this.data[this.sub]).HTMLgetScale();
-      var x_height = HTMLCSS.TeX.x_height * scale,
-          s = HTMLCSS.TeX.scriptspace * scale * .75;  // FIXME: .75 can be removed when IC is right?
-      var sup, sub;
-      if (this.data[this.sup]) {
-        sup = HTMLCSS.createBox(stack);
-        HTMLCSS.Measured(this.data[this.sup].toHTML(sup),sup);
-        sup.bbox.w += s; sup.bbox.rw = Math.max(sup.bbox.w,sup.bbox.rw);
-      }
-      if (this.data[this.sub]) {
-        sub = HTMLCSS.createBox(stack);
-        HTMLCSS.Measured(this.data[this.sub].toHTML(sub),sub);
-        sub.bbox.w += s; sub.bbox.rw = Math.max(sub.bbox.w,sub.bbox.rw);
-      }
-      var q = HTMLCSS.TeX.sup_drop * sscale, r = HTMLCSS.TeX.sub_drop * sscale;
-      var u = base.bbox.h - q, v = base.bbox.d + r, delta = 0, p;
-      if (base.bbox.ic) {delta = base.bbox.ic}
-      if (this.data[this.base].type === "mi" || this.data[this.base].type === "mo") {
-        if (this.data[this.base].data.join("").length === 1 && base.bbox.scale === 1 &&
-            !this.data[this.base].Get("largeop")) {u = v = 0}
-      }
-      var min = this.getValues("subscriptshift","superscriptshift");
-      min.subscriptshift   = (min.subscriptshift === ""   ? 0 : HTMLCSS.length2em(min.subscriptshift));
-      min.superscriptshift = (min.superscriptshift === "" ? 0 : HTMLCSS.length2em(min.superscriptshift));
-      if (!sup) {
-        v = Math.max(v,HTMLCSS.TeX.sub1*scale,sub.bbox.h-(4/5)*x_height,min.subscriptshift);
-        HTMLCSS.placeBox(sub,base.bbox.w+s-delta,-v,sub.bbox);
-      } else {
-        if (!sub) {
-          var values = this.getValues("displaystyle","texprimestyle");
-          p = HTMLCSS.TeX[(values.displaystyle ? "sup1" : (values.texprimestyle ? "sup3" : "sup2"))];
-          u = Math.max(u,p*scale,sup.bbox.d+(1/4)*x_height,min.superscriptshift);
-          HTMLCSS.placeBox(sup,base.bbox.w+s,u,sup.bbox);
-        } else {
-          v = Math.max(v,HTMLCSS.TeX.sub2*scale);
-          var t = HTMLCSS.TeX.rule_thickness * scale;
-          if ((u - sup.bbox.d) - (sub.bbox.h - v) < 3*t) {
-            v = 3*t - u + sup.bbox.d + sub.bbox.h;
-            q = (4/5)*x_height - (u - sup.bbox.d) + .05*scale*0;
-            if (q > 0) {u += q; v -= q}
-          }
-          HTMLCSS.placeBox(sup,base.bbox.w+s,Math.max(u,min.superscriptshift));
-          HTMLCSS.placeBox(sub,base.bbox.w+s-delta,-Math.max(v,min.subscriptshift));
-        }
-      }
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    },
-    HTMLstretchH: MML.mbase.HTMLstretchH,
-    HTMLstretchV: MML.mbase.HTMLstretchV
-  });
-
-  MML.mtable.Augment({
-    toHTML: function (span) {
-      span = this.HTMLcreateSpan(span);
-      if (this.data.length === 0) {return span}
-      var values = this.getValues("columnalign","columnspacing","rowspacing",
-                                  "align","useHeight","width","side","minlabelspacing");
-      var WIDTH = (values.width === "auto" ? null : values.width);
-      var COLWIDTH = (WIDTH ? "100%" : null);
-      var stack = HTMLCSS.createStack(span,false,WIDTH);
-      var scale = this.HTMLgetScale(); var LABEL = -1;
-      //
-      //  Create cells and measure columns and rows
-      //
-      var H = [], D = [], W = [], A = [], i, j, J = 0, m, M, s, row, C = [];
-      var LHD = HTMLCSS.FONTDATA.baselineskip * scale * values.useHeight,
-          LH = HTMLCSS.FONTDATA.lineH * scale, LD = HTMLCSS.FONTDATA.lineD * scale;
-      for (i = 0, m = this.data.length; i < m; i++) {
-        row = this.data[i]; s = (row.type === "mlabeledtr" ? LABEL : 0);
-        A[i] = []; H[i] = 0; D[i] = 0;
-        for (j = s, M = row.data.length + s; j < M; j++) {
-          if (W[j] == null) {
-            W[j] = -HTMLCSS.BIGDIMEN; if (j > J) {J =j}
-            // FIXME:  these widths should come from columnwidths attribute
-            C[j] = HTMLCSS.createStack(HTMLCSS.createBox(stack,COLWIDTH),false,COLWIDTH);
-          }
-          A[i][j] = HTMLCSS.createBox(C[j]);
-          HTMLCSS.Measured(row.data[j-s].toHTML(A[i][j]),A[i][j]);
-          if (A[i][j].bbox.h > H[i]) {H[i] = A[i][j].bbox.h}
-          if (A[i][j].bbox.d > D[i]) {D[i] = A[i][j].bbox.d}
-          if (A[i][j].bbox.w > W[j]) {W[j] = A[i][j].bbox.w}
-        }
-      }
-      H[0] = Math.max(H[0],LH); D[A.length-1] = Math.max(D[A.length-1],LD);
-      //
-      //  Determine spacing and alignment
-      //
-      var CSPACE = values.columnspacing.split(/ /),
-          RSPACE = values.rowspacing.split(/ /),
-          CALIGN = values.columnalign.split(/ /);
-      for (i = 0, m = CSPACE.length; i < m; i++) {CSPACE[i] = HTMLCSS.length2em(CSPACE[i])}
-      for (i = 0, m = RSPACE.length; i < m; i++) {RSPACE[i] = HTMLCSS.length2em(RSPACE[i])}
-      while (CSPACE.length <= J) {CSPACE.push(CSPACE[CSPACE.length-1])}
-      while (CALIGN.length <= J) {CALIGN.push(CALIGN[CALIGN.length-1])}
-      while (RSPACE.length <= A.length) {RSPACE.push(RSPACE[RSPACE.length-1])}
-      if (C[LABEL]) {
-        CALIGN[LABEL] = (values.side.substr(0,1) === "l" ? "left" : "right");
-        CSPACE[LABEL] = -W[LABEL];
-      }
-      //
-      //  Determine array total height
-      //
-      var HD = H[0] + D[A.length-1];
-      for (i = 0, m = A.length-1; i < m; i++) {HD += Math.max(LHD,D[i]+H[i+1]+RSPACE[i])}
-      //
-      //  Compute alignment
-      //
-      var Y = HD/2 + HTMLCSS.TeX.axis_height*scale - H[0];
-      //
-      //  Lay out array by columns
-      //
-      var x = 0, y = Y; s = (C[LABEL] ? LABEL : 0);
-      for (j = s; j <= J; j++) {
-        for (i = 0, m = A.length; i < m; i++) {
-          s = (this.data[i].type === "mlabeledtr" ? LABEL : 0);
-          if (A[i][j])
-            {HTMLCSS.alignBox(A[i][j],(this.data[i].data[j-s].columnalign||CALIGN[j]),y)}
-          if (i < A.length-1) {y -= Math.max(LHD,D[i]+H[i+1]+ RSPACE[i])}
-        }
-        HTMLCSS.placeBox(C[j].parentNode,x,0);
-        x += W[j] + CSPACE[j]; y = Y;
-      }
-      //
-      //  Place the labels, if any
-      //
-      if (C[LABEL]) {
-        var eqn = HTMLCSS.createStack(span,false,"100%");
-        var align = HTMLCSS.config.styles[".MathJax_Display"]["text-align"];
-        HTMLCSS.addBox(eqn,stack); HTMLCSS.alignBox(stack,align,0);
-        HTMLCSS.addBox(eqn,C[LABEL]); HTMLCSS.alignBox(C[LABEL],CALIGN[LABEL],0);
-        C[LABEL].style.marginRight = C[LABEL].style.marginLeft =
-          HTMLCSS.Em(HTMLCSS.length2em(values.minlabelspacing));
-      }
-      //
-      //  Finish the table
-      //
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    },
-    HTMLhandleSpace: function (span) {
-      span.style.paddingLeft = span.style.paddingRight = ".1667em";
-    }
-  });
-
-  MML.math.Augment({
-    toHTML: function (span,node) {
-      var alttext = this.Get("alttext"); if (alttext) {node.setAttribute("aria-label",alttext)}
-      var nobr = HTMLCSS.addElement(span,"nobr",{style:{visibility:"hidden"}});
-      span = this.HTMLcreateSpan(nobr);
-      var stack = HTMLCSS.createStack(span);
-      var box = HTMLCSS.createBox(stack);
-      if (HTMLCSS.msieColorBug) {
-        this.data[0].background = this.background;
-        this.data[0].mathbackground = this.mathbackground;
-        delete this.background; delete this.mathbackground;
-      }
-      var math = HTMLCSS.Measured(this.data[0].toHTML(box),box);
-      HTMLCSS.placeBox(box,0,0);
-      if (math.bbox.width != null) {
-        stack.style.width = math.bbox.width;
-        box.style.width = "100%";
-      }
-      this.HTMLhandleColor(span);
-      HTMLCSS.createRule(span,math.bbox.h,math.bbox.d,0);
-      nobr.style.visibility = "";
-      return span;
-    }
-  });
-
-  MML.TeXAtom.Augment({
-    toHTML: function (span) {
-      span = this.HTMLcreateSpan(span);
-      if (this.texClass === MML.TEXCLASS.VCENTER) {
-        var stack = HTMLCSS.createStack(span);
-        var box = HTMLCSS.createBox(stack);
-        HTMLCSS.Measured(this.data[0].toHTML(box),box);
-        // FIXME: should the axis height be scaled?
-        HTMLCSS.placeBox(box,0,HTMLCSS.TeX.axis_height-(box.bbox.h+box.bbox.d)/2+box.bbox.d);
-      } else {
-        span.bbox = this.data[0].toHTML(span).bbox;
-      }
-      this.HTMLhandleSpace(span);
-      this.HTMLhandleColor(span);
-      return span;
-    }
-  });
-
-  //
-  //  Handle browser-specific setup
-  //
-  MathJax.Hub.Browser.Select({
-    MSIE: function (browser) {
-      var isIE7 = browser.versionAtLeast("7.0");
-      var isIE8 = browser.versionAtLeast("8.0") && document.documentMode > 7;
-      var quirks = (document.compatMode === "BackCompat");
-      // MSIE can't measure widths properly without this
-      HTMLCSS.config.styles[".MathJax span"] = {position: "relative"};
-      // FIXME:  work out tests for these?
-      HTMLCSS.Augment({
-        getMarginScale: HTMLCSS.getMSIEmarginScale,
-        PaddingWidthBug: true,
-        msieAccentBug: true,
-        msieColorBug: true,
-        msieMarginWidthBug: true,
-        msiePaddingWidthBug: true,
-        msieCharPaddingWidthBug: (isIE8 && !quirks),
-        msieBorderWidthBug: quirks,
-        msieInlineBlockAlignBug: (!isIE8 || quirks),
-        msieVerticalAlignBug: (isIE8 && !quirks),
-        msiePlaceBoxBug: (isIE8 && !quirks),
-        msieClipRectBug: !isIE8,
-        msieNegativeSpaceBug: quirks,
-        negativeSkipBug: true,
-        msieIE6: !isIE7,
-        msieItalicWidthBug: true,
-        FontFaceBug: true,
-        allowWebFonts: "eot"
-      });
-    },
-
-    Firefox: function (browser) {
-      var webFonts = false;
-      if (browser.versionAtLeast("3.5")) {
-        var root = String(document.location).replace(/[^\/]*$/,"");
-        if (document.location.protocol !== "file:" ||
-            (MathJax.Hub.config.root+"/").substr(0,root.length) === root) {webFonts = "otf"}
-      }
-      HTMLCSS.Augment({
-        ffVerticalAlignBug: true,
-        AccentBug: true,
-        allowWebFonts: webFonts
-      });
-    },
-
-    Safari: function (browser) {
-      var v3p0 = browser.versionAtLeast("3.0");
-      var v3p1 = browser.versionAtLeast("3.1");
-      browser.isMobile = (navigator.appVersion.match(/Mobile/i) != null);
-      HTMLCSS.Augment({
-        rfuzz: .05,
-        AccentBug: true,
-        AdjustSurd: true,
-        safariNegativeSpaceBug: true,
-        safariVerticalAlignBug: !v3p1,
-        safariTextNodeBug: !v3p0,
-        safariWebFontSerif: ["serif"],
-        allowWebFonts: (v3p1 && !browser.isMobile ? (browser.isPC ? "svg" : "otf") : false)
-      });
-    },
-
-    Chrome: function (browser) {
-      HTMLCSS.Augment({
-        rfuzz: .05,
-        AccentBug: true,
-        AdjustSurd: true,
-        allowWebFonts: "svg",
-        safariNegativeSpaceBug: true,
-        safariWebFontSerif: [""]
-      });
-    },
-
-    Opera: function (browser) {
-      HTMLCSS.config.styles[".MathJax .merror"]["vertical-align"] = null;
-      HTMLCSS.Augment({
-        operaHeightBug: true,
-        operaVerticalAlignBug: true,
-        negativeSkipBug: true,
-        FontFaceBug: true,
-        PaddingWidthBug: true,
-        allowWebFonts: (browser.versionAtLeast("10.0") ? "otf" : false)
-      });
-    },
-
-    Konqueror: function (browser) {
-      HTMLCSS.Augment({
-        konquerorVerticalAlignBug: true
-      });
-    }
-  });
-  
-  HTMLCSS.loadComplete("jax.js");
+MathJax.Unpack([
+  ['(','function(','a,c,d,e){var b=','MathJax','.Object.Subclass({FontInfo:{STIX:{family:"STIXSizeOneSym",','testString',':"() {} []"},TeX:{family:"MathJax_Size1",',5,':"() {} []"}},comparisonFont:["sans-serif","monospace","script","Times","Courier","Arial","Helvetica"],testSize:["40px","50px","60px","30px","20px"],Init:','function(){','this.div','=','MathJax.HTML.','addElement','(','document.body',',"div','",{style:{','position:"absolute','",','visibility:"hidden",','top:0,left:0,','fontSize',':','this.testSize','[0],','fontWeight',':"normal",','fontStyle',':"normal"}},[""]);this.text=',10,'.firstChild','},findFont:',1,'j,g){if(g&&this.','testCollection','(g)){','return g','}for(var ','h=0,f=j','.length;h<f;h++){','if(j[h]===g','){continue}','if(this.',35,'(j[h])){return j[h',']}}return null},',35,':',1,'f','){return',' this.testFont(this.FontInfo[f])},testFont:',1,'h){if(h.','isWebFont','&&e.FontFaceBug){','this.div.style.',26,'=',57,28,'="normal"}else{',57,26,'=(h.weight||"normal");',57,28,'=(h.style||"normal")}','var g=this.','getComparisonWidths','(h.',5,',','h.noStyleChar',');if(g){',57,'fontFamily','="\'"+h.family+"\',"+','this.comparisonFont','[0];if(','this.div.offsetWidth','==g[0]){',57,77,'="\'"+h.family+"\',"+',79,'[g[2]];if(',81,'==g[1]){','return false','}}if(',81,'!=g[3]){if(',74,'||!e.FONTDATA||!','e.FONTDATA.','hasStyleChar',51,' true',38,'j=0,f=',24,'.length;','j<f;j++){',43,'testStyleChar','(h,',24,'[j])){return true}}}}',90,'},styleChar:','String.fromCharCode(','61437),','versionChar',':',112,'61438),compChar:',112,'61439),',106,':',1,'h,j){var m=3+(h.weight?2:0)+(h.style?4:0);var g="",i=0;var l=',57,22,';',57,22,'=j;if(e.msieItalicWidthBug&&h.style==="italic"){this.text.nodeValue=g=','this.compChar',';i=',81,'}','if(e.safariTextNodeBug){this.div.innerHTML=',130,'+g','}else{this.text.nodeValue=',130,'+g}','var f=',81,'-i;',134,'this.styleChar','+g',137,144,'+g}var k','=Math.floor((',81,'-i)/f+0.5);if(k===m){',134,'this.',114,'+g',137,'this.',114,'+g}h.version',149,81,'-i)/f+1.5)/2}',57,22,'=l;return(k===m)},',70,':',1,'j,h){if(e.FONTDATA&&',96,97,'&&!h){j+=',144,'+" "+',130,'}',134,'j',137,'j}',57,77,'=',79,'[0];var g=',81,',l=-1;if(','e.safariWebFontSerif','){',57,77,'=',188,'[0];l=',81,38,'k=1,f=',79,103,'k<f;k++){',57,77,'=',79,'[k];if(',81,'!=g',51,'[g,',81,',k,l',46,'loadWebFont',':',1,'f){','d.Startup.signal.Post("HTML-CSS Jax - ','Web-Font',' "+e.fontInUse+"/"+f.directory',');var h','=','MathJax.Message.','File("Web-Font',219,');var g=',3,'.Callback','(["loadComplete",this,f,h]);c.timer.start(c,[this.checkWebFont,f,g],1);',37,'},loadComplete:',1,'g,i,f){if(f!==c.STATUS.OK){this.loadError(g);if(d.Browser.isFirefox&&e','.allowWebFonts','){var h=','document.location.','protocol+"//"+',235,'hostname;if(',235,'port!=""){h+=":"+',235,'port}h+="/";if(','c.fileURL(e.webfontDir',').substr(0,h.length)!==h){this.','firefoxFontError','(g)}}}',222,'Clear(i)},loadError:',1,'f){',222,'Set("Can\'t ','load web font',219,',null,2000)},',245,':',1,'f){',222,'Set("Firefox can\'t load web fonts from a remote host",null,3000)},checkWebFont:',1,'f,g,h){if(f.time(h)){return}if(','e.Font.testFont(','g)){h(f.STATUS.OK',')}else{','setTimeout(f,f.delay)}},fontFace:',1,'h){var i=','e',233,';var g=',243,'+"/"+i);',140,'h.replace(/-b/,"-B").replace(/-i/,"-I").replace(/-Bold-/,"-Bold");if(!f.match(/-/)){f+="-Regular"}if(i==="svg"){f+=".svg#"+f}else{f+="."+i}var j={"','font-family":',96,'FONTS[h].','family,src:"url(\'"+g+"/"+f+"\')"};if(i==="svg"){j.src+=" format(\'svg\')"}','if(!(e.FontFaceBug&&',96,279,55,')){if(h.match(/-bold/)){j["','font-weight','"]="bold"}if(h.match(/-italic/)){j["font-style"]="italic"}}return j}});e.Augment({config:{useOldImageData:true,styles:{".',3,'":{display:"inline','","font-family":"serif","font-style','":"normal","',286,291,'line-height',291,'font-size":"100%","','font-size-adjust":"none','","text-indent":0,"text-align":"left","text-transform":"none","letter-spacing',291,'word-spacing',291,'word-wrap',291,'white-space":"nowrap","float":"none",','border:0,padding:0,margin:0','},".','MathJax_Display','":{','position:"relative','",display:"block",width:"100%"},".',3,' img, .',3,' nobr, .',3,' a":{',305,',"','max-width":"none","max-height":"none','","','vertical-align":0,"line-height":"normal","text-decoration":"none','"},"img.','MathJax_strut','":{border:"','0 !important','",padding:"',325,'",margin:"',325,'","vertical-align":"',325,'"},".',3,' span',289,'",',305,',"',321,'"},".',3,' .MathJax_HitBox":{cursor:"text','"},"#MathJax_Tooltip','":{',18,'",left:0,top:0,width:"auto",height:"auto",display:"none',343,' *":{filter:"none",background:"transparent"}}},settings:d.config.menuSettings,LEFTBUTTON:(d.Browser.isMSIE?1:0),MENUKEY:"altKey",Font:b(),Config:',9,'this.SUPER(arguments).Config.call(this);',69,'settings;if(g.scale){','this.config.','scale=g.scale}if(g.font&&g.font!=="Auto"){if(g.font==="TeX (local)"){','this.config.availableFonts','=["TeX"];','this.config.preferredFont','="TeX";','this.config.webFont="TeX"}else{if(g.font==="','STIX (local)"){',355,'=["STIX"];',357,'="STIX";',359,'TeX (web)"){',355,'=[];',357,'="";',359,'TeX (image)"){',355,'=[];',357,370,353,'webFont=""}}}}}',140,'this.Font.','findFont(',355,',',357,');if(!f&&this',233,'){f=',353,'webFont;if(f){this.webFonts=true}}if(!f&&',353,'imageFont','){f=',353,391,';this.imgFonts=true}if(f){this.fontInUse=f;this.fontDir+="/"+f;this.webfontDir+="/"+f;if(!this.require){this.require=[]}','this.require.push(this.','fontDir+"/fontdata.js");',43,'imgFonts){',396,'directory+"/imageFonts.js");',217,'using image fonts")}}else{',222,252,'find a valid font using ["+',355,'.join(", ")+"]",null,3000);this.FONTDATA={TeX_factor:1,baselineskip:1.2,lineH:0.8,lineD:0.2,ffLineH:0.8,FONTS:{},VARIANT:{normal:{fonts:[]}},RANGES:[],','DEFAULTFAMILY',':"serif",','DEFAULTWEIGHT',27,'DEFAULTSTYLE',27,'DELIMITERS',':{},RULECHAR:45,REMAP:{}};if(',3,'.InputJax.TeX&&','MathJax.InputJax.TeX.Definitions','){',419,'.macros.overline[1]="002D";',419,'.macros.underline[1]="002D"}',217,'no valid font")}},Startup:',9,'var h=[],l=','this.FONTDATA.','VARIANT.normal.fonts',';if(!(l ','instanceof Array',')){l=[l]}','for(var g=0,f=l',103,'g<f;g++){','h[g]=',429,'FONTS[l[g]].family;if(!h[g]){h[g]=l[g]}}',353,'styles[".',3,' .math span"]=',353,'styles["#','MathJax_getScales','"]={"',277,'h.join(",")};','this.hiddenDiv','=','this.Element("','div',17,20,'overflow:"hidden",','height:"1px",',18,'",top:0}});if(!',15,31,'){',15,'.appendChild(',450,266,15,'.insertBefore(',450,',',15,31,')}',450,'=','this.addElement(',450,',"div",{id:"MathJax_Hidden"});var k=',476,450,',"div',17,'width:"5in"}});this.pxPerInch=k','.offsetWidth','/5;',450,'.removeChild(','k);','this.startMarker','=e','.createStrut(',452,'span"),10,true);','this.endMarker','=','this.addText(',452,'span"),"x").parentNode;','this.HDspan','=',452,'span");',43,'operaHeightBug){this',491,499,',0)}','if(this.msieInlineBlockAlignBug){','this.HDimg','=',476,499,',"img',17,'height:"0px",width:"1px','"}});try{',509,'.src="about:blank"}catch(j){}}else{this.','HDimg=e',491,499,',0)}','this.HDMspan','=',452,'span',17,18,'","',297,'"}});',508,'this.HDMimg','=',476,523,',"img',17,515,'","',319,'",',305,'}});try{',533,518,'HDMimg=e',491,523,',0);',533,'.style.','marginRight=""}','this.marginCheck','=e.Element("span",null,[["','span",{style:{display:"inline-block",','width:"5em','"}}]]);','this.marginMove','=e.',13,'(',554,',"',556,557,'",','marginLeft',':"-5em"}});return c.Styles(',353,'styles,["','PreloadWebFonts','",this])},',572,':',9,'if(!e',233,'||!','e.config.preloadWebFonts',51,38,'g=0,f=',580,103,436,'var h=',96,'FONTS[',580,'[g]];if(!h','.available){',264,'h)}}},Translate:',1,'f){if(!f','.parentNode',51,'}var k=f','.previousSibling;if','(k&&String(k','.className',').match(/^',3,'(_MathML|_Display)?$/)){k',597,487,'k)}var j=f.',3,'.elementJax.root,h,l;h=l=',452,'span','",{className:"',3,'",oncontextmenu:this.ContextMenu,onmousedown:this.Mousedown,onmouseover:this.Mouseover,onclick:this.Click,ondblclick:this.DblClick});if(j.Get("display")==="block"){l=',452,'div',613,307,'",style:{width:"100%",',309,'"}});l',464,'h)}','l.setAttribute("','role","textbox");',625,'aria-readonly","true");f',597,468,'l,f);var g;try{','this.getScales(l,h',');g=(this.em===0||String(this.em)==="NaN")}catch(i){g=true}if(g){',450,464,'l);',632,')}this.initImg(h);this.initHTML(j,h);j.setTeXclass();try{j.toHTML(h,l)}catch(i){if(i.restart){l',597,487,'l)}throw i}if(g){f',597,468,'l,f)}},ContextMenu:',1,'i,j','){if(e.config.showMathMenu','&&(e.settings.context==="',3,'"||j)){if(e.safariContextMenuBug){setTimeout("window.getSelection().empty()",0)}',140,3,'.Menu;if(f){var h=(this',597,602,'==="',307,'"?this',597,':this);f.jax=d.getJaxFor(h.nextSibling);f.menu.items[1].menu.items[1].name=(','f.jax.inputJax.name','==="MathML"?"Original":',661,');return ','f.menu.Post(i',266,'if(!','c.loadingMathMenu','){',668,'=true;','if(!i){i=window.event}','var g={pageX:i.pageX,pageY:i.pageY,clientX:i.clientX,clientY:i.clientY};',3,227,'.Queue(c.Require("[',3,']/extensions/MathMenu.js"),',9,'delete ',668,'},[this,arguments.callee,g,j])}',672,'if(','i.preventDefault','){',685,'()}if(','i.stopPropagation','){',689,'()}i.cancelBubble=true;i.returnValue=false;',90,'}}},Mousedown:',1,'f',647,'){if(!f){f=window.event}if(e.settings.context==="',3,'"){if(!e.noContextMenuBug||f.button!==2',51,'}}else{if(!f[e.MENUKEY]||f.button!==e.LEFTBUTTON',51,'}}return e.ContextMenu.call(this,f,true)}},Mouseover:',1,'f){e.HandleEvent(f,"','Mouseover",this)},Click:',1,706,'Click",this)},DblClick:',1,706,'DblClick",this)},HandleEvent:',1,'h,f,g){},initImg:',1,'f){},initHTML:',1,'g,f){},initFont:',1,'f',234,96,'FONTS,g=e.config.availableFonts;if(g&&g.length&&',264,'h[f])){h[f].available=true;return null}if(!this',233,51,' null}h[f].','isWebFont=true;if(e.FontFaceBug){','h[f].family','=f}return ','c.Styles({"@font-face":',380,'fontFace(f)})},Remove:',1,'f){var g=','f.SourceElement();if(!g',51,'}g=g',600,'(!g',51,'}if(g',602,'.match(/^',3,'/)){g',597,487,'g)}},getScales:',1,'i,f){i',597,468,523,',i);',523,602,370,499,'.id',370,523,'.style.fontSize',370,533,'.style.height','="1px";',533,'.style.width','="60ex";var h=',523,484,'/60;',523,602,'="',3,'";',499,'.id="',446,'";',533,771,'="60em";',69,'outerEm=',523,484,'/60;var j',149,'h/this.TeX.x_height)/g*',353,'scale);f',765,'=',523,765,'=j+"%";this.em=a.mbase.prototype.em=',523,484,'/60;i',597,487,523,');','this.msieMarginScale','=this.getMarginScale(f)},getMarginScale:',1,'f',51,' 1},getMSIEmarginScale:',1,'h){h',464,554,');',140,554,484,',g=',559,484,';var i=g/(2*g-f);h',487,554,664,'i},getHD:',1,'g){',140,'g','.style.position',';g',835,'="absolute";',509,768,'="0px";g',464,499,220,'={h:g','.offsetHeight','};',509,768,'=h.h+"px";h.d=g',846,'-h.h;h.h-=h.d;h.h/=this.em;h.d/=this.em;g',487,499,');g',835,'=f;return h},getW:',1,'i){var g=i',484,',h=(i.bbox?i.bbox.w:-1),j=i;if((h<0||this.negativeSkipBug)&&g>=0){','if(this.negativeSkipBug){',140,'i',835,';i',835,838,'j=',489,';if(i',31,'){i',468,'j,i',31,266,'i',464,'j)}j=',489,'}i',464,494,');g=',494,'.offsetLeft-j.offsetLeft;i',487,494,');',862,'i',487,'j);i',835,'=f}}',37,'/this.em},Measured:',1,'h,g){if(h','.bbox.width','==null&&h.bbox.w&&!h.bbox.isMultiline){',140,'this.getW(h);h.bbox.rw+=f-h.bbox.w;h.bbox.w=f}if(!g){g=h',597,'}if(!','g.bbox){g.bbox','=h.bbox}return h},Remeasured:',1,'g,f){f.bbox=this.Measured(g,f).bbox},Em:',1,'f){if(Math.abs(f)<0.0006',51,'"0em"}return f.toFixed(3',').replace(/\\.?0','+$/,"")+"em"},Percent:',1,'f',51,'(100*f).toFixed(1',915,'+$/,"")+"%"},length2percent:',1,'f',51,' ','this.Percent(','this.length2em(f','))},length2em:',1,'k,i){if(typeof(k)!=="string"){k=k.toString()}if(k===""){return""}','if(k===a.SIZE.','NORMAL',51,' 1}',932,'BIG',51,' 2}',932,'SMALL',51,' 0.71}if(k==="infinity"){return e.BIGDIMEN}var h=',429,'TeX_factor;if(k.match(/mathspace$/)){return e.MATHSPACE[k]*h}var g=k.match(/^\\s*([-+]?(?:\\.\\d+|\\d+(?:\\.\\d*)?))?(pt|em|ex|mu|px|in|mm|cm|%)?/);',140,'parseFloat(g','[1]||"1"),j=g[2];if(i==null){i=1','}if(j==="','em','"){return f','*h',949,'ex',951,'*e.TeX.x_height*h}if(j==="%"){return f/100*i',949,'px',951,'/e.em',949,'pt',951,'/10*h',949,'in','"){return f*this.pxPerInch/e.em',949,'cm',967,'/2.54',949,'mm',967,'/25.4',949,'pc',967,'/12',949,'mu',951,'/18*h}return f*h*i},thickness2em:',1,737,'e.TeX.rule_thickness;','if(f===a.LINETHICKNESS.','MEDIUM',51,' g}',987,'THIN',51,' 0.67*g}',987,'THICK',51,' 1.67*g}return ',928,',g)},createStrut:',1,'i,g,j){',140,452,556,456,'height:g+"px",width:"1px",marginRight:"-1px"}});if(j){i',468,'f,i',31,266,'i',464,'f)}return f},createBlank:',1,'g,f,',269,452,556,456,457,'width',':this.Em(f)}});if(','h){g',468,'i,g',31,266,'g',464,'i)}return i},createShift:',1,'g,f,i',234,452,'span',17,568,1023,'i){g',468,'h,g',31,266,'g',464,'h)}return h},createSpace:',1,'k,j,m,f,g){var i','=this.Em(','Math.max(','0,j+m)),l','=this.Em(-m);',508,'l',1050,'e.getHD(k',597,').d-m)}if(k.isBox||k',602,'=="mspace"){','k.bbox={h:j*k.scale,d:m*k.scale,w:f*k.scale,rw:f*k.scale,lw:0};k',768,'=i;k',552,'verticalAlign','=l}else{k=',476,'k,"span',17,'height:i,',1066,':l}})}if(f>=0){k',771,1050,'f);k',552,'display="inline-block"}else{',43,'msieNegativeSpaceBug){k',768,'=""}k',552,568,1050,'f);if(e.safariNegativeSpaceBug&&k',597,31,'==k){this','.createBlank(','k,0,true)}}if(g&&g!==a.COLOR.TRANSPARENT){k',552,'backgroundColor=g}return k},createRule:',1,'o,k,m,p,i){var j=e.TeX.','min_rule_thickness',';if(p>0&&p*this.em<j){p=j/this.em}if(k+m>0&&(k+m)*this.em<j){var l=1/(k+m)*(j/this.em);k*=l;m*=l}if(!i){i="solid"}else{i="solid "+i}i',1050,'p)+" "+i;var q',1050,'k+m),g',1053,'var n=',476,'o,"span',17,'borderLeft:i,','display:"inline-block",',456,'width:0,height:','q,',1066,':g},bbox:{h:k,d:m',',w:p,rw:p,lw:0},noAdjust:true});if(','p>0&&n',484,'==0){n',771,1050,'p)}if(o.isBox||o',602,1061,'o.bbox=n.bbox}','return n},createFrame:',1,'o,m,n,p,r,g){var l=(this.msieBorderWidthBug?0:2*r);var q',1050,'m+n-l),f=this.Em(-n-r),k',1050,'p-l);var i',1050,'r)+" "+g;var j=',476,'o,"span',17,'border:i,',1108,456,'width:k,height:q},bbox:{h:m,d:n',1114,'f){j',552,1066,732,'j},createStack:',1,'h,j,g){',43,'msiePaddingWidthBug){this',491,'h,0)}var i=String(g).match(/%$/);var f=(!i&&g!=null?g:0);h=',476,'h,"span",{noAdjust:true,style:{',1108,309,'",width:(i?"100%":this.Em(f)),height:0}});if(!j){h',597,'.bbox=h.bbox={','h:-this.BIGDIMEN,d:-this.BIGDIMEN',',w:f,lw:','this.BIGDIMEN',',rw:(!i&&g!=null?g:-',1161,')};if(i){h',901,'=g}}return h},createBox:',1,'g,f',234,476,'g,"span',17,18,'"},isBox:true});if(f!=null){h',771,732,'h},addBox:',1,'f,g){g',835,838,'g.isBox=true;return f',464,'g)},placeBox:',1,'n,m,k,i){var o=n',597,',v=n.bbox,q=o.bbox;',43,'msiePlaceBoxBug){',496,'n,this.NBSP)}',43,'imgSpaceBug){',496,'n,this.imgSpace)}var p=n',846,'/this.em+1,z=0;if(n.noAdjust){p-=1}else{',508,476,'n,"img',613,323,'",border:0,src:"about:blank",style:{',1110,'this.Em(p',')}})}else{',476,'n,"',556,1110,1206,')}})}}n','.style.top=this.Em(-','k-p);n',552,'left',1050,'m+z);if(v){',862,'if(v.lw<0){z=v.lw;e',1090,'n,-z,true);h=0}if(v.rw>v.w){e',1090,'n,v.rw-v.w+0.1)}}if(!this.msieClipRectBug&&!v.noclip&&!i){var u=3/this.em;var s=(v.H==null?v.h:v.H),g=(v.D==null?v.d:v.D);var w=p-s-u,j=p+g+u,h=v.lw-3*u,f=1000;if(v.isFixed){f=v.width-h}n',552,'clip="rect("+this.Em(w',')+" "+this.Em(','f',1228,'j',1228,'h)+")"}}if(v&&q){if(v.H!=null&&(q.H==null||v.H+k>q.H)){q.H=v.H+k}if(v.D!=null&&(q.D==null||v.D-k>q.D)){q.D=v.D-k}if(v.h+k>q.h){q.h=v.h+k}if(v.d-k>q.d){q.d=v.d-k}if(q.H!=null&&q.H<=q.h){delete q.H}if(q.D!=null&&q.D<=q.d){delete q.D}if(v.w+m>q.w){q.w=v.w+m;if(q.width==null){o',771,1050,'q.w)}}if(v.rw+m>q.rw){q.rw=v.rw+m}if(v.lw+m<q.lw){q.lw=v.lw+m}if(v','.width!=null&&!','v.isFixed){if(q.width==null){o',771,'=q.width="100%"}n',771,'=v.width}}},alignBox:',1,'h,n,m){','this.placeBox(','h,0,m);var j=h.bbox;if(j.isMultiline',51,'}var g=j',1237,'j.isFixed;var i=0,k=-j.w/2,f="50%";',862,'i=j.w-j.rw-0.1;k+=j.lw}k',1050,'k*',809,75,'k',370,'f=(50-parseFloat(j.width)/2)+"%"}d.Insert(h.style,({right:{left:"",right:this.Em(i)},center:{left:f,',568,':k}})[n])},setStackWidth:',1,'g,f){if(typeof(f)==="number"){g',771,1050,1051,'0,f));if(',907,'.w=f}if(g',597,'.bbox){g',597,'.bbox.w=f}}else{g',771,'=g',597,771,'="100%";if(',907,'.width=f}if(g',597,'.bbox){g',597,901,'=f}}},createDelimiter:',1,'q,f,h,l,j){if(!f){q.bbox={h:0,d:0,w:this.TeX.','nulldelimiterspace',',lw:0};q.bbox.rw=q.bbox.w;this.createSpace(q,q.bbox.h,q.bbox.d,q.bbox.w);return}if(!l){l=1}if(!(h ',432,')){h=[h,h]}var p=h[1];h=h[0];var g={alias:f};while(g.alias){f=g.alias;g=',429,415,'[f];if(!g){g={HW:[0,',429,'VARIANT[a.VARIANT.NORMAL',']]}}}for(var o=0,k=g.HW',103,'o<k;o++){if(g.HW[o][0]*l>=h-0.01||(o==k-1&&!g.stretch)){if(g.HW[o][2]){l*=g.HW[o][2]}if(g.HW[o][3]){f=g.HW[o][3]}var n=',476,'q,"',502,'this.createChar(','n,[f,g.HW[o][1]],l,j);q.bbox=n.bbox;q.offset=0.65*q.bbox.w;q.scale=l;return}}if(g.stretch){this["extendDelimiter"+g.dir](q,p,g.stretch,l,j)}},extendDelimiterV:',1,'u,o,z,A,r){var i','=this.createStack(','u,true);var q','=this.createBox(','i),p',1309,'i);',1303,'q,(z.top','||z.ext),A,r);',1303,'p,(z.bot',1315,'var g={bbox:{w:0,lw:0,rw:0}},x=g;var v=q.bbox.h+q.bbox.d+','p.bbox.h+p.bbox.d;','var l=-q.bbox.h;',1245,'q,0,l,true);l-=q','.bbox.d;if(z.mid','){x',1309,'i);',1303,'x,z.mid,A,r);v+=','x.bbox.h+x.bbox.d','}if(o>v){g=',452,502,1303,'g,z.ext,A,r);var w=g.bbox.h+g.bbox.d,f=w-0.05,s,j,t=(z.mid?2:1);j=s=Math.ceil((o-v)/(t*f));if(!z.fullExtenders){f=(o-v)/(t*s)}var m=(s/(s+1))*(w-f);f=w-m;l+=m+f-g.bbox.h;while(t-->0){while(s-->0){l-=f;',1245,'this.addBox(','i,g','.cloneNode(true)),','0,l,true)}l+=m-g',1324,'&&t){',1245,'x,0,l-x.bbox.h,true);','s=j;l+=-(',1330,')+m+f-g.bbox.h}}}else{l+=(v-o)/2;if(z.mid){',1245,1344,'l+=-(',1330,')}l+=(v-o)/2}',1245,'p,0,l-p.bbox.h,true);l-=',1320,'u.bbox={w:',1051,'q.bbox.w,g.bbox.w,p.bbox.w,x.bbox.w),lw:Math.min(q.bbox.lw,g.bbox.lw,p.bbox.lw,x.bbox.lw),rw:',1051,'q.bbox.rw,g.bbox.rw,p.bbox.rw,x.bbox.rw),h:0,d:-l};u.scale=A;u.offset=0.55*u.bbox.w;u','.isMultiChar=true;this.setStackWidth(','i,u.bbox.w)},extendDelimiterH:',1,'t,g,y,A,q){var j',1307,'t,true',220,1309,'j),u',1309,'j);',1303,'h,(y.left','||y.rep),A,q);',1303,'u,(y.right',1374,140,452,502,1303,'f,y.rep,A,q);var v={bbox:{',1159,'}};',1245,'h,-h.bbox.lw,0,true);var o=(','h.bbox.rw-h.bbox.lw',')+(u.bbox.rw-u.bbox.lw)-0.05,m=',1387,'-0.025;if(y.mid){v',1309,'j);',1303,'v,y.mid,A,q);o+=v.bbox.w}if(g>o){var z=f.bbox.rw-f.bbox.lw,i=z-0.05,r,l,s=(y.mid?2:1);l=r=Math.ceil((g-o)/(s*i));i=(g-o)/(s*r);var p=(r/(r+1))*(z-i);i=z-p;m-=f.bbox.lw+p;while(s-->0){while(r-->0){',1245,1337,'j,f',1339,'m,0,true);m+=i}if(y.mid&&s){',1245,'v,m,0,true);m+=v.bbox.w','-p;r=l}}}else{m-=(o-g)/2;if(y.mid){',1245,1401,'}m-=(o-g)/2}',1245,'u,m,0,true);t.bbox={w:m+u.bbox.rw,lw:0,rw:m+u.bbox.rw,H:',1051,'h.bbox.h,f.bbox.h,u.bbox.h,v.bbox.h),D:',1051,'h.bbox.d,f.bbox.d,u.bbox.d,v.bbox.d),h:f.bbox.h,d:f.bbox.d};t.scale=A;t',1361,'j,t.bbox.w)},createChar:',1,'o,k,h,f){var n=o,p="",j={fonts:[k[1]],noRemap:true};if(f&&f===a.VARIANT.BOLD){j.fonts=[k[1]+"-bold",k[1]]}if(typeof(k[1])!=="string"){j=k[1]}if(k[0] ',432,'){for(var l=0,','g=k[0].length;l<g;l++){p+=',112,'k[0][l])}}else{p=',112,'k[0])}if(h!==1){n=',476,'o,"span',17,22,':',927,'h)},scale:h});','this.handleVariant(','n,j,p);',1123,'else{',1430,'o,j,p)}if(k[2]){o',552,568,1050,'k[2])}',43,'AccentBug&&o.bbox.w===0){n',31,'.nodeValue+=this.NBSP;e.createSpace(o,0,0,-o',484,'/e.em)}},positionDelimiter:',1,'g,f){f-=g.bbox.h;g.bbox.d-=f;g.bbox.h+=f;if(f){',43,'safariVerticalAlignBug||this.msieVerticalAlignBug||this.konquerorVerticalAlignBug||(this.operaVerticalAlignBug&&g.isMultiChar)){if(g',31,552,'display===""&&g',552,'top!==""){g=g',31,';f-=',947,552,'top)}g',835,'="relative";g',1214,'f',266,'g',552,1066,1050,'f);if(e.ffVerticalAlignBug){e.createRule(g',597,',g.bbox.h,0,0)}}}},handleVariant:',1,'v,j,o){var u="",s,y,p,g,x,z,f=v;if(o.length===0',51,'}if(!v.bbox){v.bbox={w:0,',1159,',rw:-',1161,',lw:',1161,'}}if(!j){j=',429,1296,']}z=j;for(var w=0,t=o',103,'w<t;w++){j=z;','s=o.charCodeAt(w',');y=o.charAt(w);if(y===this.PLANE1){w++;',1487,')+119808-56320;if(',429,'RemapPlane1','){var A=',429,1492,'(s,j);s=A.n;j=A.variant}}else{var q,l,r=',429,'RANGES;for(q=0,l=r',103,'q<l;q++){if(r[q].name==="alpha"&&j.noLowerCase',42,'var k=j["offset"+r[q].offset];if(k&&s>=r[q].low&&s<=r[q].high){if(r[q].remap&&r[q].remap[s]){s=k+r[q].remap[s]}else{s=s-r[q].low+k;if(r[q].add){s+=r[q].add}}if(','j["variant"+r[q].offset',']){j=',429,'VARIANT[',1503,']]}break}}}if(j.remap&&j.remap[s]){if(j.remap[s] ',432,234,'j.remap[s];s=h[0];j=',429,1506,'h[1]]}else{s=j.remap[s];if(','j.remap.variant','){j=',429,1506,1515,']}}}if(',429,'REMAP[s]&&!j.noRemap){s=',429,'REMAP[s]}p=this.lookupChar(j,s);y=p[s];if(j!==x&&!y[5].img){if(u','.length){',496,'f,u);u=""}f=v;x=g;if(j!==x){if(x){f=',476,'v,"span")}else{g=j}}this.handleFont(f,p,f!==v);x=j}u=this.handleChar(f,p,y,s,u);if(y[0',']/1000>v.bbox.','h){v.bbox.h=y[0]/1000}if(y[1',1530,'d){v.bbox.d=y[1',']/1000}if(v.bbox.w+y[','3]/1000<v.bbox.lw){v.bbox.lw=v.bbox.w+y[3',1534,'4',1530,'rw){v.bbox.rw=v.bbox.w+y[4]/1000}v.bbox.w+=y[2]/1000}if(u',1525,496,'f,u)}if(v.scale&&v.scale!==1){v.bbox.h','*=v.scale;v.bbox.','d',1543,'w',1543,'lw',1543,'rw*=v.scale}if(o.length==1&&p.skew&&p.skew[s]){v.bbox.skew=p.skew[s]}},handleFont:',1,'h,f,j){h',552,77,'=f.family;',281,'f.',55,')){var g=f.style||',429,413,',i=f.weight||',429,411,';if(g','!=="normal"||j){h.style.',28,'=g}if(i',1566,26,'=i}}},handleChar:',1,'g,f,k,j,i',234,'k[5];if(h.img',51,' this.handleImg(',1573,')}if(h.c==null){if(j<=65535){h.c=',112,'j',266,'h.c=this.PLANE1+',112,'j-119808+56320)}}if(k[2]||!this.msieAccentBug||i.length',51,' i+h.c}','e.createShift(g',',k[3]/1000);',1588,',(k[4]-k[3])/1000);',496,'g,h.c);',1588,',-k[4]/1000);return""},handleImg:',1,'g,f,j,i,h',51,' h},lookupChar:',1,'j,p){var h,f;if(!j.FONTS){var o=',429,'FONTS;var l=(j.fonts||',429,430,');if(!(l ',432,433,'if(j.fonts!=l){j.fonts=l}j.FONTS=[];for(h=0,f=l',40,'if(o[l[h]]){j.FONTS.push(o[l[h]]);o[l[h]].name=l[h]}}}for(h=0,f=j.FONTS',40,'var g=j.FONTS[h];if(typeof(g)==="string"){delete j.FONTS;this.loadFont(g)}if(g[p]){if(g[p].length===5){g[p][5]={}}if(e',233,'&&!g',592,'this.',213,'(g',266,37,'}}else{this.findBlock(g,p)}}var k=(j.defaultFont||{family:',96,409,'+",serif"});k[p]=[800,200,500,0,500,{isUnknown:true}];return k},findBlock:',1,'g,n){if(g.Ranges',1417,'f=g.Ranges',103,'l<f;l++){if(n<g.Ranges[l][0]){return}if(n<=g.Ranges[l][1]){var k=g.Ranges[l][2];for(var h=g.Ranges.length-1;h>=0;h--){if(g.Ranges[h][2]==k){g.Ranges.splice(h,1)}}this.loadFont(g.directory+"/"+k+".js")}}}},loadFont:',1,'g){',140,3,227,'.Queue();','f.Push(["Require",c,this.','fontDir+"/"+g]);',43,399,'if(!',3,'.isPacked){g=g.replace(/\\/([^\\/]*)$/,e.imgPacked+"/$1")}',1638,'webfontDir+"/png/"+g])}','d.RestartAfter(','f.Push({}))},',213,':',1,'f){f.available=f.',730,'f.family=f.name}',1647,380,213,'(f))},Element:',12,'Element,',13,':',12,13,',TextNode:',12,'TextNode,addText:',12,'addText,ucMatch:',12,'ucMatch,BIGDIMEN:10000000,ID:0,idPostfix:"",GetID:',9,'this.ID++;return this.ID},MATHSPACE:{veryverythinmathspace:1/18,verythinmathspace:2/18,thinmathspace:3/18,mediummathspace:4/18,thickmathspace:5/18,verythickmathspace:6/18,veryverythickmathspace:7/18,negativeveryverythinmathspace:-1/18,negativeverythinmathspace:-2/18,negativethinmathspace:-3/18,negativemediummathspace:-4/18,negativethickmathspace:-5/18,negativeverythickmathspace:-6/18,negativeveryverythickmathspace:-7/18},TeX:{x_height:0.430554,quad:1,num1:0.676508,num2:0.393732,num3:0.44373,denom1:0.685951,denom2:0.344841,sup1:0.412892,sup2:0.362892,sup3:0.288888,sub1:0.15,sub2:0.247217,sup_drop:0.386108,sub_drop:0.05,delim1:2.39,delim2:1,axis_height:0.25,rule_thickness:0.06,big_op_spacing1:0.111111,big_op_spacing2:0.166666,big_op_spacing3:0.2,big_op_spacing4:0.6,big_op_spacing5:0.1,scriptspace:0.1,',1288,':0.12,delimiterfactor:901,delimitershortfall:0.1,',1096,':1.25},PLANE1:String.fromCharCo'],
+  ['de(55349),NBSP:String.fromCharCode(160),rfuzz:0});a.mbase','.Augment({toHTML:function(','l){var j','=this.','HTMLlineBreaks','();if(','j','.length','>2){','return ','this.','toHTMLmultiline','(l,j)}l=','this.HTMLcreateSpan(','l);','if(this.','type!="mrow"){l','=this.HTMLhandleSize(','l)}','for(var ','g=0,f=','this.data','.length;g<f;g++){','if(',21,'[g]){',21,'[g].toHTML(','l)}}var o=','this.HTMLcomputeBBox(','l);var k=l.bbox.h,n=l.bbox.d;for(',20,'o',22,'o[g].','HTMLstretchV','(l,k,n)}if(o',7,'){',29,'l,true)}','this.HTMLhandleSpace(','l',');this.HTMLhandleColor(','l);',9,'l},',4,':function(){','var k=[[0,this]];','for(var h=0,f=',21,'.length;h<f;h++){','if(',21,'[h]){','var l=',21,'[h].lineBreak',5,'l!=="none"){var g=(l==="after"?h+1:h);if(k',7,'===0||k[k',7,'-1]!==g){k.push([g,',21,'[h]])}else{k[k',7,'-1]=[g,',21,'[h]]}}}}k.push([',21,7,',k[k',7,'-1][1]]);',9,'k},',11,':function(','f){a.mbase.','HTMLautoloadFile','("multiline")},','HTMLcomputeBBox',79,'l,k,j,','f){if(','j','==null){','j=0}if(f',88,'f=',21,7,'}var h=','l.bbox={},n=[];while(j<f','){var g','=',21,'[j];if(!g){continue}if(!k&&g.','HTMLcanStretch','("Vertical")){','n.push(g);g=(g.CoreMO()||g)}',10,'HTMLcombineBBoxes','(g,h);j++}',10,'HTMLcleanBBox','(h);',9,'n},',104,79,'f,g){if(g.w',88,10,'HTMLemptyBBox','(g)}var i=f.','HTMLspanElement','();if(!i||!i.bbox){return',94,'i.bbox;if(h.d>g.d){g.d=h.d}if(h.h>g.h){g.h=h.h}if(h.D!=null&&h.D>g.D){g.D=h.D}if(h.H!=null&&h.H>g.H){g.H=h.H}if(i','.style.paddingLeft','){g.w+=','parseFloat(','i',122,')*(i.scale||1)}if(','g.w+h.lw<g.lw){g.lw=g.w+h.lw}if(g.w+h.rw>g.rw){g.rw=g.w+h.rw}g.w+=h.w;if(i','.style.paddingRight','){g.w+=',124,'i',129,127,'h.width){g.width=h.width}},',116,79,'f','){f.h=f.d=f.H=f.D=f.','rw=-','e.BIGDIMEN',';f.w=0;f.lw=',141,';',9,'f},',107,79,86,'f.h===',10,'BIGDIMEN',139,'w=f.rw=f.lw=0}if(f.D<=f.d){delete f.D}if(f.H<=f.h){delete f.H}},','HTMLzeroBBox',48,'return{h:0,d:0,w:0,lw:0,rw:0}},',100,79,'f){',15,'isEmbellished','()){',9,10,'Core().',100,'(f)}',9,'false},','HTMLstretchH',79,'g,f){',9,10,118,'()},',35,79,'g,f,i){',9,10,118,177,'HTMLnotEmpty',79,'f){while(f){if((f.type!=="mrow"&&f.type!=="texatom")||f.data',7,'>1){',9,'true}f=f.data[0]}',9,170,'HTMLmeasureChild',79,173,'if(',21,'[g]!=null){','e.Measured(',21,27,'f),f)}else{f.bbox',3,155,'()}},HTMLcreateSpan',79,'f){',15,'spanID',96,3,118,5,'g){while(g','.firstChild','){g','.removeChild(','g',216,')}g','.bbox={w:0,h:0,d:0,lw:0,','rw:0};g.scale=1;g.isMultChar=null;g','.style.cssText','="";',9,'g}}',15,'href){f','=','e.addElement(','f,"a",{href:',10,'href})}f=',231,'f,"span",{className:',10,'type});if(e.imgHeightBug){f.style.display="inline-block"}if(this["class"]!=null){f.className+=" "+this["class"]}',15,'style){f',224,3,'style;if(f','.style.fontSize','){',10,'mathsize','=f',244,';f',244,'=""}}',10,'spanID=','e.GetID();f.id=(','this.id||"MathJax-Span-"+this.spanID)+e.idPostfix',';f',222,'lr:0};',15,229,'.parentNode','.bbox=f.bbox}',9,'f},',118,48,'if(!',10,210,'){',9,'null}',9,'document.getElementById','((',256,')},','HTMLhandleVariant',79,'g,f,h){e.handleVariant(g,f,h)},HTMLhandleSize',79,'f){if(!','f.scale){f.scale','=this.HTMLgetScale',5,'f.scale!==1){f',244,'=e.Percent(f.scale)}}',9,'f},','HTMLhandleColor',79,'k){var m','=this.getValues("','mathcolor','","color");if(this','.mathbackground','){m',298,'=this',298,'}if(','this.background','){m.','background','=',304,'}',15,'style&&k.style.','backgroundColor','){m',298,'=k.style.',312,'}if(m.','color&&!',10,296,305,296,'=m.color',317,306,'&&!this',298,'){m',298,'=m.',306,317,296,'){k.style.color=m.',296,'}if(m',298,'&&m',298,'!==a.COLOR.TRANSPARENT){','var n=','1/e.em,j=0,i=0;',15,'isToken){j=k.bbox.lw;i=','k.bbox.rw','-k.bbox.w','}if(k',122,'!==""){j+=',124,'k',122,')*(k.scale||1)}','if(k',129,'!==""){i-=',124,'k',129,353,'var h','=Math.max(','0,e.getW(k)+(e.PaddingWidthBug?0:i-j));if(e.','msieCharPaddingWidthBug','&&k',122,'!==""){h+=',124,'k',122,353,56,'k.bbox.h+k.bbox.d',',f=-k.bbox.d;if(h>0){h+=2*n;j-=n}if(l>0){l+=2*n;f-=n}i=-h-j;var g=e.Element("span",{id:"','MathJax-Color-"+this.spanID+e.idPostfix',',style:{display:"inline-block",',312,':m',298,',','width:e.Em(h),height:e.Em(l),','verticalAlign:e.Em(f),','marginLeft',':e.Em(j),','marginRight',':e.Em(i)}});if(e.','msieInlineBlockAlignBug','){g','.style.position="relative";','g','.style.width','=g.style.','height=0;g','.style.verticalAlign',392,383,392,385,225,'e.placeBox(',231,'g,"span",{noAdjust:true',376,'position:"absolute",overflow:"hidden",',381,306,':m',298,'}}),j,k.bbox.h+n)}k',262,'.insertBefore(','g,k);',9,'g}',9,'null},HTMLremoveColor',48,'var f=',275,'("',375,');if(f){f',262,218,'f)}},','HTMLhandleSpace',79,'i){',15,'useMMLspacing','){',15,'type!=="mo"){return}var g',295,'scriptlevel','","lspace","','rspace','");if(g.',435,'<=0||',10,'hasValue("','lspace")||',10,442,437,'")){','g.lspace',362,'0,','e.length2em(',448,'));','g.rspace',362,'0,',451,454,'));var f=this,h',3,'Parent();while(h&&h.',162,'()&&h.Core()===f){f=h;h=h.Parent();i=f.',118,'()}if(',448,'){i',122,'=e.Em(',448,')}if(',454,'){i',129,469,454,')}}}else{var j',3,'texSpacing',5,'j!==""){j=',451,'j)/(i.scale||1);if(i',122,'){j+=',124,'i',122,')}i',122,469,'j)}}},','HTMLgetScale',48,'var h=1,f',295,247,'","',435,'","fontsize","scriptminsize");',15,'style',96,3,118,5,'g',244,'!=""){f.fontsize=g',244,'}}if(f.fontsize&&!',10,247,'){f.',247,'=f.fontsize}if(f.',435,'!==0){if(f.',435,8,'f.',435,'=2}h=Math.pow(',10,'Get("scriptsizemultiplier"),f.',435,');','f.scriptminsize','=',451,528,');if(h<',528,'){h=',528,'}}h*=',451,'f.',247,');',9,'h},','HTMLgetVariant',48,'var f',295,'mathvariant','","fontfamily","','fontweight','","','fontstyle','");',15,'style){var h',3,118,5,'h.style.fontFamily','){','f.fontfamily','=',558,'}if(','h.style.fontWeight','){f.',549,'=',564,'}if(','h.style.fontStyle','){f.fontStyle=',570,'}}var g=f.',547,';',15,'variantForm){g="-"+e.fontInUse+"-variant"}if(',560,'&&!',10,547,'){if(!f.',549,'&&f.',547,'.match(/bold/)){f.',549,'="bold"}if(!f.',551,584,547,'.match(/italic/)){f.',551,'="italic"}return{FONTS:[],fonts:[],noRemap:true,defaultFont:{family:',560,',style:f.',551,',weight:f.',549,'}}}if(f.',549,'==="bold"){g={normal',':a.VARIANT.','BOLD,italic',603,'BOLDITALIC',',fraktur',603,'BOLDFRAKTUR,script',603,'BOLDSCRIPT,"','sans-serif":a.VARIANT.','BOLDSANSSERIF',',"sans-serif','-italic":a.VARIANT.','SANSSERIFBOLDITALIC}[g]||g}else{if(f.',549,'==="normal"){g={','bold',603,'normal,"bold',615,'ITALIC,"bold-fraktur":a.VARIANT.FRAKTUR,"bold-script":a.VARIANT.SCRIPT,"bold-',612,'SANSSERIF',614,'-bold',615,'SANSSERIFITALIC','}[g]||g}}','if(f.',551,'==="italic"){g={normal',603,'ITALIC,bold',603,606,',"',612,629,',"bold-',612,616,551,618,'italic',603,'NORMAL,"bold',615,'BOLD',614,615,'SANSSERIF',614,'-bold',615,613,630,9,'e.FONTDATA.','VARIANT[g',']}},{HTMLautoload',48,'var f','=e.autoloadDir+"/"+',10,'type','+".js";d.RestartAfter(c.Require(','f))},',81,79,'f',96,665,'f',668,'g))},',171,79,'g,f','){this.HTMLremoveColor();',9,10,'toHTML(g,f',')},',35,79,'g,f,i',681,9,10,684,',i)}});a.chars',1,173,10,279,'(g,f,',21,'.join("").','replace(/[\\u2061-\\u2064]/g,""))}});a.','entity',1,173,10,279,'(g,f,',10,'toString().',701,'mi',1,'j){j',17,13,'j));j','.bbox=null;','var h','=this.HTMLgetVariant();for(var ',20,21,22,'if(',21,25,21,27,'j,h)}}if(!j.bbox){j','.bbox={w:0,h:0,d:0,rw:0,lw:0}}if(',21,'.join("").length!==1){delete ','j','.bbox.skew}',41,'j',43,'j);',9,'j}});a.','mn',1,'j){j',17,13,'j));j',717,'var h',719,20,21,22,'if(',21,25,21,27,'j,h)}}if(!j.bbox){j',729,21,731,'j',733,41,'j',43,'j);',9,739,'mo',1,'k){k',17,13,'k));if(',21,7,'==0){',9,'k}else{k.bbox=null}',341,21,'.join("");','var j',3,543,'();var ','g',295,'largeop","','displaystyle',438,'largeop){j=',660,661,'.',790,'?"-largeOp":"-smallOp"]}',50,21,52,'if(',21,55,21,'[h].toHTML(k,j)}}if(!k.bbox){k',729,'n',7,'!==1){delete k',733,'if(e.AccentBug&&k.bbox.w===0&&n',7,'===1&&k',216,'){k',216,'.nodeValue+=e.NBSP;','e.createSpace(','k,0,0,-k.offsetWidth/e.em)}if(g.largeop){var l=(k.bbox.h-k.bbox.d)/2-','e.TeX.axis_height','*k.scale;if(e.','safariVerticalAlignBug','&&','k.lastChild.','nodeName==="IMG"){k.lastChild',394,469,124,'k.lastChild',394,'||0)/e.em-','l/k.scale)}else{','if(e.','konquerorVerticalAlignBug','&&',824,'nodeName==="IMG"){k',389,'k.lastChild',389,824,'style.top',469,832,'k',394,'=e.Em(-l/k.scale)}}k.bbox.h-=l;k.bbox.d+=l;if(',345,'>k.bbox.w){k.bbox.ic=',345,346,';e.createBlank(k,k.bbox.ic);k.bbox.w=',345,'}}',41,'k',43,'k);',9,'k},',100,79,283,10,'Get("stretchy")){',9,'false}var g=',21,782,'if(g',7,'>1){',9,'false}g=',660,'DELIMITERS[','g.charCodeAt(0)];','return(','g&&g.dir==f.substr(0,1))},',35,79,'l,k,n',681,'var f',295,'symmetric","','maxsize","minsize','");var j',3,118,'(),g;var i=',820,',m=j.scale;','if(f.symmetric){g','=2*','Math.max(','k-i,n+i)}else{g=k+n}f.maxsize=',451,'f.maxsize,','j.bbox.h+j.bbox.d',');f.minsize=',451,'f.minsize,',900,');g',362,903,'Math.min(',899,'g));j=',13,'l);','e.createDelimiter(','j,',21,'.join("").charCodeAt(0),','g,m);',894,'=(',900,')/2+i}else{g=(',900,')*k/(k+n)}e.positionDelimiter(j,g);',41,'j',43,'j);',9,'j},',171,79,'i,f',681,'var g',295,887,'","',547,'","',549,438,549,'==="bold"&&!',10,547,'){g.',547,'=a.VARIANT.BOLD}var h',3,118,'(),j=h.scale;','g.maxsize','=',451,952,',h.bbox.w);g.minsize=',451,'g.minsize,','h.bbox.w);f',362,958,908,952,',f));h=',13,'i);',913,'h,',21,916,'f,j,g.',547,');',41,'h',43,'h);',9,'h}});a.mtext',1,'k){k',17,13,'k));k',717,15,'Parent().type==="merror"){e.addText(k,',21,'.join(""));',56,'e.getHD(k),g=e.getW(k);k.bbox={h:l.h,d:l.d,w:g,lw:0,rw:g}}else{var j',719,'h=0,f=',21,52,'if(',21,55,21,'[h].toHTML(k,j)}}if(!k.bbox){k',729,21,731,'k','.bbox.skew}}',41,'k',43,'k);',9,'k}});a.ms','.Augment({toHTML:a.mbase.HTMLautoload});a.','mglyph',1012,'mspace',1,'j){j',17,13,'j));var g',295,'height","depth","width','");g',298,'=this',298,';if(',304,'&&!this',298,'){g',298,'=',304,'}var i=',451,'g.height),k=',451,'g.depth),f=',451,'g.width);',818,'j,i,k,f,g',298,');',9,739,'mphantom',1,'j,g,l){j=',13,'j);if(',21,'[0]!=null','){var k=',200,21,'[0].toHTML(','j),',1052,'l!=null){e.Remeasured(',21,'[0].',35,'(j,g,l),j)}else{if(g!=null){e.Remeasured(',21,1063,171,'(j,g),j)}}j.bbox={w:','k.bbox.w,','h:k.bbox.h,d:k.bbox.d,','lw:0,rw:0};',50,'j.childNodes',52,1074,'[h].','style.visibility','="hidden"}}',41,'j',43,'j);',9,'j},','HTMLstretchH:a.mbase.HTMLstretchH,HTMLstretchV:a.mbase.HTMLstretchV});a.','mpadded',1,'j,h,l){j=',13,1052,21,1054,96,'=e.createStack(','j,true);var k','=e.createBox(','g);',200,21,1058,'k),k);if(l!=null){e.Remeasured(',21,1063,35,'(k,h,l),k)}else{if(h!=null){e.Remeasured(',21,1063,171,'(k,h),k)}}var i',295,1022,436,'voffset"),f=0,m=0;if(i.lspace){f','=this.HTMLlength2em(k,i.','lspace)}if(i.voffset){m',1115,'voffset)}',400,'k,f,m);j.bbox={',1071,'w:',1070,'lw:',908,'0,k.bbox.lw+f),rw:',896,1070,345,'+f),H',':Math.max((k.bbox.','H==null?-',141,':k.bbox.H),k.bbox.h+m),D',1131,'D==null?-',141,':k.bbox.D),k.bbox.d-m)};if(i.height','!==""){j.bbox.','h',1115,'height,"h",0)}if(i.depth',1139,'d',1115,'depth,"d",0)}if(i.width',1139,'w',1115,'width,"w",0)}if(j.bbox.H<=j.bbox.h','){delete j.bbox.','H}if(j.bbox.D<=j.bbox.d',1151,'D}e.setStackWidth(g,j.bbox.w)}',41,'j',43,'j);',9,'j},HTMLlength2em',79,'j,k,l,',86,'f',88,'f=-',141,94,'String(k).match','(/width|height|depth/);var i=(h?j.bbox[h',1063,'charAt(0)]:(l?j.bbox[l]:null));var g=',451,'k,i);if(l&&',1169,'(/^\\s*[-+]/)){',9,896,'f,j.bbox[l]+g)}else{',9,'g}},',1086,'mrow','.Augment({',171,79,'h,f',681,'var g',3,118,'();',21,'[this.core].',171,'(g,f);',29,'g,true',43,'g);',9,'g},',35,79,'i,g,j',681,'var f',3,118,'();',21,1194,35,'(f,g,j);',29,'f,true',43,'f);',9,'f}});a.mstyle',1,86,21,1054,'){f=',21,1058,'f);',10,254,21,1063,210,';',41,'f',43,'f)}',9,'f},',118,48,878,21,1054,'?',21,1063,118,'():null)},',171,79,173,878,21,1054,'?',21,1063,171,'(g,f):g)},',35,79,180,878,21,1054,'?',21,1063,35,'(g,f,i):g)}});a.','mfrac',1,'y){y=',13,'y',');var h',1095,'y);var k',1097,'h),j',1097,'h',');this.HTMLmeasureChild(','0,k',1285,'1,j);var f',295,790,'","linethickness","numalign","denomalign","bevelled");var C',285,'(),x=f.',790,';var B=',820,'*C;if(f.bevelled){var A=(x?0.4:0.15);var l',362,373,',',900,')+2*A;var z',1097,'h);',913,'z,47,l);',400,'k,0,(k.bbox.d-k','.bbox.h)/2+B','+A);',400,'z,k.bbox.w-A/2,(z.bbox.d-z',1309,');',400,'j,k.bbox.w+z.bbox.w-A,(j.bbox.d-j',1309,'-A)}else{var g',362,1070,'j.bbox.w);var o=e.thickness2em(f.linethickness),s,r,n,m;var w=','e.TeX.min_rule_thickness/this.em',';if(x){n=e.TeX.num1;m=e.TeX.denom1}else{n=(o===0?e.TeX.num3:e.TeX.num2);m=e.TeX.denom2}n*=C;m*=C;if(o===0){s=Math.max((x?7:3)*','e.TeX.rule_thickness',',2*w);r=(n-k.bbox.d',')-(j.bbox.h-m);if(r<s){','n+=(s-r)/2;m+=(s-r)/2}}else{s=Math.max((x?2:0)*w+o,o/2+1.5*w);r=(n-k.bbox.d)-(B+o/2);if(r<s){n+=s-r}r=(B-o/2',1326,'m+=s-r}var i',1097,'h);','e.createRule(','i,o,0,g+2*o);',400,'i,0,B-o/2)}e.alignBox(k,f.numalign,n);e.alignBox(j,f.denomalign,-m)}',41,'y',43,'y);',9,'y},',100,79,'f){',9,170,426,79,283,10,'texWithDelims',96,'=(',10,430,'?0:',451,10,479,'()||0))+0.12;f',122,469,'g);f',129,'=".12em"}}});a.msqrt',1,'n){n=',13,'n);var r',1095,'n',1278,1097,'r),l',1097,'r),k',1097,'r',1285,'0,h);var j',285,786,'s=',1324,'*j,g,f,o,i;',15,'Get("',790,'")){g','=e.TeX.x_height*','j}else{g=s}f',362,'s+g/4,2*',1322,');o=','h.bbox.h+h.bbox.d','+f+s;i=h.bbox.w;',913,'k,8730,o,j);',200,'k);var m=0;if(k.isMultiChar||(e.AdjustSurd&&e.imgFonts)){k.bbox.w*=0.95}if(',373,'>o){f+=((',373,')-(o-s))/2}var u=',660,876,660,'RULECHAR];if(!u||i<u.HW[0][0]*j||j<0.75){',1332,'l,s,0,i)}else{',913,'l,',660,'RULECHAR,i,j)}o=h.bbox.h+f+s;m',3,'HTMLaddRoot','(r,k,m,',373,'-o,j);',400,'k,m,o-k.bbox.h);',400,'l,m+',1070,'o-l.bbox.h+e.rfuzz);',400,'h,m+',1070,'0);n.bbox.h+=s;',41,'n',43,'n);',9,'n},',1417,79,'h,g,f,j,i){',9,'f}});a.mroot',1184,'toHTML:a.msqrt','.prototype.toHTML',',',1417,79,'o,g,m,k,f){var i',1097,'o);if(',21,'[1]){',56,21,'[1].toHTML(i);l',129,'=l',122,225,200,'l,i)}else{i.bbox',3,155,'()}var j',3,'HTMLrootHeight','(g.bbox.h+g.bbox.d,f,i)-k;',341,908,'i.bbox.w,i.bbox.rw);m',362,'n,g.offset);',400,'i,m-n,j);',9,'m-g.offset},',1466,79,'h,',173,9,'0.45*(h-0.9*g)+0.6*g+',896,'0,f.bbox.d-0.075)}});a.mfenced',1,'k){k=',13,'k);if(',21,'.open){',21,'.open.','toHTML(k)}','if(',21,1054,'){',21,1058,'k)}',19,'g=1,f=',21,22,'if(',21,25,'if(',21,'["sep"+','g]){',21,1510,'g].',1493,21,27,'k)}}if(',21,'.close){',21,'.close.',1493,341,29,'k);var j=k.bbox.h,l=k.bbox.d;for(',20,'n',22,'n[g].',35,'(k,j,l)}if(n',7,'){',29,'k,true)}',41,'k',43,'k);',9,'k},',83,79,'k,j',96,'=k.bbox={},l=[];',10,'HTMLcheckStretchy','(',21,'.open,','g,l,j);',10,1549,'(',21,'[0],',1553,19,'h=1,f=',21,52,'if(',21,55,10,1549,'(',21,1510,'h],',1553,10,1549,'(',21,'[h],g,l,j)}}',10,1549,'(',21,'.close,',1553,10,107,'(g);',9,'l},',1549,79,'f,g,i,h){if(',283,'h',584,100,101,'i.push(f);f=(f.CoreMO()||f)}',10,104,'(f,g)}}});a.menclose',1012,'maction',1012,'semantics',1,86,21,1054,'){f=',21,1058,'f);',10,254,21,1063,210,';',41,'f)}',9,'f},',118,48,878,21,1054,'?',21,1063,118,'():null)},',171,79,173,878,21,1054,'?',21,1063,171,'(g,f):g)},',35,79,180,878,21,1054,'?',21,1063,35,1272,'munderover',1,'G,B,z){var f',295,790,'","accent","accentunder","align");if(!f.',790,'&&',21,'[this.base',']!=null&&',21,'[this.base].','Get("movablelimits")){',9,'a.msubsup',1444,'.call(this,G)}G=',13,'G);var K',285,786,'j',1095,'G);var l=[],I=[],q,H,C,g=-',141,',F=g;for(H=0,C=',21,7,';H<C;H++){if(',21,'[H]!=null){q=l[H',']=e.createBox(j);',200,21,'[H].','toHTML(q),q);if(H==',10,'base){if(z!=null){e.Remeasured(',21,1668,35,'(q,B,z),q)}else{if(B!=null){e.Remeasured(',21,1668,171,'(q,B),q)}}I[H]=(','z==null&&B!=null','?false:',21,1691,100,'("Horizontal','"))}else{I[H]=',21,1691,100,1708,'")}if(q.bbox.w>F){F=q.bbox.w}if(!I[H]&&F>g){g=F}}}if(g==-',141,'){g=F}if(',1703,'){g=F=B}var w=',1324,',A=',660,'TeX_factor;var h=l',1665,']||{bbox:',10,155,177,'J=(h.bbox.ic||0);var p,n,s,r,o,v,E;for(H=0,C=',21,7,';H<C;H++){if(',21,1687,'];if(I[H]){q.bbox=',21,1691,171,'(q,g).bbox}o=e.TeX.big_op_spacing5*K;var u=(H!=',10,'base&&f[',10,'ACCENTS[H]]);if(u&&q.bbox.w<=1/e.em+0.0001){q.bbox.w=q.bbox.rw-q.bbox.lw;q.bbox.noclip=true;if(q.bbox.lw&&!e.zeroWidthBug){q',411,818,'q',262,',0,0,-q.bbox.lw),q',216,')}e.createBlank(q,0,0,q.bbox.rw+0.1)}v={left:0,center:(g-q.bbox.w)/2,right:g-q.bbox.w}[f.align];p=v;n=0;if(H==',10,'over){if(u){E',362,'w*K*A,2.5/',10,'em);o=0;if(h.bbox.skew){p+=h',1005,'else{s=e.TeX.','big_op_spacing1*K*A;r=e.TeX.big_op_spacing3*K*A;E',362,'s,r-',896,'0,q.bbox.d))}E',362,'E,1.5/',10,'em);p+=J;n=h.bbox.h+q.bbox.d+E;q.bbox.h+=o}else{if(H==',10,'under){if(u){E=3*w*K*A;o=0}',1757,'big_op_spacing2*K*A;r=e.TeX.big_op_spacing4*K*A;E',362,'s,r-q.bbox.h)}E',362,'E,1.5/',10,'em);p-=J;n=-(h.bbox.d+q.bbox.h+E);q.bbox.d+=o}}',400,'q,p,n)}}',41,'G',43,'G);',9,'G},',1086,'msubsup',1,'C,A,w){C=',13,'C);var G',285,786,'j',1095,'C),g;var i',1097,'j',1285,10,'base,i);if(',21,1665,']){if(w!=null){e.Remeasured(',21,1668,35,'(i,A,w),i)}else{if(A!=null){e.Remeasured(',21,1668,171,'(i,A),i)}}}',400,'i,0,0);var ','h=(',21,'[',10,'sup]||',21,'[',10,'sub]||this).',493,786,'E',1390,'G,o=e.TeX.scriptspace*G*0.75;var f,k;',15,185,'(',21,'[',10,'sup])){f',1097,'j);',200,21,'[',10,'sup].toHTML(f),f);f.bbox.w+=o;f.bbox.rw',362,'f.bbox.w,f.bbox.rw)}',15,185,'(',21,'[',10,'sub])){k',1097,'j);',200,21,'[',10,'sub].toHTML(k),k);k.bbox.w+=o;',345,362,1070,345,')}var y=e.TeX.sup_drop*h,x=e.TeX.sub_drop*h;var m=i.bbox.h-y,l=i.bbox.d+x,F=0,z;if(i.bbox.ic){F=i.bbox.ic}if(',21,1665,']&&(',21,1668,'type==="mi"||',21,1668,'type==="mo")){if(',21,1668,'data',700,'length===1&&i.bbox.scale===1&&!',21,1668,'Get("largeop")){m=l=0}}var B',295,'subscriptshift","superscriptshift");','B.subscriptshift','=(',1882,'===""?0:',451,1882,'));','B.superscriptshift','=(',1889,'===""?0:',451,1889,'));if(!',86,'k){l',362,'l,e.TeX.sub1*G,k.bbox.h-(4/5)*E,',1882,');',400,'k,i.bbox.w+o-F,-','l,k.bbox)}}else{if(!k){g',295,790,'","texprimestyle");z=e.TeX[(g.',790,'?"sup1":(g.texprimestyle?"sup3":"sup2"))];m',362,'m,z*G,f.bbox.d+(1/4)*E,',1889,');',400,'f,i.bbox.w+o,','m,f.bbox)}else{l',362,'l,e.TeX.sub2*G);',341,1324,'*G;if((m-f.bbox.d)-(k.bbox.h-l)<3*n){l=3*n-m+f.bbox.d+k.bbox.h;y=(4/5)*E-(m-f.bbox.d);if(y>0){m+=y;l-=y}}',400,1915,896,'m,',1889,'));',400,1903,896,'l,',1882,'))}}',41,'C',43,'C);',9,'C},',1086,'mmultiscripts',1012,'mtable',1012,'math',1,'n,g){var k',3,'Get("alttext");if(k){g.setAttribute("aria-label",k)}var h=',231,'n,"nobr",{style:{visibility:"hidden"}});n=',13,'h);var l',1095,'n),i',1097,'l),m;l',244,'=h',262,244,';h',262,244,225,'if(',21,1054,'){if(e.msieColorBug){if(',304,'){',21,1063,306,'=',304,';delete ',304,'}if(this',298,'){',21,1063,'mathbackground=this',298,';delete this',298,'}}','a.mbase.prototype.','displayAlign','=d.config.',1990,';',1989,'displayIndent',1991,1995,';m=',200,21,1058,'i),i)}',400,1813,'j=e.em/e.outerEm;e.em/=j;n.bbox.h','*=j;n.bbox.','d',2006,'w',2006,'lw',2006,'rw*=j;if(m&&m','.bbox.width','!=null){l',391,'=m',2014,';i',391,'="100%"}',10,292,'(n);if(m){',1332,'n,m.bbox.h*j,m.bbox.d*j,0)}if(!',10,'isMultiline&&',10,'Get("display")==="block"&&n',2014,88,'var o',295,'indentalignfirst','","','indentshiftfirst','","indentalign","indentshift");if(o.',2035,'!==a.INDENTALIGN.','INDENTALIGN){','o.indentalign','=o.',2035,'}if(',2042,'===a.INDENTALIGN.AUTO){',2042,3,1990,'}g.style.textAlign=',2042,';if(o.',2037,'!==a.INDENTSHIFT.INDENTSHIFT){','o.indentshift','=o.',2037,'}if(',2056,'==="auto"){',2056,3,1995,'}if(',2056,'&&',2042,2040,'CENTER){n.style[{left:"',383,'",right:"',385,'"}[',2042,']]=e.Em(',451,2056,'))}}h.',1078,225,9,'n}});a.TeXAtom',1,'g){g=',13,'g);if(',21,1054,'){',15,'texClass===a.TEXCLASS.VCENTER){var f',1095,'g',1278,1097,'f);',200,21,1058,'h),h);',400,'h,0,',820,'-(',1396,')/2+h.bbox.d)}else{g.bbox=',21,1058,'g).bbox}}',41,'g',43,'g);',9,'g}});d.Browser.Select({MSIE',79,'f){var i=f','.versionAtLeast("','7.0");var h=f',2119,'8.0")&&document.documentMode>7;var g=(document.compatMode==="BackCompat");','e.config.styles[".MathJax',' span"]={position:"relative"};',2123,' .MathJax_HitBox','"]["',306,'-color"]="white";',2123,2126,'"].opacity=0;',2123,2126,'"].filter="alpha(opacity=0)";e',1184,'getMarginScale:e.getMSIEmarginScale,','PaddingWidthBug:true,','msieAccentBug:true,msieColorBug:true,msieRelativeWidthBug:g,msieMarginWidthBug:true,msiePaddingWidthBug:true,',364,':(h&&!g),msieBorderWidthBug:g,',387,':(!h||g),msieVerticalAlignBug:(h&&!g),msiePlaceBoxBug:(h&&!g),msieClipRectBug:!h,msieNegativeSpaceBug:g,negativeSkipBug:true,msieIE6:!i,msieItalicWidthBug',':true,zeroWidthBug:true,FontFaceBug:true,','allowWebFonts',':"eot"})},Firefox',79,'g){var h=false;if(g',2119,'3.5")){var f=String','(document.location',').replace(/[^\\/]*$/,"");if',2151,'.protocol!=="file:"||(d.config.root+"/").substr(0,f',7,')===f){h="otf"}}e',1184,'ffVerticalAlignBug:true,AccentBug:true,',2145,':h})},Safari',79,'i',96,'=i',2119,'3.0");var f=i',2119,'3.1");i.isMobile','=(navigator.appVersion.match','(/Mobile/i)!=null);e',1184,'config:{styles:{".MathJax img, .MathJax nobr, .MathJax a":{"max-width":"5000em","max-height":"5000em"}}},','rfuzz:0.05,AccentBug:true,AdjustSurd:true,','safariContextMenuBug:true,','safariNegativeSpaceBug:true,',822,':!f,safariTextNodeBug:!g,','safariWebFontSerif',':["serif"],',2145,':(f&&!i.isMobile?(i.isPC?"svg":"otf"):false)});if(i.isMobile){var h=','MathJax.Hub.config["HTML-CSS','"];if(h){h.availableFonts=[];h.preferredFont=null}else{',2182,'"]={availableFonts:[],preferredFont:null}}}},Chrome',79,'f){e',1184,2173,2145,':"svg",',2175,2178,':[""]})},Opera',79,'f){f.isMini',2169,'("Opera Mini")!=null);',2123,' .merror"]["vertical-align"]=null;e',1184,'operaHeightBug:true,operaVerticalAlignBug:true,negativeSkipBug',2144,2138,2145,':(f',2119,'10.0")&&!f.isMini?"otf":false)})},Konqueror',79,'f){e',1184,834,':true,noContextMenuBug:true})}});if(d.config.menuSettings.zoom!=="None"){c.Require("[MathJax]/extensions/MathZoom.js")}e.loadComplete("jax.js")})(MathJax.ElementJax.mml,MathJax.Ajax,MathJax.Hub,MathJax.OutputJax["HTML-CSS"]);']
+]);
 
-})(MathJax.ElementJax.mml, MathJax.Ajax, MathJax.OutputJax["HTML-CSS"]);