User blog comment:Alejandro Magno/Stronger Extended Up-Arrow Notation/@comment-1605058-20141005204628/@comment-1605058-20141005205151

No, I'm asking for the definitions of the stuff explained here, in section up to (^^(^^^^)^^) operator.