DD(D+1) is a very large number that is equal to
↓↓(↓+1) using implied multiplication before the parenthesis. Defined by ann69. Due to the large scale of ↓ and the fact that arithmetic can actually be done with it, this number is both well defined (to the extent at which ↓ is well defined) and very very big.