(write'∞)