public boolean equals(Object object) {
    if (object == this) {
      return true;
    }
    if ((!(object instanceof CycSymbol)) || (object == null)) {
      return false;
    }
    return ((CycSymbol) object).toFullStringForced().equals(toFullStringForced());
  }