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

Sorry for being assertive, but a ↔ b is still undefined. b-level array of a↑↑..↑↑a's doesn't clarify anything: what is the level of array? Think about this: how computer would interpret this? Or is this function uncomputable? You should figure it before defining any other properties.