Spell checking formal-spaces.tex