public static void pprintAtomicObjectForHtmlDefinition(Stella_Object self, org.powerloom.PrintableStringWriter stream) {
    if (!(self == null)) {
      if (Surrogate.subtypeOfSymbolP(Stella_Object.safePrimaryType(self))) {
        { Symbol self000 = ((Symbol)(self));

          { Stella_Object renamed_Object = Logic.getInstance(self000);

            if (renamed_Object != null) {
              OntosaurusUtil.pprintAtomicObjectForHtml(renamed_Object, stream);
            }
            else {
              OntosaurusUtil.pprintAtomicObjectForHtml(self000, stream);
            }
          }
        }
      }
      else {
        OntosaurusUtil.pprintAtomicObjectForHtml(self, stream);
      }
    }
  }