convert some unicode characters to TeX