User blog comment:Alemagno12/A ordinal notation/@comment-1605058-20150726130041

There are still no rules regarding \(A(\alpha,\beta)\) when \(\alpha\) is a non-zero limit.