diff options
Diffstat (limited to 'help')
| -rw-r--r-- | help/first_pick.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/help/first_pick.md b/help/first_pick.md index 6824accb..07e94643 100644 --- a/help/first_pick.md +++ b/help/first_pick.md @@ -18,7 +18,7 @@ First element of `𝕩`. ## `𝕨 ⊑ 𝕩`: Pick [→full documentation](../doc/pick.md) -Pick the element of `𝕨` at index `𝕩`. +Pick the element of `𝕩` at index `𝕨`. 2 ⊑ ⟨1, 2, 3⟩ |