diff --git a/src/storm/storage/expressions/ToDiceStringVisitor.cpp b/src/storm/storage/expressions/ToDiceStringVisitor.cpp
index 1904b56c5..a1a20ed24 100644
--- a/src/storm/storage/expressions/ToDiceStringVisitor.cpp
+++ b/src/storm/storage/expressions/ToDiceStringVisitor.cpp
@@ -48,7 +48,7 @@ namespace storm {
                 case BinaryBooleanFunctionExpression::OperatorType::Xor:
                     stream << "(";
                     expression.getFirstOperand()->accept(*this, data);
-                    stream << " xor ";
+                    stream << " ^ ";
                     expression.getSecondOperand()->accept(*this, data);
                     stream << ")";
                     break;