⊑
⊑ 𝕩
→full documentation
First element of 𝕩.
𝕩
⊑ ⟨1, 2, 3⟩ 1 a ← 3‿3 ⥊ ↕9 ⊑ a 0
𝕨 ⊑ 𝕩
Pick the element of 𝕩 at index 𝕨.
𝕨
2 ⊑ ⟨1, 2, 3⟩ 3 b ← 3‿3 ⥊ ↕9 2‿0 ⊑ b 6