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:
>
> $-\int_{t=0}^{@var{op}} \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:
$-\int_{t=0}^{\hbox{\switchtolllsize@var{op}}} \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).
