∊)∊ 𝕩: Unique MaskMark the first occurrence of each major cell in 𝕩 with a 1, and all other occurrences with a 0.
∊ 4‿5‿6‿6‿4‿7‿5 ⟨ 1 1 1 0 0 1 0 ⟩ a ← 3‿3 ⥊ ↕9 ∊ a ⟨ 1 1 1 ⟩
𝕨 ∊ 𝕩: Member OfIs each element in 𝕨 a major cell of 𝕩?
⟨1⟩ ∊ ↕9 ⟨ 1 ⟩ a ← 3‿3 ⥊ ↕9 Error: Redefinition ⟨0‿1‿2⟩ ∊ a ┌· · 0 ┘ ⟨1‿3 ⥊ 0‿1‿2⟩ ∊ a ┌· · 0 ┘