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

Has ω to be written using your method, or can it be written using a machine that outputs

1_11_111_1111_11111_...