Fix references
Small change in formal-spaces.tex
Normalize notation and setup conventions in formal-spaces.tex