Well... I think noone uses this anymore... do you think I should find
the unicode characters corredponding to the tex code called in next.def
or is it just a waste of time?
I think it would be fine to skip it for now, and wait until someone asks
for it.