TeX source:
X = 2