From ed1fc8ef5960d50764a6969dd65d28f4149758be Mon Sep 17 00:00:00 2001
From: Martin Berg Alstad <emberal+github@pm.me>
Date: Fri, 21 Jun 2024 18:06:54 +0200
Subject: [PATCH] IgnoreCase and changed imply symbol

---
 src/pages/truth-table.tsx    | 4 +++-
 src/utils/expressionUtils.ts | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/pages/truth-table.tsx b/src/pages/truth-table.tsx
index bd0767c..19d2898 100644
--- a/src/pages/truth-table.tsx
+++ b/src/pages/truth-table.tsx
@@ -30,6 +30,8 @@ const fetchUrls = [
 ]
 
 // TODO move some code to new components
+// TODO option to ignore case
+// TODO more user friendly options
 const TruthTablePage: Component = () => {
   const [searchParams, setSearchParams] = useSearchParams()
   let inputElement: HTMLInputElement | undefined = undefined
@@ -93,7 +95,7 @@ const TruthTablePage: Component = () => {
       try {
         const response =
           await fetch(`${fetchUrls[useLocalhost() ? 0 : 1]}${encodeURIComponent(exp)}?
-simplify=${simplifyEnabled()}&hide=${hideValues().value}&sort=${sortValues().value}&caseSensitive=false&
+simplify=${simplifyEnabled()}&hide=${hideValues().value}&sort=${sortValues().value}&ignoreCase=false&
 hideIntermediateSteps=${hideIntermediates()}`)
 
         const body = await response.json()
diff --git a/src/utils/expressionUtils.ts b/src/utils/expressionUtils.ts
index a113a4d..f897f38 100644
--- a/src/utils/expressionUtils.ts
+++ b/src/utils/expressionUtils.ts
@@ -9,6 +9,6 @@ export function replaceOperators(expression: string): string {
     .replaceAll(/¬/g, "!")
     .replaceAll(/\sOR\s/gi, " | ")
     .replaceAll(/\sAND\s/gi, " & ")
-    .replaceAll(/\s(IMPLICATION|IMP)\s/gi, " -> ")
+    .replaceAll(/\s(IMPLICATION|IMP|->)\s/gi, " => ")
     .replaceAll(/\sNOT\s/gi, " !")
 }