:- op(800,fy,-),
op(700,fy,box),
op(650,xfy,>>),
op(600,xfy,^),
op(600,xfy,?).