Use (+) for max plus operator instead of i=unicode not displayed corr…

…ectly by dear #11
Lecrapouille · Jan 9, 2024 · c0945d4 · c0945d4
1 parent 582bc3a
commit c0945d4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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;
  }