链式箭号表示法

什么是链式箭号表示法*

链式箭号表示法（英語：Chained arrow notation），是康威及盖伊将上箭号表示法推广之后而成的箭号表示法。

链式箭号表示法的定义*

1. a→b=a×b

2. a→b→c=a↑……↑（c个↑）b（即为上箭号表示法，上箭号表示法定义：a↑b=a^b，a↑……↑（c个↑）b=a↑……↑（(c-1)个↑）a↑……↑（(c-1)个↑）a↑……↑（(c-1)个↑）……↑……↑（(c-1)个↑）a(这里出现了b个a)）

3. a→…→b→1=a→…→b（当最后一项为1时，可以直接忽略）

4. a→…→b→1→c=a→…→b

5. a→…→b→(c+1)→(d+1)=a→…→b→(a→…→b→c→(d+1))→d

*摘自https://googology.wikia.org/zh/wiki/%E4%B8%8A%E7%AE%AD%E8%99%9F%E8%A1%A8%E7%A4%BA%E6%B3%95