I am Suraj Channappanavar, I wanted to bring attention to a couple of issues and PR I have opened related to the Lark-based LaTeX parser:
Issue #29488 reports a bug where \left is incorrectly parsed as LTE due to a prefix conflict in the Lark grammar.
PR #29489 fixes the above by adding a negative lookahead to the LTE token definition so \le only matches when not followed by a letter.
Issue #29467 reports a bug on NOT_EQUAL token. I included a proposed fix in the issue description, and PR #29479 was opened by another contributor implementing the same fix.
I would appreciate any feedback on the approach taken in PR #29489, and whether Issue #29467 needs further action from my side.
Thanks