1 files changed, 1 insertions, 0 deletions
diff --git a/src/r1.bqn b/src/r1.bqn
index 399bedf7..84c70046 100644
--- a/src/r1.bqn
+++ b/src/r1.bqn
@@ -827,6 +827,7 @@ PrimInverse ← INF _lookup_ ⟨
   '∧', ⊢_invChk_∧⊘(÷˜)
   '∨', ⊢_invChk_∨⊘(-˜÷1-⊣)
   '¬', ¬
+  '≠', {B←0⊸=∨1⊸=⋄IX B𝕩⋄IA B𝕨⋄𝕩≠𝕨} _perv
   '<', {IX IsArray𝕩⋄IX 0==𝕩⋄0⊑⥊𝕩}⊘(IA∘0)
   '⊢', ⊢
   '⊣', ⊢⊘(⊢⊣IX∘≡)