Iverson, Operators and Functions, 1978.
f⍢g ⍵ ←→ g⍣¯1 f g ⍵ ⍺ f⍢g ⍵ ←→ g⍣¯1 (g ⍺) f (g ⍵) f⍢g ⍵ ⍺ f⍢g ⍵ g⍣¯1 g⍣¯1 | | f f | / \ g g g | | | ⍵ ⍺ ⍵