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 -- lyx-users mailing list [email protected] http://lists.lyx.org/mailman/listinfo/lyx-users
