I think this is outdated. In [5.99] new syntax for INT\ ~{INT} etc - #3 by JeffYoung Jeff tells about syntax which I think I haven’t seen in this thread, although this one has been going on for so long that it’s difficult to remember everything…
I think this is outdated. In [5.99] new syntax for INT\ ~{INT} etc - #3 by JeffYoung Jeff tells about syntax which I think I haven’t seen in this thread, although this one has been going on for so long that it’s difficult to remember everything…