Node:Inverse, Previous:Reduce, Up:Operators
The inverse of a function f is written ~f.
The inverse depends on what kind of a function f is.
Generally, for a postfix or infix function f:
if x ~f a ... is y, then y f a ... is x.
If f is a prefix function (or is applied as one),
then if ~f x a ... is y, then f y a ... is x.
If the operator ~ is applied infix, as in x~f,
the result is the same as x(~f), except that
any application rule for x is ignored.