anchor.diff:  	      true ->
   		  floating(text(" "++Op++" "));
   	      false ->
  -		  floating(text(Op))
  +		  Op1 = get_operator_text(Node, Ctxt#ctxt.tokens, Op),
  +		  floating(text(Op1))
   	  end;
         infix_expr ->  %% done;
   	  Left = refac_syntax:infix_expr_left(Node),
  
positive.code: 	    P -> floating(break(beside(text(spaces(P)), D)))
  	  end;
        conjunction -> %% done;
  	  Es = seq(refac_syntax:conjunction_body(Node), floating(text(", ")), reset_prec(Ctxt), fun lay/2),
  	  lay_elems(fun refac_prettypr_0:par/1, Es, refac_syntax:conjunction_body(Node));
        disjunction -> %% done;
  	  %% For clarity, we don't paragraph-format
  
negative.code: 	  Ctxt1 = reset_prec(Ctxt),
  	  D1 = lay(refac_syntax:record_expr_type(Node), Ctxt1),
  	  Fields = refac_syntax:record_expr_fields(Node),
  	  Sep = get_separator(Fields, Ctxt#ctxt.tokens, ", "),
  	  D2 = lay_elems(fun refac_prettypr_0:par/1, seq(refac_syntax:record_expr_fields(Node), floating(text(Sep)), Ctxt1, fun lay/2), Fields),
  	  D3 = beside(beside(floating(text("#")), D1), beside(text("{"), beside(D2, floating(text("}"))))),
  	  D4 = case refac_syntax:record_expr_argument(Node) of
  		 none -> D3;
  