Javier Bezos <[log in to unmask]> writes:

> > %    This mapping needs to be set up only once so here it is done at
> > %    |\begin{document}|
>
> I think a better place is inputenc itself or fontenc;
> otherwise saveboxes in the preamble won't work.

Saveboxes in the preamble are probably not a good idea, anyway, since
the font setup has not completed there.

--
David Kastrup, Kriemhildstr. 15, 44793 Bochum