
?- op(800, xfx, :).

