1:-module(symbol_char,
    2		 [	 stream_term_string/2,
    3			 stream_term_string/3
    4		 ]).    5
    6:- op(8,  fy, '`').    7:- initialization(op(8,  fy, '`'), restore).    8
    9:- op(10,  fy, *).   10:- initialization(op(10,  fy, *), restore).   11
   12:- op(10,  fy, ?).   13:- initialization(op(10,  fy, ?), restore).   14
   15:- op(10,  fy, @).   16:- initialization(op(10,  fy, @), restore).   17
   18:- op(10,  fy, #).   19:- initialization(op(10,  fy, #), restore).   20
   21:- op(10,  fy, :).   22:- initialization(op(10,  fy, :), restore).   23
   24:- op(60, yfx, @).   25:- initialization(op(60, yfx, @), restore).   26
   27:- op(750, yfx, &).   28:- initialization(op(750, yfx, &), restore).   29
   30:- op(1200,xfx,-->>).   31:- initialization(op(1200,xfx,-->>), restore).   32
   33:- op(650, xfy, (::)).   34:- initialization(op(650, xfy, (::)), restore).   35
   36:- op(1050, xfy, \).   37:- initialization(op(1050, xfy, \), restore).   38
   39:- op(1105, xfy, '|').   40:- initialization(op(1105, xfy, '|'), restore).   41
   42:- op(450, xfx, (..)).   43:- initialization(op(450, xfx, (..)), restore).   44
   45:- op(710,fy,~).   46:- initialization(op(710,fy,~), restore).   47
   48%
   49stream_term_string(Eqs, X, Stream):- read_term(Stream, X, [variable_names(Eqs)]).
   50
   51%
   52stream_term_string(X, Stream) :- read_term(Stream, X)