![TeXbook 中是否有任何地方解释过条件中的隐式 `\relax`?](https://linux22.com/image/287590/TeXbook%20%E4%B8%AD%E6%98%AF%E5%90%A6%E6%9C%89%E4%BB%BB%E4%BD%95%E5%9C%B0%E6%96%B9%E8%A7%A3%E9%87%8A%E8%BF%87%E6%9D%A1%E4%BB%B6%E4%B8%AD%E7%9A%84%E9%9A%90%E5%BC%8F%20%60%5Crelax%60%EF%BC%9F.png)
多年来,我一直依赖 TeX 的行为,比如说,\if1\fi
将其扩展为零并\if1\else\fi
执行相同的操作。在第二种情况下,TeX\relax
在尝试扩展时会插入一个“隐式” \else
。我对此有一个“语言律师”类型的问题:这种行为是否可以或多或少正式地从 TeXbook 中“提取”?任何参考都将不胜感激。请注意,我对机制本身不感兴趣(很久以前我在“TeX:程序”中找到了我需要的一切),只是在 TeXbook 中对它的(或多或少)正式引用。
答案1
\relax
TeXbook 中没有记录“frozen”的插入,它\relax
出现了 57 次,大部分出现在列表中。在条件句的讨论中没有提到这个插入。
插入操作已在 TeX by Topic 的第 12.5.3 节中进行了记录:
当然它是在“TeX 程序”中:模块 510 描述了在不完整条件中的插入。