TeX source:

{x=7}