User blog comment:Wythagoras/Dollar function part 2/@comment-7484840-20130615080844

Another small problem is the arrow rule. I can't see any rule that actually terminates it. For example, from the rules you have given, it looks as though a$[0...0-->_(0)c•] = a$[0...a-->_(-1)a...a-->_(-1)a-->_(0)c-1•]. You also need to add in at some point a rule something like •a-->_(b)0• = ?????.

I know it's clear from the fgh comparisons what these rules are supposed to be, but it would be good if you could clarify them, and if you want this notation to become an official (well as official as it gets in googology) notation (which I would encourage you to do (you just need to have a source independent of any wikis)), the definitions need to be very well defined and clear.