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('cons,'infix)$
lisp remprop('list,'prifn)$
end$