More unicode strings are used for the GUI for subscripts and Greek letters.
Authored by: bugman 2013-04-21
Parent: [r19572]
Child: [r19574]
