"A summary of the relevant cardinal arithmetic, ..."

A summary of the relevant cardinal arithmetic, by the way (in the presence of choice): $$\aleph_{\alpha} + \aleph_{\alpha} = \aleph_{\alpha} = \aleph_{\alpha} \aleph_{\alpha}$$ while $$2^{\aleph_{\alpha}} > \aleph_{\alpha}$$