$><<'∞'