On Tue, May 05, 2020 at 12:30:25AM +0100, Gavin Smith wrote: > It would take some work to only load this font on demand if these > characters are demanded in a fixed-width environment, and to check the > font size is always correct in different contexts and so on.
>From the looks of it texinfo.tex already uses Computer Modern fonts with the \ecfont macro, so this shouldn't be too hard to implement.
