TeX source:
x=7x