On Mon, Dec 17, 2018 at 11:34:00AM +0100, Ulrike Fischer wrote: > I'm not sure. It would work but at the end you are including a > non-unicode-font. Why is that a problem? Both the placeholder and the replacement text are ASCII-only, as I understand. Best, Arthur