User blog comment:Wythagoras/Dollar function formal definition/@comment-5150073-20130629110623

But still, how it compares with Hierarchical NSAN (if it would be formally defined, I guess that Bird actually does it)? We exhausted canonical notations of FGH, so we need a direct comparison between two ones.