TeX source:
x2 = 4