Unfold [transitivity] and [symmetry] in the corresponding tactics

Shouldn't this comment appear right before the definition of the tactics, rather than the Arguments commands?