TeX source:
x=\pi/3