⌾
f⌾g Y is g⁻¹(f(g Y)). X f⌾g Y is g⁻¹((g X)f(g Y)).
f⌾g Y
g⁻¹(f(g Y))
X f⌾g Y
g⁻¹((g X)f(g Y))
3 (+⌾(2∘×))4 ⍝ 7 (⌽⌾(1∘+))1 2 3 ⍝ 3 2 1 ⌊⌾(10∘×)⊢1.25 ⍝ 1.2
Call order: g Y, g X, f, inverse g.
g Y
g X
f
g
DOMAIN: unknown inverse. See Inverse pair.