How to denote product of ordinals: $\cdot$ or $\times$?
I'm not sure which of these two multiplication symbols to use.