@jcoglan @tunixman that's nice, but what problem does it solve? If you can write malformed latex, you can write malformed hatex