"TJK" == Thomas J Kacvinsky writes: TJK> For the future, why not make the XML log files, etc... UTF-8 or TJK> UTF-16 encoding? It's impossible to achive this since in general it is impossible to find out from within TeX engine what is the "meaning" (unicode value) of a particular character used in a document or glyph in the font. Best, v.