TeX source:
F(x_1 - 1)