On t.p. "[infinity]" appears as the infinity symbol