User blog comment:B1mb0w/Compact Veblen Notation/@comment-25601061-20151026183825/@comment-25601061-20151026210329

Ok.