TeX source:
 x2=300