processLaTeXenvironments: 0, 
  ConvertTeX2: function (element) {    this.Convert(element,{      processSingleDollars: 0, processDoubleDollars: 1,      processSlashParens: 1, processSlashBrackets: 1,      custom: 0, fixEscapedDollars: 0    });  },
1963	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1963/ac0512013a54530f36f9dce5c71fa2090bdff1fe/tex2math.js/clean/htdocs/jsMath/plugins/tex2math.js