anchor.diff:  %%  A very simple write function. Does not pretty-print but can handle
   %%  operators. The xxx1 verions return an iolist of the characters.
   
  --record(ops, {ignore_ops=false,quoted=false}).
  +-record(ops, {ignore_ops=false,numbervars=false,quoted=false}).
   
   write_term(T, Opts) -> write_term(standard_io, T, Opts).
   
  
positive.code: write_term1(T, Prec, Ops) when is_atom(T) -> write_atom1(T, Prec, Ops);
  write_term1(T, _, _) when is_number(T) -> io_lib:write(T);
  write_term1({V}, _, _) when is_integer(V) -> "_" ++ integer_to_list(V);
  write_term1({V}, _, _) -> atom_to_list(V);           %Variable
  write_term1([H|T], _, Ops) ->
      [$[,write_term1(H, 999, Ops),write_tail1(T, Ops),$]];
  write_term1([], _, _) -> "[]";
  write_term1({'{}',A}, _, #ops{ignore_ops=false}=Ops) ->
      [${,write_term1(A, 1200, Ops),$}];
  write_term1({F,A}, Prec, #ops{ignore_ops=false}=Ops) ->
      case erlog_parse:prefix_op(F) of
          {yes,OpP,ArgP} ->
  
negative.code: 
  write_term1(T, Opts) ->
      Ops = #ops{ignore_ops=lists:member(ignore_ops, Opts),
                 numbervars=lists:member(numbervars, Opts),
                 quoted=lists:member(quoted, Opts)},
      write_term1(T, 1200, Ops).
  
  