[transitivity] and [symmetry] use [_@_] and [_^]