User blog comment:Vel!/Miscellanous ordinal extensions/@comment-5029411-20140406223205

n ->_w m = n ->_m n

n ->_w m ->_w l = n ->_w m ->_l m