cat("-∞")