:- op(700, xfx,?\=).
:- op(700, xfx,?=).
