User blog comment:LittlePeng9/ITTM galore/@comment-25418284-20140326011937

@Googleaarex @Wythagoras

An actual encoding for $$\omega$$ is here:

11000010000000000000100000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000...

if I did the programming right, that is.