TeX source:
/pi/3