>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> Jean-Marc Lasgouttes wrote: >> The 2236 part looks OK. Georg> This is in. >> For 2234, are you sure that \tag* works? Georg> I thought so, but obviously it does not work. >> Actually, is there a need to consider it separately? Georg> Yes, otherwise the * will be parsed as argument of \tag. The Georg> attached patch fixes also \tag*. Please test. But do you need to add \tag* to lib/symbols? This is weird. JMarc