:- arithmetic_function((^^)/2).
:- op(200, xfy, user:(^^)).