summary: formatting: replace subscripts with unicode where possible