TeX source:
\dot{x}= \sin x