Update lexicalformat.rst