def lex