On Mon, Jun 27, 2022 at 5:31 PM Elijah Stone <elro...@elronnd.net> wrote: > The dictionary states that x u@v y may be substituted for u x v y.
https://www.google.com/search?q=site%3Ajsoftware.com+inurl%3Ahelp+substituted+inurl%3Adictionary does not find me that text. My guess, though, is that you're referring to the dictionary's use of the symbol '↔'. And, as I understand it, this left-right arrow is used in math to symbolize "if and only if" ... But, here, it's worth noting that math relies heavily on contextual constraints, and that we routinely and explicitly ignore concepts which would conflict with those surrounding constraints. -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
