From aeb42661187f5b10dec4b36a5ddb05a6cabc5179 Mon Sep 17 00:00:00 2001
From: hi <hi>
Date: Fri, 1 Aug 2025 14:07:58 +0000
Subject: [PATCH] typo: \cap \cup -> \land \lor

---
 Main.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Main.hs b/Main.hs
index 2d20ada..fc5a032 100644
--- a/Main.hs
+++ b/Main.hs
@@ -219,8 +219,8 @@ serializeCells = aux Main
 
     latex mkCell (Atom key)      = [mkCell key]
     latex mkCell (Not s)         = [mkCell "\\neg "] ++ latex' s
-    latex mkCell (And s1 s2)     = connective (mkCell "\\cap ") (latex' s1) (latex' s2)
-    latex mkCell (Or s1 s2)      = connective (mkCell "\\cup ") (latex' s1) (latex' s2)
+    latex mkCell (And s1 s2)     = connective (mkCell "\\land ") (latex' s1) (latex' s2)
+    latex mkCell (Or s1 s2)      = connective (mkCell "\\lor ") (latex' s1) (latex' s2)
     latex mkCell (Implies s1 s2) = connective (mkCell "\\to ") (latex' s1) (latex' s2)
     latex mkCell (Iff s1 s2)     = connective (mkCell "\\leftrightarrow ") (latex' s1) (latex' s2)