TeX source:
x =11