User blog comment:Vel!/Nested Buchholz hydra/@comment-5529393-20131224220731/@comment-25418284-20131225004710

That's mildly disappointing, although it's nice to see that this notation goes somewhere.