User blog comment:Vel!/FGH Gripe/@comment-5982810-20150328164001/@comment-2033667-20150329072709

I've added to the Hyper-E Notation article what I find to be a reasonably clean and formal way to state this. What's your take?