Finally a use case for Knuth's up-arrow notation in daily life.