aboutsummaryrefslogtreecommitdiff
path: root/doc/couple.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-11-03 15:51:15 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-11-03 15:55:14 -0400
commit29509cedb9af2715328e44c481738a9ba05cff73 (patch)
tree734a0251dbb20bc7e29b4b0e3bac3b48e0cdaff0 /doc/couple.md
parent30b5188c23576d5e119bbc8d27cd08a3015a75c9 (diff)
Use ⋈ rather than ≍○< in documentation examples
Diffstat (limited to 'doc/couple.md')
-rw-r--r--doc/couple.md5
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