$><<"-∞"