˝ Inverse r←[x](F˝)y

r is the result of calling the inverse of F on [x and] y. Each function can have up to six inverses:

• an un-inverse, which is the monadic inverse, accessed by F˝ y; usually at least one of y ≡ F F˝ y or y ≡ F˝ F y holds;
• an anti-inverse, which is the inverse formed after binding the left argument, accessed by x F˝ y; usually at least one of y ≡ x F x F˝ y or y ≡ x F˝ x F y holds;
• a contra-inverse, which is the inverse formed after binding the right argument, accessed by x F⍨˝⍨ y; usually at least one of x ≡ (x F y) F˝ y or x ≡ (x F˝ y) F y holds;
• a dis-inverse, which is the full dyadic inverse, accessed by Fᑒ/˝ y (or, when the two results are shape-compatible, by F/˝ y); usually y ≡ Fᑒ/ Fᑒ/˝ y holds;
• a bi-inverse, which is the dyadic inverse where the two arguments are the same, accessed by F⍨˝; usually at least one of y ≡ F⍨ F⍨˝ y or y ≡ F⍨˝ F⍨ y holds;
• an ana-inverse, which is the inverse of folding, accessed by x Fᑒ/˝y (or, when all the results are shape-compatible, by x F/˝ y); usually y ≡ x Fᑒ/ x Fᑒ/˝ y holds.