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