TeX source:

\left.\mathrm{F}(x)\right|_{1} ^{3}=\mathrm{F}(3)-\mathrm{F}(1)=\left\{\frac{1}{2}\left(3^{2}\right)+7\right\}-\left\{\frac{1}{2}\left(1^{2}\right)+7\right\}=\frac{23}{2}-\frac{15}{2}=4