User blog comment:Vel!/Hilbert ITTMs/@comment-10429372-20140724163701/@comment-1605058-20140725072702

Superscript notation for set of functions is a standard one. I don't think it's ad hoc, because cardinality-wise it fits standard exponentiation.