Re: error from pdfTeX with @var in exponent with the raw formatter command

[Gavin Smith]

On Sun, Dec 03, 2017 at 03:22:43PM +0100, Vincent Lefevre wrote:
> Thanks. But I've noticed that the font size in exponent has changed.
> In particular, this looks strange on:
> 
>   address@hidden \log(1-t)/t\ dt$
> 

Until a proper fix happens, if ever, a workaround is to use the TeX 
primitive \hbox to switch out of math mode along with the internal
Texinfo command \switchtolllsize which isn't guaranteed to work in 
future versions. It appears to get output which looks okay:

address@hidden \log(1-t)/t\ dt$

The output here is not perfect as the font size is slightly different
(see comment in the definitions of the @sub and @sup commands in 
texinfo.tex).