correct \infty symbol