fix infix operator applications

Author: fblanqui

NatBool.lp

@@ -7,7 +7,7 @@ symbol = : ℕ → ℕ → 𝔹;
 notation = infix 10;
 
 rule 0 = 0 ↪ true
-with s $x = s $y ↪ = $x $y
+with s $x = s $y ↪ $x = $y
 with 0 = s _ ↪ false
 with s _ = 0 ↪ false;
 
@@ -19,4 +19,4 @@ notation ≤ infix 10;
 
 rule 0 ≤ 0 ↪ false
 with 0 ≤ s _ ↪ true
-with s $x ≤ s $y ↪ ≤ $x $y;
+with s $x ≤ s $y ↪ $x ≤ $y;