From c6cab48977311e88bf26c0d5b25ee09b95817ab4 Mon Sep 17 00:00:00 2001 From: razetime Date: Thu, 20 Jan 2022 08:47:02 +0530 Subject: fix repl redef errors --- docs/help/markfirst_memberof.html | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'docs/help/markfirst_memberof.html') diff --git a/docs/help/markfirst_memberof.html b/docs/help/markfirst_memberof.html index 82ccf437..2b304dc2 100644 --- a/docs/help/markfirst_memberof.html +++ b/docs/help/markfirst_memberof.html @@ -17,18 +17,17 @@

𝕨 ∊ 𝕩: Member Of

Is each element in 𝕨 a major cell of 𝕩?

-↗️
       ⟨1⟩ ∊ ↕9
+↗️
       ⟨1⟩ ∊ ↕9
 ⟨ 1 ⟩
 
-       a ← 3‿3 ⥊ ↕9
-Error: Redefinition
+       b ← 3‿3 ⥊ ↕9
 
-       ⟨0‿1‿2⟩ ∊ a
+       ⟨0‿1‿2⟩ ∊ b
 ┌·   
 · 0  
     ┘
 
-       ⟨1‿3 ⥊ 0‿1‿2⟩ ∊ a
+       ⟨1‿3 ⥊ 0‿1‿2⟩ ∊ b
 ┌·   
 · 0  
     ┘
-- 
cgit v1.2.3