TeX source:

x y