On Thu, Aug 23, 2001 at 09:54:15AM +0200, Andre Poenitz wrote:
> > >   3 on input of an unknow macro (be it from a file or manually):
> > how big is the chance that we find an unknown macro which we can draw?
> > (given that we will include all macros we know)
> 
> Pretty high given that we don't include every macro we know.  _I_ certainly
> do not want to insert a thousand symbols by hand. If somebody volunteers -
> no problem.

It is not hard to generate the information we need for all latex symbols
from the latex files (fontmath.ltx and amssymb.sty).
Therefore, I don't see the need for the mechanism you described for parsing
unknown macros.

Reply via email to