id summary reporter owner description type status priority milestone component resolution keywords cc 338 Report Emacs bug: subscript and superscripts don't work with native Mac OS Emacsen David Aspinall David Aspinall "See discussion in #280. This is not a fault of Proof General but of the display engine in the Mac Carbon/NeXTSTEP ports. Leaving this here as an open issue to follow up by pursuing an upstream bug report." defect closed major PG-Emacs-4.1 2:pg-emacs upstream emacsbug