TeX source:

x=6