TeX source:
/pi/4