From 2aef02836ee0aa1f778f68d139d07b42be02d93e Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 22 Aug 2020 18:05:42 -0400
Subject: =?UTF-8?q?Note=20=E2=8C=8A=E2=88=98=C3=B7=20versus=20|=20argument?=
 =?UTF-8?q?=20order=20confusion?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 problems.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'problems.md')

diff --git a/problems.md b/problems.md
index 5bd7aa90..34f7de67 100644
--- a/problems.md
+++ b/problems.md
@@ -34,7 +34,7 @@ If you include multiple multi-line functions in what would otherwise be a one-li
 This includes index-of-last, and searching starting at a particular index, when the desired result indices are to the array to be seached *before* it is modified. Given indices `i` into an array `𝕨` (for example `⌽↕≠𝕨` or `a+↕b`), this section can be searched with `(i∾≠𝕨)⊏˜(i⊏𝕨)⊐𝕩`. But this is clunky and difficult for the implementation to optimize.
 
 ### Subtraction, division, and span are backwards
-The left argument feels much more like the primary one in these cases (indeed, this matches the typical left-to-right ordering of binary operators in mathematics). Not really fixable; too much precedent.
+The left argument feels much more like the primary one in these cases (indeed, this matches the typical left-to-right ordering of binary operators in mathematics). The commonly-paired `⌊∘÷` and `|` have opposite orders for this reason. Not really fixable; too much precedent.
 
 ### Nothing (`·`) interacts strangely with Before and After
 Since `𝕨F⊸G𝕩` is `(F𝕨)G𝕩` and `𝕨F⟜G𝕩` is `𝕨F G𝕩` in the dyadic case, we might expect these to devolve to `G𝕩` and `F G𝕩` when `𝕨` is not present. Not so: instead `𝕩` is substituted for the missing `𝕨`. And Before and After are also the main places where a programmer might try to use `𝕨` as an operand, which doesn't work either (the right way is the train `𝕨F⊢`).
-- 
cgit v1.2.3