On Sun, Apr 28, 2013 at 09:48:43PM +0000, Karl Berry wrote: > for changing the indicating commands formatting there is @definfoenclose > > @definfoenclose is about defining new commands, not changing existing > ones. Right?
In my opinion, it is also for changing existing commands. There is no warning for redefinition of existing commands with @definfoenclose for now. > Robert wants to change the output for @var, but is still > meaning "metasyntactic variable", so using a different @command isn't > really desirable. Indeed, that's why @definfoenclose could do the job here. -- Pat
