User blog comment:Vel!/Ordinal Hyper-E 2.0/@comment-99.185.0.100-20150513204053/@comment-99.185.0.100-20150513204259

(actually, the '=' means their definitions are not the same, but they look the same because your notation is different)