xAct-contrib/xPand — pull request #4 by duetosymmetry (2013-11-11 01:21:50+00:00)
Title: 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