Description: Extend class notation with convergence relation for limits in the extended real numbers.