Two changes to formatting code

1. Using interpretbox for output so it can be copied+pasted meaningfully
2. Slightly simplified code to generate colored superscripts