From e7382d6ff9322e21aef87118dc6bf448f56d41f2 Mon Sep 17 00:00:00 2001 From: Philip Zucker Date: Wed, 31 Jul 2024 11:14:16 -0400 Subject: [PATCH] Added "λ" pretty printing to python (#7320) --- src/api/python/z3/z3printer.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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))))