Comment out the symmetry tactic notation

It doesn't actually work, so it's best to not confuse people.  Instead,
I've added a comment about what we'd like to do.