Henry corrected me: > Back at the beginning of J there was a table of tridents that defined
Oh yes, you're right. I didn't look at the trains table. (Even though it's in II.F: I'm so used to it being gone that I didn't even scroll to the bottom of the page, I only read top part. The top is where I found the equivalence explicitly asserted in v4.06a). Sorry about that! -Dan ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
