TeX source:
\frac{\mathrm{d}\left(\mathrm{f}_{\infty} \mathrm{x}\right)}{\mathrm{dt}}=0