TeX source:
X=3