code: public String print()
      {
          StringBuilder buffer = new StringBuilder("(");
          buffer.append(left.print());
          buffer.append(' ');
          buffer.append(symbol);
          buffer.append(' ');
          buffer.append(right.print());
          buffer.append(')');
          return buffer.toString();
      }
docs: {@inheritDoc}