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

[Vincent Lefevre]

When @var is used in exponent with the raw formatter command, I get an
error in the PDF generation:

@tex$2^{@var{foo}}$@end tex

yields errors like

../../../.././mpfr.texi:2219: \scriptfont 5 is undefined (character f).
l.2219 @tex$2^{@var{foo}}$
                          @end tex
../../../.././mpfr.texi:2219: \scriptfont 5 is undefined (character o).
l.2219 @tex$2^{@var{foo}}$
                          @end tex
../../../.././mpfr.texi:2219: \scriptfont 5 is undefined (character o).
l.2219 @tex$2^{@var{foo}}$
                          @end tex

The use of @var is important to get the correct typography
(slanted instead of italic, with kerning).

I'm using texinfo 6.5 under Debian. The texinfo.tex version is:

\def\texinfoversion{2013-02-01.11}

which seems to be the version installed by automake (same file as
/usr/share/automake-1.15/texinfo.tex).

-- 
Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)