TeX source:

x_1\cdot x_2 =a^{y_1}\cdot a^{y_2} =a^{y_1+y_2}