TeX source:
x=15−y