1200 xfx :-
1200 xfx -->
1200 fx :-
1200 fx ?-
1199 xfx @:
1198 xfx @::
1100 yfx ;
1080 xfy :
1050 xfy ->
1000 xfy ,
900 xfy ==>
900 xfy //
700 xfx =
700 xfx \=
700 xfx is
700 xfx =..
700 xfx ==
700 xfx \==
700 xfx <
700 xfx >
700 xfx =<
700 xfx >=
700 xfx =:=
700 xfx =\=
661 xfy .
500 yfx +
500 yfx -
500 yfx /\
500 yfx \/
500 fx -
400 yfx *
400 yfx /
400 yfx <<
400 yfx >>
300 xfx mod
200 xfy ^
100 xfy @
