UI pretty printer fix: banana and mustache brackets

LS-Lab · Nov 23, 2022 · 67dc179 · 67dc179
1 parent 02d3020
commit 67dc179
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/keymaerax-webui/src/main/scala/edu/cmu/cs/ls/keymaerax/hydra/UIKeYmaeraXPrettyPrinter.scala b/keymaerax-webui/src/main/scala/edu/cmu/cs/ls/keymaerax/hydra/UIKeYmaeraXPrettyPrinter.scala
@@ -24,6 +24,10 @@ trait HTMLPrinter {
     "!=" -> "&ne;",
     "!" -> "&not;",
     "|" -> "&or;",
+    "(&or;" -> "(|", // undo opening banana rewrite
+    "&or;)" -> "|)", // undo closing banana rewrite
+    "{&or;" -> "{|", // undo opening mustache rewrite
+    "&or;}" -> "|}", // undo closing mustache rewrite
     "<->" -> "&#8596;",
     "->" -> "&rarr;",
     "<=" -> "&leq;",