From \not= to \neq.

sagemath · May 31, 2016 · 6a3338b · 6a3338b
1 parent 9145ac9
commit 6a3338b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/sage/combinat/posets/hasse_diagram.py b/src/sage/combinat/posets/hasse_diagram.py
@@ -1272,9 +1272,9 @@ def is_semidistributive(self, meet_or_join):
 
         - ``None`` if the lattice is semidistributive OR
         - tuple ``(u, e, x, y)`` such that
-          `u = e \vee x = e \vee y` but `u \not= e \vee (x \wedge y)`
+          `u = e \vee x = e \vee y` but `u \neq e \vee (x \wedge y)`
           if ``meet_or_join=='join'`` and
-          `u = e \wedge x = e \wedge y` but `u \not= e \wedge (x \vee y)`
+          `u = e \wedge x = e \wedge y` but `u \neq e \wedge (x \vee y)`
           if ``meet_or_join=='meet'``
 
         EXAMPLES::