wait, that was easier to search than I thought. http://lesswrong.com/lw/kn/torture_vs_dust_specks/
Yes, it is Knuth’s arrow notation.
wait, that was easier to search than I thought. http://lesswrong.com/lw/kn/torture_vs_dust_specks/
Yes, it is Knuth’s arrow notation.