[ agda-mode ] Support for alpha (sub/sup)scripts. By sbleune.