:- op(800,xfx,<===>).
 :- op(700,xfy,  v  ).
 :- op(600,xfy,  &  ).
 :- op(500, fx,  ~  ).