jercos

Currently, on a superscript grouping ^(like this), backslashes cause an instant end to the group, as though the first backslash seen was a closing paren. This behavior seems undesirable, and...