User:Boris Spassky

An expression in Adesdae’s Array Notation is written as a{@}b. The following terminology is used:
 * a and b are the base and exponent of the expression, respectively.
 * @ is used to represent the array of the expression.
 * ● can be any part of the array.
 * ○ contains only 0’s and separators.
 * A separator is represented by square brackets ([●]).
 * Any array @ beginning with 0 has a fundamental sequence @(n) whose limit is @.

The rules for Adesdae’s Array Notation are as follows:
 * a{0}b = a × b
 * a{n+1●}1 = a
 * a{n+1●}(b+1) = a{n●}(a{n+1●}b)
 * a{@}b = a{@(b)}a if and only if @ begins with 0