implement unicode character to TeX conversion