Post #2479122

@olynch@mathstodon.xyz @MartinEscardo@mathstodon.xyz I realize that I might have made it sound like I was talking about parse errors. But as far as I've noticed both of these two verifiers lose their minds in roughly similar ways if I do something like omit a "$}" (the ${ and $} syntaxes form nested pairs and so making them unbalanced is similar to unbalanced pairs in a lot of syntaxes - the scopes get all mixed up and so on).