On Sun, 2024-07-21 at 14:56 +0200, Patrick Dupre wrote: > Sure, but it could be a font option. But romannum is not a font. Unless you consider that in some generalized fashion. :-) -- José Abílio