write("-∞");