Refactor Transiction toString method to use Unicode multiplication sy…

…mbol
Tony0380 · Jun 11, 2024 · 243f3a5 · 243f3a5
1 parent 171eb93
commit 243f3a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/app/src/main/java/computability/CalculationModels/DFA/Transiction.java b/app/src/main/java/computability/CalculationModels/DFA/Transiction.java
@@ -72,7 +72,7 @@ public void setEnd(State end) {
      * @return The name of the transiction.
      */
     public String getName() {
-        return start.getName() + " x " + symbol + " -> " + end.getName();
+        return start.getName() + " × " + symbol + " -> " + end.getName();
     }
 
     /**