Rigor, notation, & LaTeX tables HW