non-reflexive transitive closure ^

In Alloy, "^bar" denoted the non-reflexive transitive closure of bar. It is equivalent to the union of the following infinite list of expressions:

  bar
  bar.bar
  bar.bar.bar
  bar.bar.bar.bar
  bar.bar.bar.bar.bar
  ...