TeX source:

z_1 = 0