Opening formalism_atranslation.tex and previewing it looks like this: