I think that for accuracy we should remove this @cindex I changed the index entries to: @cindex @TeX{} format (@code{.fmt}) files @cindex @LaTeX{} format @(code{.fmt}) files "LaTeX TeX format" makes sense in its way, but I think it would be confusing for readers to me. -k