Re: pretty-lambdas -> pretty-greek

[Stefan Monnier]

> Following  the  idea of  pretty-lambdas,  here  is  a pretty-greek  to
> compose  all  greek letters,  which  is  useful  when you're  writting
> mathematical algorithms:

But why not use the actual greek letter for those cases?
For lambda, it made sense to use this compose kludge because the `lambda'
symbol has a special meaning, but in your case, it seems easier and more
robust to just use the right letter from the start.



        Stefan