op/3 はPrologの構文解析をする際のオペレータを宣言するものですから、同じタイプの定義で
あれば次のようにできます。
ただし、＾と同じ機能（is/2 の評価における指数演算）にはなりません。

| ?-current_op(X,Y,^),op(X,Y,$).
X = 200,
Y = xfy
yes
| ?-read(S),display(S).
|: aa $ bb.
$(aa,bb)
S = aa$bb
yes