public int compareTo(Object object) {
    if (!(object instanceof CycSymbol)) {
      throw new ClassCastException("Must be a CycSymbol object");
    }
    return toFullStringForced().compareTo(((CycSymbol) object).toFullStringForced());
  }