TeX source:
X2