The TeX presentation of formulas was updated in HTML file.