Source TeX:

x.