TeX source:
sinx=1