1:-module(symbol_char,
    2		 [	 stream_term_string/2,
    3			 stream_term_string/3
    4		 ]).    5
    6:- op(8,	fy,		'`').    7:- op(10,	fy,		*).    8:- op(10,	fy,		?).    9:- op(10,	fy,		@).   10:- op(10,	fy,		#).   11:- op(10,	fy,		:).   12:- op(60,	yfx,	@).   13:- op(750,	yfx,	&).   14:- op(1200,	xfx,	-->>).   15:- op(650,	xfy,	(::)).   16:- op(1050, xfy,	\).   17:- op(1105, xfy,	'|').   18:- op(450,	xfx,	(..)).   19:- op(710,	fy,		~).   20
   21stream_term_string(Eqs, X, Stream):-
   22	read_term(Stream, X, [variable_names(Eqs)]).
   23%
   24stream_term_string(X, Stream) :- read_term(Stream, X)