anchor.diff:      [F,A1|As] = tuple_to_list(T),
       [write_term1(F, 1200, Ops),
        $(,write_term1(A1, 999, Ops),write_tail1(As, Ops),$)];
  -write_term1(T, _, _) ->                           %Else use default Erlang.
  +write_term1(T, _, _) ->                         %Else use default Erlang.
       io_lib:write(T).
   
   %% write_prec1(OutString, OpPrecedence, Precedence) -> iolist().
  
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).
  
  