Re: lib/symbols issue

2016-08-21 Thread Georg Baum
Georg Baum wrote: > Am 05.08.2016 um 21:11 schrieb Richard Heck: > >> So far as I can see, the fourth of these, in whichever version, is never >> used in the existing code. > > This was added because the macro machinery did support it already. small correction: it is used by \leq, \geq etc, but

Re: lib/symbols issue

2016-08-21 Thread Georg Baum
Am 05.08.2016 um 21:11 schrieb Richard Heck: When Georg added the ability to assign HTML entities to global math macros, as cc87f810, a comment in the code said: syntax: Either \def\macroname{definition} or \def\macroname{definition} requires or \def\macroname{definition} requires xmlname or \de

lib/symbols issue

2016-08-05 Thread Richard Heck
When Georg added the ability to assign HTML entities to global math macros, as cc87f810, a comment in the code said: syntax: Either \def\macroname{definition} or \def\macroname{definition} requires or \def\macroname{definition} requires xmlname or \def\macroname{definition} extra xmlname requires