TeXbook 中是否有任何地方解释过条件中的隐式 `\relax`？

Question

多年来，我一直依赖 TeX 的行为，比如说，\if1\fi将其扩展为零并\if1\else\fi执行相同的操作。在第二种情况下，TeX\relax在尝试扩展时会插入一个“隐式” \else。我对此有一个“语言律师”类型的问题：这种行为是否可以或多或少正式地从 TeXbook 中“提取”？任何参考都将不胜感激。请注意，我对机制本身不感兴趣（很久以前我在“TeX：程序”中找到了我需要的一切），只是在 TeXbook 中对它的（或多或少）正式引用。

Answer 1

\relaxTeXbook 中没有记录“frozen”的插入，它\relax出现了 57 次，大部分出现在列表中。在条件句的讨论中没有提到这个插入。

插入操作已在 TeX by Topic 的第 12.5.3 节中进行了记录：

当然它是在“TeX 程序”中：模块 510 描述了在不完整条件中的插入。