But there is a typographical difference. And I guess this is the difference I would like to pick up. Are typographical differences only distinguishable using character input?
> On 16 Sep 2023, at 05:24, Elijah Stone <elro...@elronnd.net> wrote: > > There is no difference between 011 and 11, nor between 008 and 8. > > On Sat, 16 Sep 2023, Piet de Jong wrote: > >> I meant a general verb u such that >> 011 -:&u 11 >> 008 -:&u 8 >> etc are all false. >> >>> On 16 Sep 2023, at 04:50, Elijah Stone <elro...@elronnd.net> wrote: >>> u=: 1 -: 3!:0 >> >> ---------------------------------------------------------------------- >> For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm