u@v  (Conjunction)

ATOP (mv)  u@v y is the same as  u&v y.

ATOP (lv rv)  x u@v y is u x v y. For example, 3 |@– 7 is 4.