User blog comment:Rgetar/Help to name function/@comment-30754445-20180423200016/@comment-30869823-20180428193906

@Rgetar

\(2^ω ≠ 2^₀) because \(2^₀) denotes the powerset of ₀ but \(2^ω) denotes 2⋅2⋅…⋅2, it's just a notation thing.