User blog comment:MilkyWay90/Extension to the Up-Arrow Notation/@comment-35392788-20180601082756/@comment-35392788-20180602184402

Oh wait, nevermind, I misread something.