Over

Over (⍥) is a dyadic operator which takes two functions and produce a function (⍥).

Explanation

When the resulting function is used monadically, it is the same as Atop.

(g ⍥ h) ⍵

$\Leftrightarrow$

g (h ⍵)

When the resulting function is used dyadically, then it forms an Over expression (which is the true purpose of this operator).

⍺ (g ⍥ h) ⍵

$\Leftrightarrow$

(h ⍺) g (h ⍵)

Examples

      x←1 2 3
      y←4 5 6
     x +⍥(⌈/) y ⍝ add the max of x and max of y
9
      ⍝ same as
      (⌈/x)+⌈/y
9