Some renames for file name consistency and \dots command added in lexer.
\geq and \leq added