Source TeX:
x=z_1