latex lexer consumes all whitespaces after control word, distinction between control word and control symbol in latex parser