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

Marked for termination? WHYYYYYY?????

It was a really cool idea.