Update formal.tex

Changed the period ending the line to a colon, to be consistent with lines 285 and 294, and to avoid a lowercase letter following a period.
Merge pull request #745 from Pierre-Yves-Gaillard/patch-1

Update formal.tex