Allow math to interpret content within {} as a (sub)superscript

[NoahStoryM]

See #411.

[sorawee]

Please also add some tests in https://github.com/racket/scribble/blob/master/scribble-test/tests/scribble/docs/manual.scrbl

[NoahStoryM]

I don't know how to test in manual.scrbl that math interprets superscript and subscript correctly, maybe I should directly test that pregexp is correct?

[sorawee]

You can write some content using math in the Scribble file, and then render it to text (https://github.com/racket/scribble/blob/master/scribble-test/tests/scribble/docs/manual.txt) and see if that's the result that you expect. If so, save the change. This will become the expected result that the test runner will compare against.

[sorawee]

I'm actually skeptical now that you can do this properly with regexp, since braces are supposed to be balanced.

Take A_{B^{C}} as an example. With the current regexp, you would get "A_{B" as the first part and "C}" as the second part.

[github-actions]

Resyntax analyzed 1 file in this pull request and found no issues.

[NoahStoryM]

I just realized that we can achieve similar functionality by defining functions:

(define ^ (compose superscript math))
(define _ (compose subscript math))

I'm not sure if this PR is necessary, feel free to close it.