diff --git a/src/operators.jl b/src/operators.jl
index d9178af..40c88cc 100644
--- a/src/operators.jl
+++ b/src/operators.jl
@@ -1,9 +1,8 @@
 (-->)(x::Bool, y::Bool) = !x || y
-(<-->)(x::Bool, y::Bool) = x ≡ y
-∧(x::Bool, y::Bool) = x && y
-∨(x::Bool, y::Bool) = x || y
-¬(x::Bool) = !x
-
+const (<-->) = (===)
+const ∧ = &
+const ∨ = |
+const ¬ = !
 const → = (-->)
 const ⇒ = (-->)
 const ↔ = (<-->)