TeX source:

x=35 / 6