diff --git a/src/api/python/z3/z3printer.py b/src/api/python/z3/z3printer.py
index 2da5f89dace..d7ee17f4a68 100644
--- a/src/api/python/z3/z3printer.py
+++ b/src/api/python/z3/z3printer.py
@@ -1412,8 +1412,10 @@ def pp_quantifier(self, a, d, xs):
         ys_pp = group(seq(ys))
         if a.is_forall():
             header = "∀"
-        else:
+        elif a.is_exists():
             header = "∃"
+        else:
+            header = "λ"
         return group(compose(to_format(header, 1),
                              indent(1, compose(ys_pp, to_format(" :"), line_break(), body_pp))))