* @return Symbol
   */
  public static Symbol getOperator(String name) {
    if (!(Stella.allUpperCaseStringP(name))) {
      name = Native.stringUpcase(name);
    }
    { Symbol operator = Symbol.lookupSymbolInModule(name, Logic.$LOGIC_MODULE$, false);

      if ((operator != null) &&
          PLI.legalOperatorP(operator)) {
        return (operator);
      }
      else {
        { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

          stream000.nativeStream.print("No operator named `" + name + "'");
          throw ((NoSuchObjectException)(NoSuchObjectException.newNoSuchObjectException(stream000.theStringReader()).fillInStackTrace()));
        }
      }
    }
  }