@@

f @@ g -- a binary operator used for composition of functions.

If f and g are homomorphisms of modules, then f @@ g yields their composite as a homomorphism.

The user may install other binary methods for this operator with code such as 

              X @@ Y := (x,y) -> ...
where X is the class of x and Y is the class of y .

Go to main index.

Go to concepts index.