Reformatted the latex to look nice