code: public static String printSymbol(SymbolToken token){
          return String.format("{$%s:%s}",  token.getText(), token.getSid());
      }
docs: @param token the symbolToken to be printed.
  
  @return a string representing the symboltoken.