TeX source:

(x_1 - 1)