来自 Michael Frank Martin（@riemannzeta）的推文线程

我现在的学习速度至少比接触人工智能之前快了10倍。 例如，今天我了解到，“(resp {y})” 的使用（一些作者和读者！）可以作为一种简写符号，表示相对于某个紧邻的前导项 {x} 的“或 {y}”，而无需浪费所有字符。 这一点我非常确定。但我不太确定人工智能关于这种用法是由布尔巴基学派在20世纪中期引入的说法是否正确。无论如何，即使通过谷歌搜索，这种问题也需要花些时间才能弄明白。