In the children's book ``The Phantom Tollbooth'' by Norton Juster one can find the following passage:
DOI: 10.1023/A:1020879709125
Full citation:
Prömel, H. (2002). Large numbers, Knuth's arrow notation, and Ramsey theory. Synthese 133 (1-2), pp. 87-105.
This document is unfortunately not available for download at the moment.