and also, we don't need it.

"That seems redundant and unnecessary."

So said a student in my calculus class. He was complaining about having to write lim repeatedly in an equation. I don't blame him. I could really have used those two seconds to do something worthwhile.

Happy day! It's 70 and sunny here. Gorgeous. :)