Dualc &.: Implements Under initial writing: 2001-11-05last updated: 2004-10-26 &.: is a conjunction and u &.: v ↔ u&.(v"_) . For example: +/&.:^. 2 3 4 24 +/&.^. 2 3 4 2 3 4