Update formal.tex

Typo
Merge pull request #709 from spearman/patch-1

Fix typo in appendix