User blog comment:Ubersketch/Section Notation/@comment-35470197-20190327223409/@comment-35470197-20190330225743

It is not a full definition, because it does not refer to the rule for ( # ). Don't you have no explicit algorithm?