User blog comment:B1mb0w/Compact Veblen Notation/@comment-26428969-20151026184148/@comment-27014275-20151028070715

Makes sense.