康威链式箭号表示法是由约翰·何顿·康威发明的，用来表示大数。形式上看起来会像这样：2→3→4→5→6。
定义.康威链式箭号表示法的长度定义如下：如果两个康威链代表相同的整数，那么就说它们是等价的。下面四个规则说明如何用康威链表示整数，其中formula_1和formula_2是正整数，formula_3是一个较短的康威链：第四条规则可以以递回关系式列出，避免省略号的出现：上面的四条规则可用来定义所有的康威链。例如长度为3的康威链，利用第四条规则，基本上长度仍然一样，但for