rem: wh = this.BBoxFor('<SPAN STYLE="font-family: cmr10">'+this.TeX.cmr10[124].c+'</SPAN>'); if (wh.w*2 > wh.h && wh.h != 0) return; 
add: var wh1 = this.BBoxFor('<SPAN STYLE="font-family: cmr10, serif">'+this.TeX.cmr10[124].c+'</SPAN>'); var wh2 = this.BBoxFor('<SPAN STYLE="font-family: serif">'+this.TeX.cmr10[124].c+'</SPAN>'); if (wh1.w > 2*wh2.w && wh1.h != 0) return; 
context:   CheckFonts: function () {    var wh = this.BBoxFor('<SPAN STYLE="font-family: cmex10">'+this.TeX.cmex10[1].c+'</SPAN>');    if (wh.w*3 < wh.h && wh.h != 0) return;    wh = this.BBoxFor('<SPAN STYLE="font-family: cmr10">'+this.TeX.cmr10[124].c+'</SPAN>');    if (wh.w*2 > wh.h && wh.h != 0) return;    this.NoFontMessage();    if (navigator.platform == 'Win32') {      document.writeln('<SCRIPT SRC="'+this.root+'jsMath-fallback-pc.js"></SCRIPT>');    } else if (navigator.platform == 'MacPPC') {      document.writeln('<SCRIPT SRC="'+this.root+'jsMath-fallback-mac.js"></SCRIPT>');    } else {      // default to unix?  Is there a better way to tell if unix?      document.writeln('<SCRIPT SRC="'+this.root+'jsMath-fallback-unix.js"></SCRIPT>');    }    document.writeln('<SCRIPT>jsMath.AddMessage()</SCRIPT>');  },
meta: 7708	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7708/0e036fcb8d14e4b17c70716539165fbdf3cbf247/jsMath.js/clean/htdocs/jsMath/jsMath.js