TeX source:
X1