User blog comment:Mush9/First Magnarth/@comment-1605058-20170201212725/@comment-30167082-20170212133729

Boboris: x_b starts just like Little Bigeddon does, except we exend the notion of rank. You might need to first understand ordered pairs, mathematical tuples, possibly Godel coding. There are wikipedia pages for all three.