TeX source:

x_4=3