Limit notation and evaluation