TeX source:

x_2 = a^{y_2}