[Ice 001] math symbol infinity sign