On Mon, 27 Jun 2022, Raul Miller wrote:
My guess, though, is that you're referring to the dictionary's use of the symbol '↔'.
Yes.
as I understand it, this left-right arrow is used in math to symbolize "if and only if"
The iff arrow uses two bars, cf ⟺ .
... 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.
Yes. And in apl context, the symbol ↔ means 'can be substituted for' or 'is equivalent to'.
---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
