↢ — After

Dyadic operator. Keys: Alt-,. Hanzi: 后 (後)

The monadic hook f↢g Y is Y f(g Y). The left argument of f is Y itself. For f(g Y), use Atop, f∘g.

×↢- 5              ⍝ ¯25

X f↢g Y is X f(g Y).

10 +↢- 3           ⍝ 7
"abc" ,↢⌽ "de"     ⍝ "abced"

f↢A binds the right argument. The bound function takes one argument. A literal argument after a space joins a literal operand’s strand: -↢10 3 binds the vector 10 3 and has no argument. The separator ⁝ keeps the two literals apart, as in -↢10⁝3.

-↢10⁝3           ⍝ ¯7
y←3 ⋄ -↢10 y       ⍝ ¯7

See Before, Atop / Rank and Over.

Inverse

With an array operand, (f↢X)⁻Y inverts f with X fixed on the right. With two functions, X(f↢g)⁻Y inverts f with X fixed, then applies g⁻. The hook (×↢*)⁻ gives the Lambert W function.

(-↢3)⁻7   ⍝ 10
(×↢*)⁻1   ⍝ 0.567143290409784