With texinfo.tex 2022-09-01.06, consider
@deffn Command name-min arg-min
@end deffn
@deffn Command name-min @var{arg-min}
@end deffn
In printed output (PDF), name-min is printed in typewriter font
as expected, but arg-min is printed in slanted font instead of
slanted typewriter font (whether @var is used or not).
I think that this is incorrect, and slanted typewriter font should
be used, as already done with @deftypefn.
--
Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
