User blog comment:LittlePeng9/ITTM galore/@comment-10429372-20140321162236

Using information in the article, 0n1 encodes n, and 1+(1)(1)(01)(1)(01)(001)(1)... encodes then ω.