1 files changed, 18 insertions, 18 deletions
diff --git a/stdlib/source/lux/math/logic/continuous.lux b/stdlib/source/lux/math/logic/continuous.lux
index 972bfac0e..a6fe71bb6 100644
--- a/stdlib/source/lux/math/logic/continuous.lux
+++ b/stdlib/source/lux/math/logic/continuous.lux
@@ -1,39 +1,39 @@
 (.module:
-  [lux #*
+  [lux (#- false true or and not)
    [data [number ("rev/" Interval<Rev>)]]])
 
-(def: #export ~true Rev rev/top)
-(def: #export ~false Rev rev/bottom)
+(def: #export true  Rev rev/top)
+(def: #export false Rev rev/bottom)
 
 (do-template [<name> <chooser>]
   [(def: #export <name>
      (-> Rev Rev Rev)
      <chooser>)]
 
-  [~and r/min]
-  [~or  r/max]
+  [and r/min]
+  [or  r/max]
   )
 
-(def: #export (~not input)
+(def: #export (not input)
   (-> Rev Rev)
-  (r/- input ~true))
+  (r/- input ..true))
 
-(def: #export (~implies consequent antecedent)
+(def: #export (implies consequent antecedent)
   (-> Rev Rev Rev)
-  (~or (~not antecedent)
-       consequent))
+  (or (not antecedent)
+      consequent))
 
-(def: #export (includes~ sub super)
+(def: #export (includes sub super)
   (-> Rev Rev Rev)
-  (let [-sub (~not sub)
+  (let [-sub (not sub)
         sum (r/+ -sub super)
-        no-overflow? (and (r/>= -sub sum)
-                          (r/>= super sum))]
+        no-overflow? (.and (r/>= -sub sum)
+                           (r/>= super sum))]
     (if no-overflow?
       sum
-      ~true)))
+      ..true)))
 
-(def: #export (~= left right)
+(def: #export (= left right)
   (-> Rev Rev Rev)
-  (~and (~or (~not left) right)
-        (~or left (~not right))))
+  (and (or (not left) right)
+       (or left (not right))))