\[\int\cos x\,\mathrm{d}x=\sin x.\]