User blog comment:Wythagoras/FGH of Dollar Function new version/@comment-11227630-20131022073239/@comment-10429372-20131022154658

I've added rules for $, &-> and &&...&&. By the way, just to check, is it obvious that [&] reduces to &&...&& with a &'s and [&+1] then expands to [&][&]...[&][&]?