cat("∞")