Minor documentation changes

Also, replace [apply symmetry] with [symmetry], because that works now.

Using [(*] doesn't show up in coqdoc.  Using [(**] does.