下箭頭記號是 克努特向上箭頭記號 的逆運算，定義為
 |  |  |
(1)
|
 |  |  |
(2)
|
 |  |  |
(3)
|
其中 
是為了獲得值 
必須迭代 自然對數 的次數。
下箭頭記號
另請參閱
克努特向上箭頭記號使用 探索
參考文獻
Vardi, I. Mathematica 中的計算娛樂。 Redwood City, CA: Addison-Wesley, pp. 12 和 231-232, 1991.在 上引用
下箭頭記號引用為
Weisstein, Eric W. "下箭頭記號。" 來自 Web 資源。 https://mathworld.tw/DownArrowNotation.html