Parsing broken with "<" sign

[tejasvi]

We _proved_ 0 < 1 using _axioms_ earlier.

Using isolated "<" breaks the parsing for rest of the file.

[motorto]

Can confirm

[mutanabbi]

Same for me. The parser expects it to be a start of an html/xml tag. I didn't find a way to mask the symbol.