User blog comment:Alejandro Magno/Make an extension of the Notation! (my style)/@comment-99.185.0.100-20150507002440/@comment-99.185.0.100-20150507003715

WHAT THE HECK????

I hope you can understand the definition (agh, those links. I had no idea the  tags removed spacing).