TeX source:
X=0