diff --git a/src/Editor/PetriEditor.cpp b/src/Editor/PetriEditor.cpp
index 1a0746f..1112264 100644
--- a/src/Editor/PetriEditor.cpp
+++ b/src/Editor/PetriEditor.cpp
@@ -422,7 +422,7 @@ void Editor::showDynamicLinearSystem() const
         SparseMatrix<double> B; SparseMatrix<double> C;
         toSysLin(m_net, D, A, B, C);
         SparseMatrix<double>::display_for_julia = false;
-        ImGui::Text(u8"%s", "X(n) = D . X(n) ⨁ A . X(n-1) ⨁ B . U(n)\nY(n) = C . X(n)");
+        ImGui::Text(u8"%s", "X(n) = D . X(n) (+) A . X(n-1) (+) B . U(n)\nY(n) = C . X(n)");
         ImGuiTabBarFlags tab_bar_flags = ImGuiTabBarFlags_None;
         if (ImGui::BeginTabBar("syslin", tab_bar_flags))
         {
diff --git a/src/Net/Algorithms.cpp b/src/Net/Algorithms.cpp
index 0aef623..c72e36b 100644
--- a/src/Net/Algorithms.cpp
+++ b/src/Net/Algorithms.cpp
@@ -358,9 +358,9 @@ std::stringstream showCounterEquation(Net const& net, std::string const& comment
                 {
                     ss << "(t)";
                 }
-                separator2 = (minplus_notation ? " ⨁ " : ", ");
+                separator2 = (minplus_notation ? " (+) " : ", ");
             }
-            separator1 = (minplus_notation ? " ⨁ " : ", ");
+            separator1 = (minplus_notation ? " (+) " : ", ");
         }
         ss << (minplus_notation ? "" : ")") << std::endl;
     }
@@ -403,9 +403,9 @@ std::stringstream showDaterEquation(Net const& net, std::string const& comment,
                 }
                 ss << ")";
 
-                separator2 = (maxplus_notation ? " ⨁ " : ", ");
+                separator2 = (maxplus_notation ? " (+) " : ", ");
             }
-            separator1 = (maxplus_notation ? " ⨁ " : ", ");
+            separator1 = (maxplus_notation ? " (+) " : ", ");
         }
         ss << (maxplus_notation ? "" : ")") << std::endl;
     }