On Tue, Jul 26, 2022 at 1:53 PM Gavin Smith <gavinsmith0...@gmail.com> wrote: > Side issue but slanted bold typewriter is likely not available as a font > and font commands in Texinfo don't (usually?) nest, so @strong would switch > to a bold Roman font regardless of the current style.
Just for fun https://imgflip.com/i/6oo6g6 Also this: https://practicaltypography.com/bold-or-italic.html