:-op(900,xfy,[(&),('&&')]).
:-op(600,xfy,['<->','\=',proj]).
:-op(600,xfy,['=>','<=']).
:-op(60,fy,['~','#','<>', '@',^]).
:-op(60,fy,[*]).