diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-03 15:51:15 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-03 15:55:14 -0400 |
| commit | 29509cedb9af2715328e44c481738a9ba05cff73 (patch) | |
| tree | 734a0251dbb20bc7e29b4b0e3bac3b48e0cdaff0 /doc/couple.md | |
| parent | 30b5188c23576d5e119bbc8d27cd08a3015a75c9 (diff) | |
Use ⋈ rather than ≍○< in documentation examples
Diffstat (limited to 'doc/couple.md')
| -rw-r--r-- | doc/couple.md | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/couple.md b/doc/couple.md index 95806d8f..51309b18 100644 --- a/doc/couple.md +++ b/doc/couple.md @@ -42,10 +42,7 @@ Above we start with a list of three empty arrays. After merging once we get a sh A note on the topic of Solo and Couple applied to units. As always, one axis will be added, so that the result is a list (strangely, J's [laminate](https://code.jsoftware.com/wiki/Vocabulary/commaco#dyadic) differs from Couple in this one case, as it will add an axis to get a shape `2‿1` result). For Solo, this is interchangeable with [Deshape](reshape.md) (`⥊`), and either primitive might be chosen for stylistic reasons. For Couple, it is equivalent to [Join-to](join.md) (`∾`), but this is an irregular form of Join-to because it is the only case where Join-to adds an axis to both arguments instead of just one. Couple should be preferred in this case. -The pair function, which creates a list from its arguments, can be written `Pair ← ≍○<`, while `≍` in either valence is `>∘Pair`. As an interesting consequence, `≍ ←→ >∘≍○<`, and the same relationship holds for `Pair`. - - ⟨2,3⟩ ≍○< "abc" # Pair two values - ≍○< "abc" # Pair one(?) value +The function [Pair](pair.md) (`⋈`) can be written `≍○<`, while `≍` in either valence is `>∘⋈`. As an interesting consequence, `≍ ←→ >∘≍○<`, and `⋈ ←→ >∘⋈○<`. These two identities have the same form because adding `○<` commutes with adding `>∘`. ## Definitions |
