TeX source:

x2