anchor.diff:  
   and p_tmConjunction e = match e.tm with
     | Op({idText = "/\\"}, [e1;e2]) ->
  -      infix0 (str "/\\") (p_tmConjunction e1) (p_tmTuple e2)
  +      infix0_group (str "/\\") (p_tmConjunction e1) (p_tmTuple e2)
     | _ -> p_tmTuple e
   
   and p_tmTuple e = with_comment p_tmTuple' e e.range
  
positive.code:     | _ -> true
      in
      (* If t is atomic, don't put a space between t and phi *)
      optional p_aqual aqual_opt ^^ binder ^^ colon ^^ break1 ^^
        p_appTerm t ^^ (if is_t_atomic then empty else break1) ^^
          soft_braces_with_nesting_tight (p_noSeqTerm false false phi)
  
  
negative.code: 
  let infix2 = infix 2 1
  let infix0 = infix 0 1
  let infix0_group s l r = group (l ^^ space ^^ s ^^ space ^^ r)
  
  let break1 =
    break_ 1
  