TeX source:
x= 3