User blog comment:Ikosarakt1/Coding strings as ordinals (for Friedman's n(k))/@comment-5029411-20130729191800/@comment-5029411-20130729193634

LittlePeng9, make order type phi(w,0) using n letters in LittlePeng9 version!