User blog comment:Edwin Shade/How do you Rayo-name BB(n) ?/@comment-1605058-20171022203525

Check out this page. On the talk page I outline a definition of a specific TM in FOST. Vel has also made an (unfinished I believe) attempt to define BB function in a semi-formal language here.