Re: Docs: Using backslashed in node names causes problems with pdf and texi2html ("The \override command")

[Werner LEMBERG]

> >> Although the texinfo manual does not explicitly forbid it, using
> >> backslashes in node names causes problems with both texi2pdf and
> >> texi2html:
> 
> > That's a pity, but if that's the technical limitation, that's the
> > technical limitation.
> 
> Is there a way to print this character another way, for instance by
> embedding some tex magic code such as $\backslash$ ?

As far as I can see, this is about *node names* which aren't printed
at all.


    Werner