add: element.alt = text; 
context:   ConvertText: function (element) {    var text = this.GetElementText(element);    this.ResetHidden(element);    element.innerHTML = this.TextMode(text);    element.className = 'typeset';  },
meta: 7708	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7708/39e543f846ebf9878a2a39accded2b2539adb909/jsMath.js/clean/htdocs/jsMath/jsMath.js