output example and TeX fix in HTML