User blog comment:MilkyWay90/Extension to the Up-Arrow Notation/@comment-35434595-20180601005626/@comment-35434595-20180602185508

nvm