On Mon, Oct 14, 2002 at 03:33:36PM +0200, Andre Poenitz wrote: > Ok. This means symbols do not get recognized if they belong to an unknown > font. Fair enough. Do you think this makes more sense?
Yes.
- Patch: mathed build-in macros Dekel Tsur
- Re: Patch: mathed build-in macros Andre Poenitz
- Dekel Tsur
