:set prompt "λ> "