User blog comment:Vel!/Ordinal Hyper-E 2.0/@comment-1605058-20130409143155/@comment-5150073-20130409162511


 * 1)  # should have associated ordinal phi(1,0,0), since  marks the expansion operator, and {X,X,1,2} & n ~ f_phi(1,0,0)(n).