Fixed problem with the pretty-print of subscript numbers.
Fixed problem with the pretty-print of subscript numbers.

Ignore-this: bbeebf76b4ba3260d36d54dc5b57de46

darcs-hash:20100401065441-3bd4e-0e3c20794b021d85697aa35b3ce553c66a303696.gz

asr/fotc,asr/fotc