From 8535f765af50ee179033bad9e891d3ef3d54ce2d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hans-J=C3=B6rg?= <commits@schurr.at>
Date: Tue, 28 May 2024 15:37:39 +0000
Subject: [PATCH] Apply 3 suggestion(s) to 1 file(s)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Hans-Jörg <commits@schurr.at>
---
 spec/rule_list.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index f66db1e..6780d98 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -562,7 +562,7 @@ with $\bowtie \in \{<,>, \le,\ge, ≈\}$.\\
 
 \begin{AletheX}
 	$i$. & \ctxsep  &
-	$(t_1 > 0 \wedge \neg (t_2 ≈ t_3)) \to \neg (t_1 * t_2 ≈ t_1 * t_3)$ 
+	$(t_1 > 0 \land \neg (t_2 ≈ t_3)) \rightarrow \neg (t_1 * t_2 ≈ t_1 * t_3)$ 
 	& (\currule) \\
 \end{AletheX}
 
@@ -574,7 +574,7 @@ Either of the form:
 
 	\begin{AletheX}
 		$i$. & \ctxsep  &
-		$(t_1 < 0 \wedge t_2 \bowtie t_3) \to t_1 * t_2 \bowtie_{inv} t_1 * t_3$
+		$(t_1 < 0 \land t_2 \bowtie t_3) \rightarrow t_1 * t_2 \bowtie_{inv} t_1 * t_3$
 		& (\currule) \\
 	\end{AletheX}
 
@@ -598,7 +598,7 @@ Either of the form:
 
 	\begin{AletheX}
 		$i$. & \ctxsep  &
-		$(t_1 < 0 \wedge \neg (t_2 ≈ t_3)) \to \neg (t_1 * t_2 ≈ t_1 * t_3)$
+		$(t_1 < 0 \land \neg (t_2 ≈ t_3)) \rightarrow \neg (t_1 * t_2 ≈ t_1 * t_3)$
 		& (\currule) \\
 	\end{AletheX}
 	.
-- 
GitLab