Addition to dd71360: refine latex printing for Manifold
Address @smichr's comments on the pull