Nicer formatting for INFINITY definition