let default_v config =
  if config.plus_v then
    Term.plus_v
  else
    Term.minus_v