TeX source:
X = 1