Re: prettify-symbols-mode to handle "\alpha-\beta" ...

[Stefan Monnier]

> The way I see it, is that the improvement should be put in 
> prog-mode.el,

What is "the" improvement you're referring to?

> and then the other major modes can rely on prog-mode.el fon a minor
> mode that implements the prettify functionality.

I think that's the case already, thanks to `prettify-symbols-mode`.
I'm not saying it can't be improved, of course,


        Stefan