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