Re: rethinking @def*

[Patrice Dumas]

Hello,

With the changes to TeX output, assuming it is more or less final, I
checked the differences between LaTeX and TeX, the differences are
mainly attributable to the combinations or not of fonts (combination in
LaTeX, not in TeX).  In many cases, we do not really care, we simply
need to document that @r{@___{}} should be used.

There are two cases that are of interest, though, as they are likely to
be important in practice:

@var in @deftype* is slanted typewriter in LaTeX but slanted roman in
TeX.

@code (and @t) in @defn* is slanted typewriter in LaTeX but upright typewriter
in TeX.

What you we do for those two cases?  Try to change one or the other
formatting?  Document that the formatting can be different?

-- 
Pat