diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index f7a99f1c2..4d92af8b9 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -1593,6 +1593,9 @@ class BoolRef(ExprRef):
     
     def __or__(self, other):
         return Or(self, other)
+
+    def __xor__(self, other):
+        return Xor(self, other)
     
     def __invert__(self):
         return Not(self)