diff options
Diffstat (limited to 'help/first_pick.md')
| -rw-r--r-- | help/first_pick.md | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/help/first_pick.md b/help/first_pick.md index c9c0093e..deb09cc3 100644 --- a/help/first_pick.md +++ b/help/first_pick.md @@ -6,11 +6,11 @@ First element of `𝕩`. - ⊑ ⟨1, 2, 3⟩ + ⊑ ⟨1, 2, 3⟩ - a ← 3‿3 ⥊ ↕9 + a ← 3‿3 ⥊ ↕9 - ⊑ a + ⊑ a @@ -18,8 +18,8 @@ First element of `𝕩`. Pick the element of `𝕨` at index `𝕩`. - 2 ⊑ ⟨1, 2, 3⟩ + 2 ⊑ ⟨1, 2, 3⟩ - b ← 3‿3 ⥊ ↕9 + b ← 3‿3 ⥊ ↕9 - 2‿0 ⊑ b + 2‿0 ⊑ b |