rem: this.msieIntegralBug = 1; 
add: this.msieIntegralBug = 1; this.waitForImages = 1; 
context:   MSIE: function () {    if (this.spanHeightVaries) {      jsMath.browser = 'MSIE';      if (navigator.platform == 'Win32') {        this.allowAbsoluteDelim = 1; this.separateSkips = 1;        this.buttonCheck = 1; this.msieBlankBug = 1;        this.msieDivWidthBug = 1; this.msiePositionFixedBug = 1;        this.msieIntegralBug = 1;        this.msieAlphaBug = 1; this.alphaPrintBug = 1;        this.msieCenterBugFix = 'position:relative; ';        this.msieSpaceFix = '<img src="'+jsMath.blank+'" class="HD" />';        this.msieInlineBlockFix = ' display: inline-block;';        jsMath.Macro('joinrel','\\mathrel{\\kern-5mu}'),        jsMath.styles['.typeset .arial'] = "font-family: 'Arial unicode MS'";        // MSIE doesn't implement fixed positioning, so use absolute        jsMath.styles['#jsMath_message'] =              jsMath.styles['#jsMath_message'].replace(/position:fixed/,"position:absolute").replace(/width:auto/,"");        jsMath.styles['#jsMath_panel'] =              jsMath.styles['#jsMath_panel'].replace(/position:fixed/,"position:absolute").replace(/width:auto/,"");        jsMath.styles['#jsMath_button'] = 'width:1px; '            + jsMath.styles['#jsMath_button'].replace(/position:fixed/,"position:absolute").replace(/width:auto/,"");        jsMath.window.onscroll = jsMath.Controls.MoveButton;        // MSIE will rescale images if the DPIs differ        if (screen.deviceXDPI && screen.logicalXDPI              && screen.deviceXDPI != screen.logicalXDPI) {          this.imgScale *= screen.logicalXDPI/screen.deviceXDPI;          jsMath.Controls.cookie.alpha = 0;        }        // Handle bug with getting width of italic text        this.italicString = '<i>x</i>';        jsMath.EmBoxFor = jsMath.EmBoxForItalics;      } else if (navigator.platform == 'MacPPC') {        this.msieAbsoluteBug = 1; this.msieButtonBug = 1;        this.msieDivWidthBug = 1; this.msieBlankBug = 1;        jsMath.Setup.Script('jsMath-msie-mac.js');        jsMath.Parser.prototype.macros.angle = ['Replace','ord','<font face="Symbol">&#x8B;</font>','normal'];        jsMath.styles['#jsMath_panel'] = 'width:25em; ' + jsMath.styles['#jsMath_panel'].replace(/width:auto/,"");        jsMath.styles['#jsMath_button'] = 'width:1px; ' + jsMath.styles['#jsMath_button'].replace(/width:auto/,"");      }      jsMath.Macro('not','\\mathrel{\\rlap{\\kern3mu/}}');    }  },
meta: 7708	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7708/a844e1ec626c2b970c32377c4ad06bb088afa9bd/jsMath.js/buggy/htdocs/jsMath/uncompressed/jsMath.js