User blog comment:VoidSansXD/Ordinal notation/@comment-35434595-20190217190037/@comment-34422464-20190223014637

use an inductive definition, its not hard also D1 should be w^w to match with veblen function