[transitivity] and [symmetry] use [_@_] and [_^]
Merge pull request #491 from JasonGross/trans-concat

Since @andrejbauer agrees, I am pulling this one.
Unfold [transitivity] and [symmetry] in the corresponding tactics