User blog comment:Wythagoras/Dollar function: final version/@comment-5029411-20131207165511

Rule 13: n$[0(a)m] = Infinity

New rule 11: \([0] = [0]\)

New rule 12: \([0] = [0,0...0,1]\) (c entries)

New rule 13: \([\diamond(c)b] = [\diamond e^{c-1}...[\diamond e^{c-1}(c)b]...(c)b]\) (a []'s)