User blog comment:Edwin Shade/A Slight Change to Knuth's Up Arrow Notation/@comment-11227630-20171015031146

That's exactly this notation.