code: public static String getHELMNotationString(Element rootElement) {
      Element helmNotationElement = rootElement.getChild("HelmNotation");
      return helmNotationElement.getText();
    }
docs: Extracts the HELM string from the root node of the XHELM document
  
  @param rootElement root element
  @return the complex notation string