User blog comment:Deedlit11/Okay, more Turing machines/@comment-25418284-20130331193249/@comment-5529393-20130331213336

Hey you're right, it is a notation for \(\omega\)! We just need to figure out what number the Turing machine is in a standard enumeration of Turing machines.