code: protected String bracket(final Formula formula) {
          return String.format("%s%s%s", this.lbr(), this.toString(formula), this.rbr());
      }
docs: Returns a bracketed string version of a given formula.
  
  @param formula the formula
  @return {@code "(" + formula.toString() + ")"}