texinfo-suppl.tex   [plain text]


\def\temp{
\chapternofonts
\def\doubleleftarrow{\realbackslash doubleleftarrow}
}
\let\chapternofonts=\temp

\def\doubleleftarrow{\leavevmode\raise.15ex\hbox to 1em{\hfil$\Leftarrow$\hfil}}