⍣¯1
is awkward to use for a simple inverse, as it may require separation, and is quite verbose. What do you think of allowing a new syntax ¯f
to mean f⍣¯1
. I'm not sure about the scope. E.g. Should ¯f g
be (f g)⍣¯1
or (f⍣¯1)g
? Should ¯f¨
be (f¨)⍣¯1
or (f⍣¯1)¨
? Should ¯f∘g
be f⍣¯1∘g
or f∘g⍣¯1
?