$><<"∞"