Hello, > > If we reserve the greek lambda as special like '\', the lexer can > > separate <lambda>x into two tokens: <lambda> and 'x', I guess. > > Not without redefining it as a symbol instead of a lowercase letter, > which won't be done as previously discussed. OK. Fine with me since this topic was previously discussed. --Kazu