User blog comment:Cloudy176/Finally: a formal definition for Aarex hydra!/@comment-3427444-20170220021105

Your notation is ill-defined, still.