naming conventions for equivalences

Do we have a convention about whether we prefer `foo^-1` or `foo ^-1`?