User blog comment:Benthe1st/Ben's Number Version 2.0! WIP/@comment-32467027-20170704092243/@comment-25601061-20170705164343

You should add the definition of (x↑↑↑) in your blog post then. And I already know how Up-arrow notation works.