diff --git a/bsrc/Data/Number/Machine.bs b/bsrc/Data/Number/Machine.bs
index 05fdb82..b0abef4 100644
--- a/bsrc/Data/Number/Machine.bs
+++ b/bsrc/Data/Number/Machine.bs
@@ -5,12 +5,12 @@ type Word = prim%Word;
 
 export instance Eq Int {
   (==)(x,y) = prim%inteq(x,y);
-  (/=)(x,y) = prim%intneq(x,y);
+  (!=)(x,y) = prim%intneq(x,y);
 }
 
 export instance Eq Word {
   (==)(x,y) = prim%wordeq(x,y);
-  (/=)(x,y) = prim%wordneq(x,y);
+  (!=)(x,y) = prim%wordneq(x,y);
 }
 
 export instance Num Int {
diff --git a/bsrc/Data/Object.bs b/bsrc/Data/Object.bs
index 8f24a26..0233d72 100644
--- a/bsrc/Data/Object.bs
+++ b/bsrc/Data/Object.bs
@@ -5,17 +5,17 @@ import Data.Bool;
 export eq(x :: a, y :: a) :: Bool = prim%eq(x,y);
 
 class Eq a {
-  (==)(x :: a, y :: a) :: Bool = not (x /= y);
-  (/=)(x :: a, y :: a) :: Bool = not (x == y);
+  (==)(x :: a, y :: a) :: Bool = not (x != y);
+  (!=)(x :: a, y :: a) :: Bool = not (x == y);
 }
 
 instance Eq () {
   (==)(x,y) = True;
-  (/=)(x,y) = False;
+  (!=)(x,y) = False;
 }
 
 instance Eq Bool {
-  (/=)(x,y) = x ^ y;
+  (!=)(x,y) = x ^ y;
 }
 
 class SafelyConvertable a b {