User blog comment:Pteriforever/Pteriforever's Relatively Boring Notation/@comment-2033667-20141204014407

i dont see how this is defined more easily than the hyperoperators