path: root/doc/texinfo-suppl.tex

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

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