>>>>> "Rainer" == Rainer Dorsch <[EMAIL PROTECTED]> writes:

Rainer> I think

Rainer> - Do not display \epsilon at all - Diplayt \varepsilon
Rainer> correctly

Rainer> would be the more natural decision.

I agree on that. Alejandro, would you have objections? Of course, a
lot of people who used to use epsilon and be pleased to see it
displayed on screen will not like that, and I am sure we would get a
lot of bug reports.

I do not know what is the best solution now...

JMarc

Reply via email to