
:-op(800,yfy,'->').
:-op(800,fy,box).
:-op(800,fy,dia).
:-op(800,yfy,'&').
:-op(800,fy,'~').
:-op(800,yfy,'v').
