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

It seems we've independently discovered the same concept; I've read your post and if I use this notation again, I'll make sure to call it "Hyp Cos' Mixed Arrow Notation". :)