User blog comment:Primussupremus/hyper notation./@comment-28606698-20170408220105/@comment-31390121-20170409080344

By that I mean is it defined well enough?