TeX source:
x=5 / 3