Re: spurious space after macro expansion in math mode for TeX output

[Gavin Smith]

On Wed, Nov 09, 2022 at 07:29:25PM +0000, Gavin Smith wrote:
> This makes it promising that the space can be removed when the macro
> takes no arguments as the two cases should work in a fundamentally similar
> way.

What is happening that when the macro defined without arguments, the
TeX macros defined also don't take arguments.  This may be hard to change:
in Texinfo/ParserNonXS.pm there is a comment:

  # as agreed on the bug-texinfo mailing list, no warn when zero
  # arg and not called with {}.

If we change the TeX macro to take an argument in order to remove a following
pair of braces, then those braces must be present.  However, the comment
here implies that the braces are optional.

If it is the case that documents use zero-arg macros without braces, then
changing texinfo.tex to attempt to remove these braces would lead to incorrect
output or processing failing completely.

The manual does say:

 "The braces are required in the invocation even when the macro
takes no arguments, consistent with other Texinfo commands."

so it may not be much of a problem to change it, but we should attempt
to find out first what the impact would be.