code: public String visitSymbols(List<Symbol> ts, Locale locale) {
          ListBuffer<String> sbuf = new ListBuffer<>();
          for (Symbol t : ts) {
              sbuf.append(visit(t, locale));
          }
          return sbuf.toList().toString();
      }
docs: * Get a localized string representation for all the symbols in the input list.
  
  @param ts symbols to be displayed
  @param locale the locale in which the string is to be rendered
  @return localized string representation