Miscellany

   public String toString() {
      if (this.left == null && this.right == null){
         String thesymb = String.valueOf(this.symbol);
         return thesymb;
      }
      return (this.left + "" + this.symbol + this.right);
   }