User talk:Wythagoras/Dollar function/Bracket notation

a$ 0]1] will simplify using rule 3 to a$ [a 1], not a$ [[00...0 as you want.

a$ [1[0]] will not simplify at all, as it is not of the form ∘[a] ∙ ∘. Deedlit11 (talk) 08:51, January 19, 2014 (UTC)