User blog comment:MilkyWay90/Help with understanding Veblen array notation/@comment-25601061-20180811130416/@comment-30754445-20180811200937

Yeah.

Nobody here uses this specific notation, and for a good reason.