diff options
Diffstat (limited to 'help/choose.md')
| -rw-r--r-- | help/choose.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/help/choose.md b/help/choose.md index 3c03c1ec..02ebfc23 100644 --- a/help/choose.md +++ b/help/choose.md @@ -6,12 +6,12 @@ Apply `𝔽` to the arguments and use the result to [pick](first_pick.md#𝕨--𝕩-pick) (`⊑`) a function from list `𝕘`. Apply the picked function to the arguments. - F ← ⊢◶+‿-‿÷‿× + F ← ⊢◶+‿-‿÷‿× - F 0 + F 0 - F 1 + F 1 - F 2 + F 2 - F 3 + F 3 |