User blog comment:Vel!/Hilbert ITTMs/@comment-10429372-20140724163701/@comment-25418284-20140724231151

The weird ad hoc nonstandard notation {0,1}^Z has been replaced with a better one