try formalize (in .tex)
update gitignore to ignore the latex generated files