lisp remprop('setq,'infix)$
lisp remprop('equal,'infix)$
lisp remprop('geq,'infix)$
lisp remprop('greaterp,'infix)$
lisp remprop('leq,'infix)$
lisp remprop('lessp,'infix)$
lisp remprop('plus,'infix)$
lisp remprop('difference,'infix)$
lisp remprop('minus,'infix)$
lisp remprop('times,'infix)$
lisp remprop('quotient,'infix)$ lisp remprop('quotient,'prifn)$
lisp remprop('recip,'infix)$
lisp remprop('expt,'infix)$
lisp remprop('cons,'infix)$
lisp remprop('list,'prifn)$
end$