下箭头记号是 克努特向上箭头记号 的逆运算，定义为
 |  |  |
(1)
|
 |  |  |
(2)
|
 |  |  |
(3)
|
其中 
是为了获得值 
必须迭代 自然对数 的次数。
下箭头记号
另请参阅
克努特向上箭头记号使用 Wolfram|Alpha 探索
参考文献
Vardi, I. Mathematica 中的计算娱乐。 Redwood City, CA: Addison-Wesley, pp. 12 和 231-232, 1991.在 Wolfram|Alpha 上引用
下箭头记号引用为
Weisstein, Eric W. "下箭头记号。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/DownArrowNotation.html