Increase pretty_print compatibility with latex printing