TeX source:
x=7 / 2