code: public static void printSymbolCodePoint(Appendable out, int codePoint)
          throws IOException
      {
          printCodePoint(out, codePoint, EscapeMode.ION_SYMBOL);
      }
docs: Prints a single Unicode code point for use in an ASCII-safe Ion symbol.
  
  @param out the stream to receive the data.
  @param codePoint a Unicode code point.