Lexer for notation fix