User blog comment:B1mb0w/Strong D Function/@comment-2033667-20150806164039

I have not bothered to check out this notation until now. Would you mind placing a standalone definition (that doesn't refer back to Deeply Nested Ackermann) on this page?