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