TeX source:

 x1=3