Primitive pervasion order tweaks

1 files changed, 3 insertions, 3 deletions

diff --git a/impl.bqn b/impl.bqn
index 38ec5adf..c38ee689 100644
--- a/impl.bqn
+++ b/impl.bqn
@@ -85,18 +85,18 @@ Indices←{
 ÷ ↩ ÷ _perv
 ⋆ ↩ ⋆ _perv
 √ ← ⋆⟜(÷2)   ⊘ (⋆⟜÷˜)
+| ← (×⟜×     ⊘ {𝕩-𝕨×⌊𝕩÷𝕨}) _perv
 ⌊ ↩ (⌊       ⊘ {(𝕨>𝕩)⊑𝕨‿𝕩}) _perv
 ⌈ ← (-∘⌊∘-   ⊘ {(𝕨<𝕩)⊑𝕨‿𝕩}) _perv
-| ← (×⟜×     ⊘ {𝕩-𝕨×⌊𝕩÷𝕨}) _perv
 ¬ ← 1+-
 ∧ ←            ×
 ∨ ←            (+-×)
 < ↩ {⟨⟩⥊⟨𝕩⟩} ⊘ ((1-≤˜) _perv)
-> ↩            > _perv
+> ↩             (1-≤) _perv
 ≠ ↩ ≠        ⊘ ((1-=) _perv)
 = ↩ =        ⊘ (= _perv)
-≤ ↩ !∘0      ⊘ (≤ _perv)
 ≥ ← !∘0      ⊘ (≤˜_perv)
+≤ ↩ !∘0      ⊘ (≤ _perv)
 identity ← (0⊑⟨!∘0⟩) {(0⊑𝕨){𝕗=𝕩}◶𝕩‿(1⊑𝕨)}´ ⟨+‿0,-‿0,×‿1,÷‿1,⋆‿1,√‿1,∧‿1,∨‿0,|‿0,⌊‿∞,⌈‿¯∞,<‿0,≤‿1,=‿1,≥‿1,>‿0,≠‿0⟩