docs: public static String getPunctClass(String punc) {
      if(punc.equals("%") || punc.equals("-PLUS-"))//-PLUS- is an escape for "+" in the ATB
        return "perc";
      else if(punc.startsWith("*"))
        return "bullet";
      else if(sfClass.contains(punc))
        return "sf";
      else if(colonClass.contains(punc) || pEllipsis.matcher(punc).matches())
        return "colon";
      else if(commaClass.contains(punc))
        return "comma";
      else if(currencyClass.contains(punc))
        return "curr";
      else if(slashClass.contains(punc))
        return "slash";
      else if(lBracketClass.contains(punc))
        return "lrb";
      else if(rBracketClass.contains(punc))
        return "rrb";
      else if(quoteClass.contains(punc))
        return "quote";
      
      return "";
    }