\[\int_{0}^{x}J_{\nu}\left(t\right)J_{1-\nu}\left(x-t\right)\,\mathrm{d}t=J_{0}%
\left(x\right)-\cos x,\]