
:- op(950,xfy,[(&)]).

% :- op(975,xfx,[(=>)]).
