diff --git a/src/parser/JaniParser.cpp b/src/parser/JaniParser.cpp
index 03b3e3063..2cb834742 100644
--- a/src/parser/JaniParser.cpp
+++ b/src/parser/JaniParser.cpp
@@ -326,6 +326,12 @@ namespace storm {
                         ensureBooleanType(arguments[0], opstring, 0, scopeDescription);
                         ensureBooleanType(arguments[1], opstring, 1, scopeDescription);
                         return arguments[0] && arguments[1];
+                    } else if (opstring == "⇒") {
+                        arguments = parseUnaryExpressionArguments(expressionStructure, opstring, scopeDescription, localVars);
+                        assert(arguments.size() == 2);
+                        ensureBooleanType(arguments[0], opstring, 0, scopeDescription);
+                        ensureBooleanType(arguments[0], opstring, 1, scopeDescription);
+                        return (!arguments[0]) || arguments[1];
                     } else if (opstring == "¬") {
                         arguments = parseUnaryExpressionArguments(expressionStructure, opstring, scopeDescription, localVars);
                         assert(arguments.size() == 1);