TeX source:
X=2