Open tejasvi opened 3 years ago
We _proved_ 0 < 1 using _axioms_ earlier.
Using isolated "<" breaks the parsing for rest of the file.
Can confirm
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.
We _proved_ 0 < 1 using _axioms_ earlier.
Using isolated "<" breaks the parsing for rest of the file.