Extended UTF-8 input encoding for LaTeX
