Viewer widget: improved rendering of Greek symbols (closes #511).