User blog comment:King2218/FGH Things/@comment-5029411-20140309223844/@comment-3427444-20140310132820

If we somehow can define $$H_\omega$$, defining the above crazy stuff wouldn't be too hard... if you consider calculating $$\Sigma(\Sigma(27))$$ or Rayo(10100) an easy task, of course.