:set prompt "λ "
