TeX source:
x=4, y