Source TeX:
\cos(x)>0