TeX source:

x_1 = a^{y_1}