User blog comment:TechKon/Left-right arrow notation/@comment-28124748-20150812035918/@comment-28124748-20150813000612

and, a ↔ 1 = A(n) using the Ackermann function.