search

stevengj / subsuper-proposal

Draft proposal for additional sub/superscript characters in Unicode
217 stars 9 forks source link

Fix punctuation #12

Closed ghost closed 4 years ago

ghost commented 4 years ago

Minor punctuation fixes.

Unrelated to the PR, I will also leave this here.