What I'm trying to achieve in Mathematica is the creation of a binary operator whose operands are both pure functions over the natural numbers. The result of the operator should be another pure ...
For example I want to define a function with parameters σx and σy, that is, the function will be declared as: f[σx_,σy_] := . . ...