On 6/16/08, Alexey Beshenov <al at beshenov.ru> wrote:
> I suggest the following notation
>
> ----------------------------------------
> not Logical NOT prefix
> ----------------------------------------
> and Logical AND n-ary
> ----------------------------------------
> nand Sheffer stroke infix
> ----------------------------------------
> nor Webb-operation infix
> or Peirce arrow
> ----------------------------------------
> or Logical OR n-ary
> ----------------------------------------
> implies Implication infix
> ----------------------------------------
> eq Equivalence n-ary
> ----------------------------------------
> xor Sum modulo 2 n-ary
> ----------------------------------------
>
> nand, nor, implies, eq, xor are not defined in the current Maxima version.
OK by me on all counts.
Robert Dodier