User blog comment:QuasarBooster/Higher order worms?/@comment-34422464-20190606232043/@comment-35470197-20190607031916

By the way, \(\omega\)-th order hydra is called "HydHyd", and Bashicu Matrix System whose entries are nested Bashicu Matrix System is called "BashiBashi" in Japan. Therefore the \(\omega\)-th order worm would be called "WomWom" if defined appropriately.