Re: ampersand issue with texi2dvi

[Eli Zaretskii]

> From: Gavin Smith <address@hidden>
> Date: Sat, 8 Sep 2018 12:23:46 +0100
> 
> It is possible, but I am not sure if it is worth it. There is too much 
> difficult-to-understand macro trickery in texinfo.tex already. My 
> favourite solution at the moment is to introduce a Texinfo command @& to
> typeset an & on a def line.

FWIW, I think @& would be an okay solution for this use case.