diff options
| author | razetime <raghuallthetime@hotmail.com> | 2022-01-20 08:47:02 +0530 |
|---|---|---|
| committer | razetime <raghuallthetime@hotmail.com> | 2022-01-20 08:47:02 +0530 |
| commit | c6cab48977311e88bf26c0d5b25ee09b95817ab4 (patch) | |
| tree | 80ce0c319e06ddbf64da288161b49f844d98e142 /help/markfirst_memberof.md | |
| parent | 330846175fe6cfd52dee29e1db0d1726e31fb367 (diff) | |
fix repl redef errors
Diffstat (limited to 'help/markfirst_memberof.md')
| -rw-r--r-- | help/markfirst_memberof.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/help/markfirst_memberof.md b/help/markfirst_memberof.md index 228d6a50..e5f38079 100644 --- a/help/markfirst_memberof.md +++ b/help/markfirst_memberof.md @@ -20,10 +20,10 @@ Is each element in `𝕨` a major cell of `𝕩`? ⟨1⟩ ∊ ↕9 - a ← 3‿3 ⥊ ↕9 + b ← 3‿3 ⥊ ↕9 - ⟨0‿1‿2⟩ ∊ a + ⟨0‿1‿2⟩ ∊ b - ⟨1‿3 ⥊ 0‿1‿2⟩ ∊ a + ⟨1‿3 ⥊ 0‿1‿2⟩ ∊ b |