TeX source:
a^{x_1}=a^{x_2}