Lexer and codec for LaTeX
