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)