Changes

In the above transcription, the operator bracket of the form <math>(\!| \ldots\ ,\ \ldots |\!)</math> is a ''cactus lobe'', in general signifying that just one of the arguments listed is false.  In the case of two arguments this is the same thing as saying that the arguments are not equal.  The plus sign signifies boolean addition, in the sense of addition in GF(2), and thus means the same thing in this context as the minus sign, in the sense of adding the additive inverse.

In the above transcription, the operator bracket of the form <math>(\!| \ldots\ ,\ \ldots |\!)</math> is a ''cactus lobe'', in general signifying that just one of the arguments listed is false.  In the case of two arguments this is the same thing as saying that the arguments are not equal.  The plus sign signifies boolean addition, in the sense of addition in GF(2), and thus means the same thing in this context as the minus sign, in the sense of adding the additive inverse.

The above definition is equivalent to defining d''x''_''i''&nbsp;:&nbsp;(''B''&nbsp;&rarr;&nbsp;''X'')&nbsp;&rarr;&nbsp;'''B''' such that:

The above definition of <math>\operatorname{d}x_i : X^2 \to \mathbb{B}</math> is equivalent to defining <math>\operatorname{d}x_i : (\mathbb{B} \to X) \to \mathbb{B}</math> in the following way:

:{| cellpadding=2

:{| cellpadding=2