Scheme中“ =>”关键字的名称是什么？

Excercise 4.5的计算机程序结构和插入（SICP）引入了(<test> => <recipient>)形式的替代cond子句语法，例如：

(cond ((assoc 'b '((a 1) (b 2))) => cadr)
      (else false))

此关键字或cond子句的这种替代形式是否有名称？

用于测试此关键字是否存在的过程可以采用(=>? <exp>)的形式，但我可能更喜欢使用更具表达性的名称。即使使用名称=>?，也可以使用一种公认的方式发音，例如，“是双箭头”，“是替代cond子句”，“正在调用cond”吗？

我已经扫描了几个r * rs规范，但看不到名称所指的关键字。

方案支持备用子句语法：

（谓词=>收件人）

其中收件人是一个表达式。如果谓词评估为真值，然后评估收件人。它的值必须是一个论点然后根据该值调用该过程谓词。

因此，您读起来就像逻辑“如果谓词然后收件人”。约束收件人是1个参数的函数。

更新：

我检查了mailing lists of scheme，但我从未见过这种语法糖，这意味着它是该语法的最新补充。