User blog:Alemagno12/Alemagno's Array Notation Rebooted

Since Aarex made the array notation here, I will make one too.

WIP!

Base rules

 * n(a) = a+1
 * n(a|1) = n(a)
 * n(a|A)[1] = n(a|A)
 * n(a|A)[x] = n(n(a|A)[x-1]|A)
 * n(a|(A)+(1)) = n(a|A)[x]
 * Else, n(a|A) = n(a|FS[A|a])