Note for anyone else who missed it, there are expression evaluators embedded in this post. You have to click inside the evaluator and press return (and can edit

Note for anyone else who missed it, there are expression evaluators embedded in this post. You have to click inside the evaluator and press return (and can edit, etc). Look for the "λ>"