TeX source:
\mathrm{dx} / \mathrm{dt}=-3 \sin (\mathrm{t})