You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
#7 works, but has issues when the output nests the sub/sup inside another tag. This nesting should be undone where relevant, and otherwise the space removal should step up the tree until it is relevant.
The text was updated successfully, but these errors were encountered:
#7 works, but has issues when the output nests the sub/sup inside another tag. This nesting should be undone where relevant, and otherwise the space removal should step up the tree until it is relevant.
The text was updated successfully, but these errors were encountered: