cat('∞')