The dictionary entry for m} http://www.jsoftware.com/help/dictionary/d530n.htm
gives the equivalences: x (v0`v1`v2)} y ↔ (x v0 y) (x v1 y)} (x v2 y) (v0`v1`v2)} y ↔ (v1 y)} (v2 y) (v1`v2)} y ↔ (v1 y)} (v2 y) Is there a reason that the 2nd one is not: (v0`v1`v2)} y ↔ (v0 y) (v1 y)} (v2 y) ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
