I guess it would be impossible to get you to acknowledge that it does
not work with explicit J in agenda :) /Erling
On 2017-09-30 23:16, Raul Miller wrote:
Yes, if you want to explicitly reference the definition of f, you
should use the name f (like you used at first), and not $:
$: refers to the containing sentence, which in your example was
x $: <: y
To have $: mean something different you need to use it in a different
sentence (which is entirely possible, of course).
Thanks,
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm