TeX source:
x =5