Addition to dd71360: refine latex printing for Manifold