Added some LaTeX stuff