Update formal.tex

Typo