TeX source:
x1