TeX source:

x =