TeX source:
a^n \cdot a^m = a^{n+m}